| Issue |
182746
|
| Summary |
Stop making assumptions about subnormals and NaN payloads
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
DemiMarie
|
The behavior of subnormal numbers in particular is target-specific. Some platforms simply cannot support subnormals without software support code that might not be present. The only long-term solution I can think of is for LLVM to stop making assumptions about this:
- Treat operations on subnormal numbers as opaque.
- Do not constant-fold operations that produce subnormal numbers as intermediates (even if the final result is normal).
- Do not assume that the payload of NaNs is preserved.
This will avoid problems on platforms that omit full IEEE 754 conformance in the interest of speed, cost, or power consumption.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
