From 5513166316a541680e2562e34f713b5a431885e7 Mon Sep 17 00:00:00 2001 From: Michael Zolotukhin Date: Thu, 12 Feb 2015 19:57:24 +0000 Subject: [PATCH] Add a testcase for r228432. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228951 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../Inline/inline-fast-math-flags.ll | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 test/Transforms/Inline/inline-fast-math-flags.ll diff --git a/test/Transforms/Inline/inline-fast-math-flags.ll b/test/Transforms/Inline/inline-fast-math-flags.ll new file mode 100644 index 00000000000..c6a1487ff78 --- /dev/null +++ b/test/Transforms/Inline/inline-fast-math-flags.ll @@ -0,0 +1,34 @@ +; RUN: opt < %s -S -inline -inline-threshold=20 | FileCheck %s +; Check that we don't drop FastMathFlag when estimating inlining profitability. +; +; In this test we should inline 'foo' to 'boo', because it'll fold to a +; constant. + +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" + +define float @foo(float* %a, float %b) { +entry: + %a0 = load float* %a, align 4 + %mul = fmul fast float %a0, %b + %tobool = fcmp une float %mul, 0.000000e+00 + br i1 %tobool, label %if.then, label %if.end + +if.then: ; preds = %entry + %a1 = load float* %a, align 8 + %arrayidx1 = getelementptr inbounds float* %a, i64 1 + %a2 = load float* %arrayidx1, align 4 + %add = fadd fast float %a1, %a2 + br label %if.end + +if.end: ; preds = %if.then, %entry + %storemerge = phi float [ %add, %if.then ], [ 1.000000e+00, %entry ] + ret float %storemerge +} + +; CHECK-LABEL: @boo +; CHECK-NOT: call float @foo +define float @boo(float* %a) { +entry: + %call = call float @foo(float* %a, float 0.000000e+00) + ret float %call +} -- 2.34.1