aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Bitcode/Reader/BitcodeReader.cpp
diff options
context:
space:
mode:
authorSanjay Patel <spatel@rotateright.com>2023-02-14 17:49:40 -0500
committerSanjay Patel <spatel@rotateright.com>2023-02-14 17:51:06 -0500
commit83ba349ae0a853e0c2cd8e8aadc88993e9fb9a19 (patch)
tree48225fed447804781f621c6e5b0695ad208e2723 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp
parent4a4e44e378ca4a9b0b82c208bc324b50fef5676e (diff)
downloadllvm-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