[PATCH] D37427: [InstCombine] canonicalize fcmp ord/uno with constants to null constant

[Sanjay Patel via Phabricator via llvm-commits]

spatel updated this revision to Diff 113916.
spatel added a comment.

Patch updated:

1. Create a ValueTracking isKnownNeverNaN() to handle NaNs more generally (steal more from the DAG version).
2. Potentially replace both operands of fcmp ord/uno using that analysis.
3. Add tests with FMF to show those folds are working.


https://reviews.llvm.org/D37427

Files:
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/ValueTracking.cpp
  lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  lib/Transforms/InstCombine/InstCombineCompares.cpp
  test/Transforms/InstCombine/and-fcmp.ll
  test/Transforms/InstCombine/fcmp-special.ll
  test/Transforms/InstCombine/or-fcmp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37427.113916.patch
Type: text/x-patch
Size: 9055 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170905/d72fde1c/attachment.bin>