1 ; RUN: opt -S -inline < %s | FileCheck %s 2 ; Make sure that soft float implementations are calculated as being more expensive 3 ; to the inliner. 4 5 define i32 @test_nofp() #0 { 6 ; f_nofp() has the "use-soft-float" attribute, so it should never get inlined. 7 ; CHECK-LABEL: test_nofp 8 ; CHECK: call float @f_nofp 9 entry: 10 %responseX = alloca i32, align 4 11 %responseY = alloca i32, align 4 12 %responseZ = alloca i32, align 4 13 %valueX = alloca i8, align 1 14 %valueY = alloca i8, align 1 15 %valueZ = alloca i8, align 1 16 17 call void @getX(i32* %responseX, i8* %valueX) 18 call void @getY(i32* %responseY, i8* %valueY) 19 call void @getZ(i32* %responseZ, i8* %valueZ) 20 21 %0 = load i32, i32* %responseX 22 %1 = load i8, i8* %valueX 23 %call = call float @f_nofp(i32 %0, i8 zeroext %1) 24 %2 = load i32, i32* %responseZ 25 %3 = load i8, i8* %valueZ 26 %call2 = call float @f_nofp(i32 %2, i8 zeroext %3) 27 %call3 = call float @fabsf(float %call) 28 %cmp = fcmp ogt float %call3, 0x3FC1EB8520000000 29 br i1 %cmp, label %if.end12, label %if.else 30 31 if.else: ; preds = %entry 32 %4 = load i32, i32* %responseY 33 %5 = load i8, i8* %valueY 34 %call1 = call float @f_nofp(i32 %4, i8 zeroext %5) 35 %call4 = call float @fabsf(float %call1) 36 %cmp5 = fcmp ogt float %call4, 0x3FC1EB8520000000 37 br i1 %cmp5, label %if.end12, label %if.else7 38 39 if.else7: ; preds = %if.else 40 %call8 = call float @fabsf(float %call2) 41 %cmp9 = fcmp ogt float %call8, 0x3FC1EB8520000000 42 br i1 %cmp9, label %if.then10, label %if.end12 43 44 if.then10: ; preds = %if.else7 45 br label %if.end12 46 47 if.end12: ; preds = %if.else, %entry, %if.then10, %if.else7 48 %success.0 = phi i32 [ 0, %if.then10 ], [ 1, %if.else7 ], [ 0, %entry ], [ 0, %if.else ] 49 ret i32 %success.0 50 } 51 52 define i32 @test_hasfp() #0 { 53 ; f_hasfp() does not have the "use-soft-float" attribute, so it should get inlined. 54 ; CHECK-LABEL: test_hasfp 55 ; CHECK-NOT: call float @f_hasfp 56 entry: 57 %responseX = alloca i32, align 4 58 %responseY = alloca i32, align 4 59 %responseZ = alloca i32, align 4 60 %valueX = alloca i8, align 1 61 %valueY = alloca i8, align 1 62 %valueZ = alloca i8, align 1 63 64 call void @getX(i32* %responseX, i8* %valueX) 65 call void @getY(i32* %responseY, i8* %valueY) 66 call void @getZ(i32* %responseZ, i8* %valueZ) 67 68 %0 = load i32, i32* %responseX 69 %1 = load i8, i8* %valueX 70 %call = call float @f_hasfp(i32 %0, i8 zeroext %1) 71 %2 = load i32, i32* %responseZ 72 %3 = load i8, i8* %valueZ 73 %call2 = call float @f_hasfp(i32 %2, i8 zeroext %3) 74 %call3 = call float @fabsf(float %call) 75 %cmp = fcmp ogt float %call3, 0x3FC1EB8520000000 76 br i1 %cmp, label %if.end12, label %if.else 77 78 if.else: ; preds = %entry 79 %4 = load i32, i32* %responseY 80 %5 = load i8, i8* %valueY 81 %call1 = call float @f_hasfp(i32 %4, i8 zeroext %5) 82 %call4 = call float @fabsf(float %call1) 83 %cmp5 = fcmp ogt float %call4, 0x3FC1EB8520000000 84 br i1 %cmp5, label %if.end12, label %if.else7 85 86 if.else7: ; preds = %if.else 87 %call8 = call float @fabsf(float %call2) 88 %cmp9 = fcmp ogt float %call8, 0x3FC1EB8520000000 89 br i1 %cmp9, label %if.then10, label %if.end12 90 91 if.then10: ; preds = %if.else7 92 br label %if.end12 93 94 if.end12: ; preds = %if.else, %entry, %if.then10, %if.else7 95 %success.0 = phi i32 [ 0, %if.then10 ], [ 1, %if.else7 ], [ 0, %entry ], [ 0, %if.else ] 96 ret i32 %success.0 97 } 98 99 declare void @getX(i32*, i8*) #0 100 101 declare void @getY(i32*, i8*) #0 102 103 declare void @getZ(i32*, i8*) #0 104 105 define internal float @f_hasfp(i32 %response, i8 zeroext %value1) #0 { 106 entry: 107 %conv = zext i8 %value1 to i32 108 %sub = add nsw i32 %conv, -1 109 %conv1 = sitofp i32 %sub to float 110 %0 = tail call float @llvm.pow.f32(float 0x3FF028F5C0000000, float %conv1) 111 %mul = fmul float %0, 2.620000e+03 112 %conv2 = sitofp i32 %response to float 113 %sub3 = fsub float %conv2, %mul 114 %div = fdiv float %sub3, %mul 115 ret float %div 116 } 117 118 define internal float @f_nofp(i32 %response, i8 zeroext %value1) #1 { 119 entry: 120 %conv = zext i8 %value1 to i32 121 %sub = add nsw i32 %conv, -1 122 %conv1 = sitofp i32 %sub to float 123 %0 = tail call float @llvm.pow.f32(float 0x3FF028F5C0000000, float %conv1) 124 %mul = fmul float %0, 2.620000e+03 125 %conv2 = sitofp i32 %response to float 126 %sub3 = fsub float %conv2, %mul 127 %div = fdiv float %sub3, %mul 128 ret float %div 129 } 130 131 declare float @fabsf(float) optsize minsize 132 133 declare float @llvm.pow.f32(float, float) optsize minsize 134 135 attributes #0 = { minsize optsize } 136 attributes #1 = { minsize optsize "use-soft-float"="true" } 137
