[PATCH] D103169: [FPEnv][InstSimplify] Constrained FP support for NaN

[Kevin P. Neal via Phabricator via llvm-commits]

kpn updated this revision to Diff 355300.
kpn added a comment.

Add tests showing the folds that we are now using, and show that many of the matchers are not firing yet. Also test that the fast math flags are propagated correctly.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103169/new/

https://reviews.llvm.org/D103169

Files:
  llvm/include/llvm/Analysis/InstructionSimplify.h
  llvm/include/llvm/IR/FPEnv.h
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/lib/Transforms/Utils/Local.cpp
  llvm/test/Transforms/InstSimplify/X86/fp-nan-strictfp.ll
  llvm/test/Transforms/InstSimplify/fast-math-strictfp.ll
  llvm/test/Transforms/InstSimplify/fdiv-strictfp.ll
  llvm/test/Transforms/InstSimplify/floating-point-arithmetic-strictfp.ll
  llvm/test/Transforms/InstSimplify/fp-undef-poison-strictfp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D103169.355300.patch
Type: text/x-patch
Size: 129204 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210629/181f1604/attachment-0001.bin>