1 ; RUN: opt -S -inline < %s | FileCheck %s
2 ; Make sure that soft float implementations are calculated as being more expensive
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
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
17 call void @getX(i32* %responseX, i8* %valueX)
18 call void @getY(i32* %responseY, i8* %valueY)
19 call void @getZ(i32* %responseZ, i8* %valueZ)
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
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
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
44 if.then10: ; preds = %if.else7
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 ]
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
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
64 call void @getX(i32* %responseX, i8* %valueX)
65 call void @getY(i32* %responseY, i8* %valueY)
66 call void @getZ(i32* %responseZ, i8* %valueZ)
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
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
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
91 if.then10: ; preds = %if.else7
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 ]
99 declare void @getX(i32*, i8*) #0
101 declare void @getY(i32*, i8*) #0
103 declare void @getZ(i32*, i8*) #0
105 define internal float @f_hasfp(i32 %response, i8 zeroext %value1) #0 {
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
118 define internal float @f_nofp(i32 %response, i8 zeroext %value1) #1 {
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
131 declare float @fabsf(float) optsize minsize
133 declare float @llvm.pow.f32(float, float) optsize minsize
135 attributes #0 = { minsize optsize }
136 attributes #1 = { minsize optsize "use-soft-float"="true" }