1 ; Inlining in the presence of recursion presents special challenges that we 2 ; test here. 3 ; 4 ; RUN: opt -inline -S < %s | FileCheck %s 5 ; RUN: opt -passes='cgscc(inline)' -S < %s | FileCheck %s 6 7 define i32 @large_stack_callee(i32 %param) { 8 ; CHECK-LABEL: define i32 @large_stack_callee( 9 entry: 10 %yyy = alloca [100000 x i8] 11 %r = bitcast [100000 x i8]* %yyy to i8* 12 call void @bar(i8* %r) 13 ret i32 4 14 } 15 16 ; Test a recursive function which calls another function with a large stack. In 17 ; addition to not inlining the recursive call, we should also not inline the 18 ; large stack allocation into a potentially recursive frame. 19 define i32 @large_stack_recursive_caller(i32 %param) { 20 ; CHECK-LABEL: define i32 @large_stack_recursive_caller( 21 entry: 22 ; CHECK-NEXT: entry: 23 ; CHECK-NOT: alloca 24 %t = call i32 @foo(i32 %param) 25 %cmp = icmp eq i32 %t, -1 26 br i1 %cmp, label %exit, label %cont 27 28 cont: 29 %r = call i32 @large_stack_recursive_caller(i32 %t) 30 ; CHECK: call i32 @large_stack_recursive_caller 31 %f = call i32 @large_stack_callee(i32 %r) 32 ; CHECK: call i32 @large_stack_callee 33 br label %exit 34 35 exit: 36 ret i32 4 37 } 38 39 declare void @bar(i8* %in) 40 41 declare i32 @foo(i32 %param) 42 43 ; Check that when inlining a non-recursive path into a function's own body that 44 ; we get the re-mapping of instructions correct. 45 define i32 @test_recursive_inlining_remapping(i1 %init, i8* %addr) { 46 ; CHECK-LABEL: define i32 @test_recursive_inlining_remapping( 47 bb: 48 %n = alloca i32 49 br i1 %init, label %store, label %load 50 ; CHECK-NOT: alloca 51 ; 52 ; CHECK: %[[N:.*]] = alloca i32 53 ; CHECK-NEXT: br i1 %init, 54 55 store: 56 store i32 0, i32* %n 57 %cast = bitcast i32* %n to i8* 58 %v = call i32 @test_recursive_inlining_remapping(i1 false, i8* %cast) 59 ret i32 %v 60 ; CHECK-NOT: call 61 ; 62 ; CHECK: store i32 0, i32* %[[N]] 63 ; CHECK-NEXT: %[[CAST:.*]] = bitcast i32* %[[N]] to i8* 64 ; CHECK-NEXT: %[[INLINED_LOAD:.*]] = load i32, i32* %[[N]] 65 ; CHECK-NEXT: ret i32 %[[INLINED_LOAD]] 66 ; 67 ; CHECK-NOT: call 68 69 load: 70 %castback = bitcast i8* %addr to i32* 71 %n.load = load i32, i32* %castback 72 ret i32 %n.load 73 } 74
