50 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -S -passes=gvn < %s | FileCheck %s3 4declare void @willreturn() nounwind willreturn5 6declare void @capture(ptr)7 8; Make sure ICF is invalidated when the callee becomes known.9 10define i64 @test(ptr %p) {11; CHECK-LABEL: define i64 @test(12; CHECK-SAME: ptr [[P:%.*]]) {13; CHECK-NEXT: entry:14; CHECK-NEXT: [[A:%.*]] = alloca [2 x ptr], align 815; CHECK-NEXT: [[A2:%.*]] = getelementptr ptr, ptr [[A]], i64 116; CHECK-NEXT: call void @capture(ptr [[A]])17; CHECK-NEXT: br i1 false, label [[IF:%.*]], label [[ENTRY_EXIT_CRIT_EDGE:%.*]]18; CHECK: entry.exit_crit_edge:19; CHECK-NEXT: [[RES_PRE:%.*]] = load i64, ptr [[A2]], align 820; CHECK-NEXT: br label [[EXIT:%.*]]21; CHECK: if:22; CHECK-NEXT: [[P1:%.*]] = load ptr, ptr [[A2]], align 823; CHECK-NEXT: br label [[EXIT]]24; CHECK: exit:25; CHECK-NEXT: [[RES:%.*]] = phi i64 [ [[RES_PRE]], [[ENTRY_EXIT_CRIT_EDGE]] ], [ poison, [[IF]] ]26; CHECK-NEXT: store ptr @willreturn, ptr [[P]], align 827; CHECK-NEXT: tail call void @willreturn()28; CHECK-NEXT: ret i64 [[RES]]29;30entry:31 %a = alloca [2 x ptr], align 832 %a2 = getelementptr ptr, ptr %a, i64 133 call void @capture(ptr %a)34 br i1 false, label %if, label %exit35 36if:37 %p0 = load ptr, ptr %a, align 838 %p1 = load ptr, ptr %a2, align 839 br label %exit40 41exit:42 store ptr @willreturn, ptr %p43 %p2 = load ptr, ptr %a, align 844 %pgocount.i = load i64, ptr %p2, align 845 %fn = load ptr, ptr %p46 tail call void %fn()47 %res = load i64, ptr %a2, align 848 ret i64 %res49}50