diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2025-06-16 12:07:47 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-16 12:07:47 +0800 |
| commit | cab09e76e0c4c95f44cf90bf2bf7a6eaa15b14b2 (patch) | |
| tree | fda0f76ea95c6631bfbd7bcfd6f26fe33a45b49c /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | c01532177ff61a768d5dc1ea541f9a8d986497fa (diff) | |
| download | llvm-cab09e76e0c4c95f44cf90bf2bf7a6eaa15b14b2.zip llvm-cab09e76e0c4c95f44cf90bf2bf7a6eaa15b14b2.tar.gz llvm-cab09e76e0c4c95f44cf90bf2bf7a6eaa15b14b2.tar.bz2 | |
[InstCombine] Propagate FMF from fptrunc when folding `fptrunc fabs(X) -> fabs(fptrunc X)` (#143352)
Alive2: https://alive2.llvm.org/ce/z/DWV3G3
fptrunc yields infinity when the input cannot fit in the target type. So
ninf should be propagated from fptrunc. For other intrinsics, the
previous check ensures that the result is never an infinity:
https://github.com/llvm/llvm-project/blob/5d3899d293e902124c3602b466031b6b799fb123/llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp#L1910-L1917
Closes https://github.com/llvm/llvm-project/issues/143122.
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions