1; Skip dead MemoryPhis when performing memory congruency verification
2; in NewGVN.
3; RUN: opt -S -passes=newgvn %s | FileCheck %s
4; REQUIRES: asserts
5
6; CHECK: define void @tinkywinky() {
7; CHECK-NEXT: entry:
8; CHECK-NEXT:   br i1 false, label %body, label %end
9; CHECK:      body:
10; CHECK-NEXT:   store i8 poison, i8* null
11; CHECK-NEXT:   br label %end
12; CHECK:      end:
13; CHECK-NEXT:   ret void
14; CHECK-NEXT: }
15
16declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
17
18define void @tinkywinky() {
19entry:
20  call void @llvm.lifetime.start.p0i8(i64 4, i8* undef)
21  br i1 false, label %body, label %end
22
23body:
24  call void @llvm.lifetime.start.p0i8(i64 4, i8* undef)
25  br label %end
26
27end:
28  ret void
29}
30