diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2020-07-19 09:24:03 -0400 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2020-07-19 09:24:52 -0400 |
| commit | 7393d7574c0911b2fd88dd10d093af3efe4dd0cf (patch) | |
| tree | 295257a330060572c4feb21052b6b39c5c4a1a55 /llvm/lib/Transforms/Utils/PredicateInfo.cpp | |
| parent | d12ec0f752e7f2c7f7252539da2d124264ec33f7 (diff) | |
| download | llvm-7393d7574c0911b2fd88dd10d093af3efe4dd0cf.zip llvm-7393d7574c0911b2fd88dd10d093af3efe4dd0cf.tar.gz llvm-7393d7574c0911b2fd88dd10d093af3efe4dd0cf.tar.bz2 | |
[InstSimplify] fold fcmp with infinity constant using isKnownNeverInfinity
This is a step towards trying to remove unnecessary FP compares
with infinity when compiling with -ffinite-math-only or similar.
I'm intentionally not checking FMF on the fcmp itself because
I'm assuming that will go away eventually.
The analysis part of this was added with rGcd481136 for use with
isKnownNeverNaN. Similarly, that could be an enhancement here to
get predicates like 'one' and 'ueq'.
Differential Revision: https://reviews.llvm.org/D84035
Diffstat (limited to 'llvm/lib/Transforms/Utils/PredicateInfo.cpp')
0 files changed, 0 insertions, 0 deletions