Testcase for r108687.
authorOwen Anderson <resistor@mac.com>
Mon, 19 Jul 2010 08:14:26 +0000 (08:14 +0000)
committerOwen Anderson <resistor@mac.com>
Mon, 19 Jul 2010 08:14:26 +0000 (08:14 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@108689 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/2010-07-19-sqrt.ll [new file with mode: 0644]

diff --git a/test/Transforms/InstCombine/2010-07-19-sqrt.ll b/test/Transforms/InstCombine/2010-07-19-sqrt.ll
new file mode 100644 (file)
index 0000000..6505382
--- /dev/null
@@ -0,0 +1,16 @@
+; RUN: opt -S -instcombine %s | FileCheck %s
+
+define float @foo(float %x) nounwind readnone ssp {
+entry:
+; CHECK-NOT: fpext
+; CHECK-NOT: sqrt(
+; CHECK: sqrtf(
+; CHECK-NOT: fptrunc
+  %conv = fpext float %x to double                ; <double> [#uses=1]
+  %call = tail call double @sqrt(double %conv) nounwind ; <double> [#uses=1]
+  %conv1 = fptrunc double %call to float          ; <float> [#uses=1]
+; CHECK: ret float
+  ret float %conv1
+}
+
+declare double @sqrt(double) readnone