xref: /llvm-project/llvm/test/Transforms/NewGVN/verify-memoryphi.ll (revision 229640343e400394b315c6798c7c19e8a9bd188c)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2; Skip dead MemoryPhis when performing memory congruency verification
3; in NewGVN.
4; RUN: opt -S -passes=newgvn %s | FileCheck %s
5; REQUIRES: asserts
6
7
8declare void @llvm.lifetime.start.p0(i64, ptr nocapture)
9
10define void @tinkywinky() {
11; CHECK-LABEL: define void @tinkywinky() {
12; CHECK-NEXT:  entry:
13; CHECK-NEXT:    br i1 false, label [[BODY:%.*]], label [[END:%.*]]
14; CHECK:       body:
15; CHECK-NEXT:    store i8 poison, ptr null, align 1
16; CHECK-NEXT:    br label [[END]]
17; CHECK:       end:
18; CHECK-NEXT:    ret void
19;
20entry:
21  call void @llvm.lifetime.start.p0(i64 4, ptr undef)
22  br i1 false, label %body, label %end
23
24body:
25  call void @llvm.lifetime.start.p0(i64 4, ptr undef)
26  br label %end
27
28end:
29  ret void
30}
31