diff options
author | Sanjay Patel <spatel@rotateright.com> | 2023-02-14 17:49:40 -0500 |
---|---|---|
committer | Sanjay Patel <spatel@rotateright.com> | 2023-02-14 17:51:06 -0500 |
commit | 83ba349ae0a853e0c2cd8e8aadc88993e9fb9a19 (patch) | |
tree | 48225fed447804781f621c6e5b0695ad208e2723 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
parent | 4a4e44e378ca4a9b0b82c208bc324b50fef5676e (diff) | |
download | llvm-83ba349ae0a853e0c2cd8e8aadc88993e9fb9a19.zip llvm-83ba349ae0a853e0c2cd8e8aadc88993e9fb9a19.tar.gz llvm-83ba349ae0a853e0c2cd8e8aadc88993e9fb9a19.tar.bz2 |
[InstSimplify] fix/improve folding with an SNaN operand
There are 2 issues here:
1. In the default LLVM FP environment (regular FP math instructions),
SNaN is some flavor of "don't care" which we will nail down in
D143074, so this is just a quality-of-implementation improvement
for default FP.
2. In the constrained FP environment (constrained intrinsics), SNaN
must not propagate through a math operation; it has to be quieted
according to IEEE-754 spec. That is independent of exception
handling mode, so the current behavior is a miscompile.
Differential Revision: https://reviews.llvm.org/D143505
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions