From: Chris Lattner <sabre@nondot.org>
Date: Wed, 5 Mar 2003 22:56:59 +0000 (+0000)
Subject: New testcase for pow builtin recognition
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2fc36e42ca74186e9a8323d71ba142de6af272f3;p=oota-llvm.git

New testcase for pow builtin recognition


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5706 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Transforms/InstCombine/pow.ll b/test/Transforms/InstCombine/pow.ll
new file mode 100644
index 00000000000..ca0a98a8085
--- /dev/null
+++ b/test/Transforms/InstCombine/pow.ll
@@ -0,0 +1,23 @@
+; Testcase for calls to the standard C "pow" function
+; RUN: if as < %s | opt -instcombine | dis | grep 'call double %pow'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+declare double %pow(double, double)
+
+double %test1(double %X) {
+	%Y = call double %pow(double %X, double 0.0)
+	ret double %Y    ; x^0.0 always equals 0.0
+}
+
+double %test2(double %X) {
+	%Y = call double %pow(double %X, double -0.0)
+	ret double %Y    ; x^-0.0 always equals 0.0
+}
+
+double %test3(double %X) {
+	%Y = call double %pow(double 1.0, double %X)
+	ret double %Y    ; 1.0^x always equals 1.0
+}
+