diff options
Diffstat (limited to 'llvm/test/Transforms/NewGVN/verify-memoryphi.ll')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/verify-memoryphi.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/llvm/test/Transforms/NewGVN/verify-memoryphi.ll b/llvm/test/Transforms/NewGVN/verify-memoryphi.ll new file mode 100644 index 00000000000..57dbd18986d --- /dev/null +++ b/llvm/test/Transforms/NewGVN/verify-memoryphi.ll @@ -0,0 +1,29 @@ +; Skip dead MemoryPhis when performing memory congruency verification +; in NewGVN. +; RUN: opt -S -newgvn %s | FileCheck %s +; REQUIRES: asserts + +; CHECK: define void @tinkywinky() { +; CHECK-NEXT: entry: +; CHECK-NEXT: br i1 false, label %body, label %end +; CHECK: body: +; CHECK-NEXT: store i8 undef, i8* null +; CHECK-NEXT: br label %end +; CHECK: end: +; CHECK-NEXT: ret void +; CHECK-NEXT: } + +declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) + +define void @tinkywinky() { +entry: + call void @llvm.lifetime.start.p0i8(i64 4, i8* undef) + br i1 false, label %body, label %end + +body: + call void @llvm.lifetime.start.p0i8(i64 4, i8* undef) + br label %end + +end: + ret void +} |
