diff options
author | Dan Gohman <gohman@apple.com> | 2010-02-23 17:17:57 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-02-23 17:17:57 +0000 |
commit | 21dc20cbd62e0b4617cad7df947318801eec81e6 (patch) | |
tree | 0768ad5fb0a559f94f1154e57c5dfa40e61f4ebb /test | |
parent | cf453ee70a1ae03cc641686fd5db0f8a7d8ce250 (diff) | |
download | llvm-21dc20cbd62e0b4617cad7df947318801eec81e6.tar.gz llvm-21dc20cbd62e0b4617cad7df947318801eec81e6.tar.bz2 llvm-21dc20cbd62e0b4617cad7df947318801eec81e6.tar.xz |
Don't do (X != Y) ? X : Y -> X for floating-point values; it doesn't
handle NaN properly.
Do (X une Y) ? X : Y -> X if one of X and Y is not zero.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96955 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/fcmp-select.ll | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/fcmp-select.ll b/test/Transforms/InstCombine/fcmp-select.ll new file mode 100644 index 0000000000..e04ab3e892 --- /dev/null +++ b/test/Transforms/InstCombine/fcmp-select.ll @@ -0,0 +1,53 @@ +; RUN: opt < %s -instcombine -S | FileCheck %s + +; x != y ? x : y -> x if it's the right kind of != and at least +; one of x and y is not negative zero. + +; CHECK: f0 +; CHECK: ret double %x +define double @f0(double %x) nounwind readnone { +entry: + %cmp = fcmp une double %x, -1.0 + %cond = select i1 %cmp, double %x, double -1.0 + ret double %cond +} +; CHECK: f1 +; CHECK: ret double -1.000000e+00 +define double @f1(double %x) nounwind readnone { +entry: + %cmp = fcmp une double %x, -1.0 + %cond = select i1 %cmp, double -1.0, double %x + ret double %cond +} +; CHECK: f2 +; CHECK: ret double %cond +define double @f2(double %x, double %y) nounwind readnone { +entry: + %cmp = fcmp une double %x, %y + %cond = select i1 %cmp, double %x, double %y + ret double %cond +} +; CHECK: f3 +; CHECK: ret double %cond +define double @f3(double %x, double %y) nounwind readnone { +entry: + %cmp = fcmp une double %x, %y + %cond = select i1 %cmp, double %y, double %x + ret double %cond +} +; CHECK: f4 +; CHECK: ret double %cond +define double @f4(double %x) nounwind readnone { +entry: + %cmp = fcmp one double %x, -1.0 + %cond = select i1 %cmp, double %x, double -1.0 + ret double %cond +} +; CHECK: f5 +; CHECK: ret double %cond +define double @f5(double %x) nounwind readnone { +entry: + %cmp = fcmp one double %x, -1.0 + %cond = select i1 %cmp, double -1.0, double %x + ret double %cond +} |