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 7define i32 @large_stack_callee(i32 %param) { 8; CHECK-LABEL: define i32 @large_stack_callee( 9entry: 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. 19define i32 @large_stack_recursive_caller(i32 %param) { 20; CHECK-LABEL: define i32 @large_stack_recursive_caller( 21entry: 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 28cont: 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 35exit: 36 ret i32 4 37} 38 39declare void @bar(i8* %in) 40 41declare 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. 45define i32 @test_recursive_inlining_remapping(i1 %init, i8* %addr) { 46; CHECK-LABEL: define i32 @test_recursive_inlining_remapping( 47bb: 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 55store: 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 69load: 70 %castback = bitcast i8* %addr to i32* 71 %n.load = load i32, i32* %castback 72 ret i32 %n.load 73} 74