diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2019-05-16 14:03:10 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2019-05-16 14:03:10 +0000 |
| commit | 152f81fae80eb415cc09073f03125836216c8df9 (patch) | |
| tree | 0dd4e13d83b980b13003c3778d08cd8d9ea2f0b1 /llvm/lib/Support/CommandLine.cpp | |
| parent | 2dee094a08ff4e244e8df046f3b1d6445e707b77 (diff) | |
| download | llvm-152f81fae80eb415cc09073f03125836216c8df9.zip llvm-152f81fae80eb415cc09073f03125836216c8df9.tar.gz llvm-152f81fae80eb415cc09073f03125836216c8df9.tar.bz2 | |
[InstSimplify] fold fcmp (minnum, X, C1), C2
minnum(X, LesserC) == C --> false
minnum(X, LesserC) >= C --> false
minnum(X, LesserC) > C --> false
minnum(X, LesserC) != C --> true
minnum(X, LesserC) <= C --> true
minnum(X, LesserC) < C --> true
maxnum siblings will follow if there are no problems here.
We should be able to perform some other combines when the constants
are equal or greater-than too, but that would go in instcombine.
We might also generalize this by creating an FP ConstantRange
(similar to what we do for integers).
Differential Revision: https://reviews.llvm.org/D61691
llvm-svn: 360899
Diffstat (limited to 'llvm/lib/Support/CommandLine.cpp')
0 files changed, 0 insertions, 0 deletions