1 ; RUN: opt -instcombine -S < %s | FileCheck %s 2 3 declare void @llvm.init.trampoline(i8*, i8*, i8*) 4 declare i8* @llvm.adjust.trampoline(i8*) 5 declare i32 @f(i8 * nest, i32) 6 7 ; Most common case 8 define i32 @test0(i32 %n) { 9 %alloca = alloca [10 x i8], align 16 10 %gep = getelementptr [10 x i8]* %alloca, i32 0, i32 0 11 call void @llvm.init.trampoline(i8* %gep, i8* bitcast (i32 (i8*, i32)* @f to i8*), 12 i8* null) 13 %tramp = call i8* @llvm.adjust.trampoline(i8* %gep) 14 %function = bitcast i8* %tramp to i32(i32)* 15 %ret = call i32 %function(i32 %n) 16 ret i32 %ret 17 18 ; CHECK: define i32 @test0(i32 %n) { 19 ; CHECK: %ret = call i32 @f(i8* nest null, i32 %n) 20 } 21 22 define i32 @test1(i32 %n, i8* %trampmem) { 23 call void @llvm.init.trampoline(i8* %trampmem, 24 i8* bitcast (i32 (i8*, i32)* @f to i8*), 25 i8* null) 26 %tramp = call i8* @llvm.adjust.trampoline(i8* %trampmem) 27 %function = bitcast i8* %tramp to i32(i32)* 28 %ret = call i32 %function(i32 %n) 29 ret i32 %ret 30 ; CHECK: define i32 @test1(i32 %n, i8* %trampmem) { 31 ; CHECK: %ret = call i32 @f(i8* nest null, i32 %n) 32 } 33 34 define i32 @test2(i32 %n, i8* %trampmem) { 35 %tramp = call i8* @llvm.adjust.trampoline(i8* %trampmem) 36 %functiona = bitcast i8* %tramp to i32(i32)* 37 %ret = call i32 %functiona(i32 %n) 38 ret i32 %ret 39 ; CHECK: define i32 @test2(i32 %n, i8* %trampmem) { 40 ; CHECK: %ret = call i32 %functiona(i32 %n) 41 } 42 43 define i32 @test3(i32 %n, i8* %trampmem) { 44 call void @llvm.init.trampoline(i8* %trampmem, 45 i8* bitcast (i32 (i8*, i32)* @f to i8*), 46 i8* null) 47 48 ; CHECK: define i32 @test3(i32 %n, i8* %trampmem) { 49 ; CHECK: %ret0 = call i32 @f(i8* nest null, i32 %n) 50 %tramp0 = call i8* @llvm.adjust.trampoline(i8* %trampmem) 51 %function0 = bitcast i8* %tramp0 to i32(i32)* 52 %ret0 = call i32 %function0(i32 %n) 53 54 ;; Not optimized since previous call could be writing. 55 %tramp1 = call i8* @llvm.adjust.trampoline(i8* %trampmem) 56 %function1 = bitcast i8* %tramp1 to i32(i32)* 57 %ret1 = call i32 %function1(i32 %n) 58 ; CHECK: %ret1 = call i32 %function1(i32 %n) 59 60 ret i32 %ret1 61 } 62 63 define i32 @test4(i32 %n) { 64 %alloca = alloca [10 x i8], align 16 65 %gep = getelementptr [10 x i8]* %alloca, i32 0, i32 0 66 call void @llvm.init.trampoline(i8* %gep, i8* bitcast (i32 (i8*, i32)* @f to i8*), 67 i8* null) 68 69 %tramp0 = call i8* @llvm.adjust.trampoline(i8* %gep) 70 %function0 = bitcast i8* %tramp0 to i32(i32)* 71 %ret0 = call i32 %function0(i32 %n) 72 73 %tramp1 = call i8* @llvm.adjust.trampoline(i8* %gep) 74 %function1 = bitcast i8* %tramp0 to i32(i32)* 75 %ret1 = call i32 %function1(i32 %n) 76 77 %tramp2 = call i8* @llvm.adjust.trampoline(i8* %gep) 78 %function2 = bitcast i8* %tramp2 to i32(i32)* 79 %ret2 = call i32 %function2(i32 %n) 80 81 ret i32 %ret2 82 83 ; CHECK: define i32 @test4(i32 %n) { 84 ; CHECK: %ret0 = call i32 @f(i8* nest null, i32 %n) 85 ; CHECK: %ret1 = call i32 @f(i8* nest null, i32 %n) 86 ; CHECK: %ret2 = call i32 @f(i8* nest null, i32 %n) 87 } 88
