[PATCH] D43160: [InstSimplify] allow exp/log simplifications with only 'reassoc' FMF

[Sanjay Patel via Phabricator via llvm-commits]

spatel created this revision.
spatel added reviewers: MatzeB, qcolombet, hfinkel, Quolyk, scanon, efriedma, wristow.
Herald added a subscriber: mcrosier.

As discussed on llvm-dev recently, we should refine our FP transforms based on the minimum subset of fast-math-flags needed to enable those transforms.

These intrinsic folds were just added with https://reviews.llvm.org/D41381, but we let them slide with isFast(). I think 'reassoc' is enough given that we're just eliminating ops based on their math inverses.


https://reviews.llvm.org/D43160

Files:
  lib/Analysis/InstructionSimplify.cpp
  test/Transforms/InstSimplify/exp-intrinsic.ll
  test/Transforms/InstSimplify/exp2-intrinsic.ll
  test/Transforms/InstSimplify/log-intrinsic.ll
  test/Transforms/InstSimplify/log2-intrinsic.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D43160.133753.patch
Type: text/x-patch
Size: 10680 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180210/afec298b/attachment.bin>