26 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=ipsccp < %s | FileCheck %s3 4define void @test() {5; CHECK-LABEL: define void @test() {6; CHECK-NEXT: [[A:%.*]] = alloca [4 x i16], align 27; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[A]], inttoptr (i64 -1 to ptr)8; CHECK-NEXT: br i1 [[CMP]], label %[[IF:.*]], label %[[EXIT:.*]]9; CHECK: [[IF]]:10; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A]])11; CHECK-NEXT: br label %[[EXIT]]12; CHECK: [[EXIT]]:13; CHECK-NEXT: ret void14;15 %a = alloca [4 x i16]16 %cmp = icmp eq ptr %a, inttoptr (i64 -1 to ptr)17 br i1 %cmp, label %if, label %exit18 19if:20 call void @llvm.lifetime.start.p0(ptr %a)21 br label %exit22 23exit:24 ret void25}26