diff options
| author | Owen Anderson <resistor@mac.com> | 2011-01-21 19:39:42 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2011-01-21 19:39:42 +0000 |
| commit | a834200dbe3ca1164198d8b79454c0f21c1c5a0d (patch) | |
| tree | 40e79de43f180b5cb2904a4c764971bdeb8e0edb /llvm/lib/Transforms/InstCombine | |
| parent | f282a76fab30db288d35280c8ad2954db8c9f9b5 (diff) | |
| download | bcm5719-llvm-a834200dbe3ca1164198d8b79454c0f21c1c5a0d.tar.gz bcm5719-llvm-a834200dbe3ca1164198d8b79454c0f21c1c5a0d.zip | |
Just because we have determined that an (fcmp | fcmp) is true for A < B,
A == B, and A > B, does not mean we can fold it to true. We still need to
check for A ? B (A unordered B).
llvm-svn: 123993
Diffstat (limited to 'llvm/lib/Transforms/InstCombine')
| -rw-r--r-- | llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp index a27a566341f..e6318e9bc80 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp @@ -172,7 +172,9 @@ static Value *getFCmpValue(bool isordered, unsigned code, case 4: Pred = isordered ? FCmpInst::FCMP_OLT : FCmpInst::FCMP_ULT; break; case 5: Pred = isordered ? FCmpInst::FCMP_ONE : FCmpInst::FCMP_UNE; break; case 6: Pred = isordered ? FCmpInst::FCMP_OLE : FCmpInst::FCMP_ULE; break; - case 7: return ConstantInt::getTrue(LHS->getContext()); + case 7: + if (!isordered) return ConstantInt::getTrue(LHS->getContext()); + Pred = FCmpInst::FCMP_ORD; break; } return Builder->CreateFCmp(Pred, LHS, RHS); } |
