33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; Skip dead MemoryPhis when performing memory congruency verification3; in NewGVN.4; RUN: opt -S -passes=newgvn %s | FileCheck %s5; REQUIRES: asserts6 7 8declare void @llvm.lifetime.start.p0(ptr nocapture)9 10define void @tinkywinky() {11; CHECK-LABEL: define void @tinkywinky() {12; CHECK-NEXT: entry:13; CHECK-NEXT: [[A:%.*]] = alloca i8, align 114; CHECK-NEXT: br i1 false, label [[BODY:%.*]], label [[END:%.*]]15; CHECK: body:16; CHECK-NEXT: store i8 poison, ptr null, align 117; CHECK-NEXT: br label [[END]]18; CHECK: end:19; CHECK-NEXT: ret void20;21entry:22 %a = alloca i823 call void @llvm.lifetime.start.p0(ptr %a)24 br i1 false, label %body, label %end25 26body:27 call void @llvm.lifetime.start.p0(ptr %a)28 br label %end29 30end:31 ret void32}33