diff options
author | Sanjay Patel <spatel@rotateright.com> | 2022-12-09 10:58:27 -0500 |
---|---|---|
committer | Sanjay Patel <spatel@rotateright.com> | 2022-12-09 11:07:24 -0500 |
commit | 93099c7d21727dd94383783020de4c89a6c5809c (patch) | |
tree | 9fee08e91bf03ab109d874b881e112f53887c7c8 /lldb/source/Commands/CommandObjectCommands.cpp | |
parent | 8f1e11c5a7d70f96943a72649daa69f152d73e90 (diff) | |
download | llvm-93099c7d21727dd94383783020de4c89a6c5809c.zip llvm-93099c7d21727dd94383783020de4c89a6c5809c.tar.gz llvm-93099c7d21727dd94383783020de4c89a6c5809c.tar.bz2 |
[InstCombine] allow more fast-math-flags to propagate in fneg-of-select fold
We were conservatively intersecting flags, but we can take the union here
because forbidden special values (nsz/nnan/ninf) are not altered by fneg.
So if they were guaranteed not present on the select or fneg, then they
are guaranteed not present on the new select. Alive2 appears to agree on
the test diffs (reduced to not include irrelevant flags like reassoc):
https://alive2.llvm.org/ce/z/ViqqrO
This prevents a potential regression if we tighten up the FMF behavior
for fabs with NAN as suggested in issue #59279.
Diffstat (limited to 'lldb/source/Commands/CommandObjectCommands.cpp')
0 files changed, 0 insertions, 0 deletions