116 lines · plain
1; RUN: opt < %s -passes='inline,sroa' -S | FileCheck %s2; RUN: opt < %s -passes='cgscc(inline,function(sroa))' -S | FileCheck %s3target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"4 5define i32 @test1f(i32 %i) {6 ret i32 %i7}8 9define i32 @test1(i32 %W) {10 %X = call i32 @test1f(i32 7)11 %Y = add i32 %X, %W12 ret i32 %Y13; CHECK-LABEL: @test1(14; CHECK-NEXT: %Y = add i32 7, %W15; CHECK-NEXT: ret i32 %Y16}17 18 19 20; rdar://733906921 22%T = type { i32, i32 }23 24; CHECK-NOT: @test2f(25define internal ptr @test2f(i1 %cond, ptr %P) {26 br i1 %cond, label %T, label %F27 28T:29 store i32 42, ptr %P30 ret ptr %P31 32F:33 ret ptr %P34}35 36define i32 @test2(i1 %cond) {37 %A = alloca %T38 39 %B = call ptr @test2f(i1 %cond, ptr %A)40 %D = load i32, ptr %B41 ret i32 %D42 43; CHECK-LABEL: @test2(44; CHECK-NOT: = alloca45; CHECK: ret i3246}47 48declare void @barrier() noduplicate49 50define internal i32 @f() {51 call void @barrier() noduplicate52 ret i32 153}54 55define i32 @g() {56 call void @barrier() noduplicate57 ret i32 258}59 60define internal i32 @h() {61 call void @barrier() noduplicate62 ret i32 363}64 65define i32 @test3() {66 %b = call i32 @f()67 ret i32 %b68}69 70; The call to @f cannot be inlined as there is another callsite71; calling @f, and @f contains a noduplicate call.72;73; The call to @g cannot be inlined as it has external linkage.74;75; The call to @h *can* be inlined.76 77; CHECK-LABEL: @test(78define i32 @test() {79; CHECK: call i32 @f()80 %a = call i32 @f()81; CHECK: call i32 @g()82 %b = call i32 @g()83; CHECK-NOT: call i32 @h()84 %c = call i32 @h()85 86 %d = add i32 %a, %b87 %e = add i32 %d, %c88 89 ret i32 %e90; CHECK: }91}92 93; Inliner shouldn't delete calls it can't inline, even if they're trivially dead94; CHECK-LABEL: @outer4(95define void @outer4(ptr %inner4) {96entry:97; CHECK: call void %inner4()98 call void %inner4() nounwind readnone99 ret void100}101 102declare void @inner5_inner()103 104define void @inner5(ptr %x) {105 call void %x() nounwind readnone106 ret void107}108 109; Inliner shouldn't delete calls it can't inline, even if they're trivially dead and temporarily indirect110; CHECK-LABEL: @outer5(111define void @outer5() {112; CHECK: call void @inner5_inner(113 call void @inner5(ptr @inner5_inner)114 ret void115}116