projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53519f0) | patch
Just because we have determined that an (fcmp | fcmp) is true for A < B,
authorOwen Anderson <resistor@mac.com>
Fri, 21 Jan 2011 19:39:42 +0000 (19:39 +0000)
committerOwen Anderson <resistor@mac.com>
Fri, 21 Jan 2011 19:39:42 +0000 (19:39 +0000)
commit5d2e1889622cc20ada6146041e6d862a6588194f
tree7b0957dc3a0388152b28e13e728fe3d2d86e61eftree | snapshot
parent53519f015e3e84e9f57b677cc8724805a6009b73commit | diff
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).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123993 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineAndOrXor.cpp diff | blob | history
test/Transforms/InstCombine/or-fcmp.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors