1 ; RUN: opt < %s -S -inline -inline-threshold=20 | FileCheck %s 2 ; RUN: opt < %s -S -passes='cgscc(inline)' -inline-threshold=20 | FileCheck %s 3 ; Check that we don't drop FastMathFlag when estimating inlining profitability. 4 ; 5 ; In this test we should inline 'foo' to 'boo', because it'll fold to a 6 ; constant. 7 8 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 9 10 define float @foo(float* %a, float %b) { 11 entry: 12 %a0 = load float, float* %a, align 4 13 %mul = fmul fast float %a0, %b 14 %tobool = fcmp une float %mul, 0.000000e+00 15 br i1 %tobool, label %if.then, label %if.end 16 17 if.then: ; preds = %entry 18 %a1 = load float, float* %a, align 8 19 %arrayidx1 = getelementptr inbounds float, float* %a, i64 1 20 %a2 = load float, float* %arrayidx1, align 4 21 %add = fadd fast float %a1, %a2 22 br label %if.end 23 24 if.end: ; preds = %if.then, %entry 25 %storemerge = phi float [ %add, %if.then ], [ 1.000000e+00, %entry ] 26 ret float %storemerge 27 } 28 29 ; CHECK-LABEL: @boo 30 ; CHECK-NOT: call float @foo 31 define float @boo(float* %a) { 32 entry: 33 %call = call float @foo(float* %a, float 0.000000e+00) 34 ret float %call 35 } 36
