diff options
author | Chris Lattner <sabre@nondot.org> | 2008-01-08 06:46:30 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2008-01-08 06:46:30 +0000 |
commit | 6c36fb50625f9b0539827b21a9ee150431187994 (patch) | |
tree | 2e005cf02279057eeced3697defcd955c706de7b /test/CodeGen/PowerPC/compare-fcmp-ord.ll | |
parent | 2b9d5dd1fbd19a840e724a2c8a573dc2a79d1833 (diff) | |
download | external_llvm-6c36fb50625f9b0539827b21a9ee150431187994.zip external_llvm-6c36fb50625f9b0539827b21a9ee150431187994.tar.gz external_llvm-6c36fb50625f9b0539827b21a9ee150431187994.tar.bz2 |
Finally implement correct ordered comparisons for PPC, even though
the code generated is not wonderful. This turns a miscompilation into
a code quality bug (noted in the ppc readme). This fixes PR642, which
is over 2 years old (!). Nate, please review this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45742 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/PowerPC/compare-fcmp-ord.ll')
-rw-r--r-- | test/CodeGen/PowerPC/compare-fcmp-ord.ll | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/CodeGen/PowerPC/compare-fcmp-ord.ll b/test/CodeGen/PowerPC/compare-fcmp-ord.ll new file mode 100644 index 0000000..b96efd1 --- /dev/null +++ b/test/CodeGen/PowerPC/compare-fcmp-ord.ll @@ -0,0 +1,27 @@ +; RUN: llvm-as < %s | llc -march=ppc32 | grep or | count 3 +; This should produce one 'or' or 'cror' instruction per function. + +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i686-apple-darwin8" + +define i32 @test(double %x, double %y) nounwind { +entry: + %tmp3 = fcmp ole double %x, %y ; <i1> [#uses=1] + %tmp345 = zext i1 %tmp3 to i32 ; <i32> [#uses=1] + ret i32 %tmp345 +} + +define i32 @test2(double %x, double %y) nounwind { +entry: + %tmp3 = fcmp one double %x, %y ; <i1> [#uses=1] + %tmp345 = zext i1 %tmp3 to i32 ; <i32> [#uses=1] + ret i32 %tmp345 +} + +define i32 @test3(double %x, double %y) nounwind { +entry: + %tmp3 = fcmp ugt double %x, %y ; <i1> [#uses=1] + %tmp34 = zext i1 %tmp3 to i32 ; <i32> [#uses=1] + ret i32 %tmp34 +} + |