131 lines · plain
1; RUN: opt -passes=inline -S < %s | FileCheck %s2; RUN: opt -passes='cgscc(inline)' -S < %s | FileCheck %s3; PR101624 5; Make sure doit is not inlined since the blockaddress is taken6; which could be unsafe7; CHECK: store ptr blockaddress(@doit, %here), ptr %pptr, align 88 9@i = global i32 1, align 410@ptr1 = common global ptr null, align 811 12define void @doit(ptr nocapture %pptr, i32 %cond) nounwind uwtable {13entry:14 %tobool = icmp eq i32 %cond, 015 br i1 %tobool, label %if.end, label %here16 17here:18 store ptr blockaddress(@doit, %here), ptr %pptr, align 819 br label %if.end20 21if.end:22 ret void23}24 25define void @f(i32 %cond) nounwind uwtable {26entry:27 call void @doit(ptr @ptr1, i32 %cond)28 ret void29}30 31; PR27233: We can inline @run into @init. Don't crash on it.32;33; CHECK-LABEL: define void @init34; CHECK: store ptr blockaddress(@run, %bb)35; CHECK-SAME: @run.bb36define void @init() {37entry:38 call void @run()39 ret void40}41 42define void @run() {43entry:44 store ptr blockaddress(@run, %bb), ptr @run.bb, align 845 ret void46 47bb:48 unreachable49}50 51@run.bb = global [1 x ptr] zeroinitializer52 53; Check that a function referenced by a global blockaddress wont be inlined,54; even if it contains a callbr. We might be able to relax this in the future55; as long as the global blockaddress is updated correctly.56@ba = internal global ptr blockaddress(@foo, %7), align 857define internal i32 @foo(i32) {58 %2 = alloca i32, align 459 %3 = alloca i32, align 460 store i32 %0, ptr %3, align 461 %4 = load i32, ptr %3, align 462 callbr void asm sideeffect "testl $0, $0; jne ${1:l};", "r,!i,!i,~{dirflag},~{fpsr},~{flags}"(i32 %4) #163 to label %5 [label %7, label %6]64 65; <label>:5: ; preds = %166 store i32 0, ptr %2, align 467 br label %868 69; <label>:6: ; preds = %170 store i32 1, ptr %2, align 471 br label %872 73; <label>:7: ; preds = %174 store i32 2, ptr %2, align 475 br label %876 77; <label>:8: ; preds = %7, %6, %578 %9 = load i32, ptr %2, align 479 ret i32 %980}81define dso_local i32 @bar() {82 %1 = call i32 @foo(i32 0)83 ret i32 %184}85 86; CHECK: define dso_local i32 @bar() {87; CHECK: %1 = call i32 @foo(i32 0)88; CHECK: ret i32 %189; CHECK: }90 91; Triple check that even with a global aggregate whose member is a blockaddress,92; we still don't inline referred to functions.93 94%struct.foo = type { ptr }95 96@my_foo = dso_local global %struct.foo { ptr blockaddress(@baz, %7) }97 98define internal i32 @baz(i32) {99 %2 = alloca i32, align 4100 %3 = alloca i32, align 4101 store i32 %0, ptr %3, align 4102 %4 = load i32, ptr %3, align 4103 callbr void asm sideeffect "testl $0, $0; jne ${1:l};", "r,!i,!i,~{dirflag},~{fpsr},~{flags}"(i32 %4) #1104 to label %5 [label %7, label %6]105 106; <label>:5: ; preds = %1107 store i32 0, ptr %2, align 4108 br label %8109 110; <label>:6: ; preds = %1111 store i32 1, ptr %2, align 4112 br label %8113 114; <label>:7: ; preds = %1115 store i32 2, ptr %2, align 4116 br label %8117 118; <label>:8: ; preds = %7, %6, %5119 %9 = load i32, ptr %2, align 4120 ret i32 %9121}122define dso_local i32 @quux() {123 %1 = call i32 @baz(i32 0)124 ret i32 %1125}126 127; CHECK: define dso_local i32 @quux() {128; CHECK: %1 = call i32 @baz(i32 0)129; CHECK: ret i32 %1130; CHECK: }131