[PATCH] D78631: [InstCombine] intersect FMF when reassociating FP min/max intrinsics

[Sanjay Patel via Phabricator via llvm-commits]

spatel created this revision.
spatel added reviewers: zhengyangl, qiucf, regehr.
Herald added subscribers: hiraditya, mcrosier.

As discussed in PR45478:
https://bugs.llvm.org/show_bug.cgi?id=45478
...propagating FMF from the inner (first) call is not correct, so intersect them instead.
I suspect we could do better (see TODO comment), but mismatched FMF is probably too rare to care about.


https://reviews.llvm.org/D78631

Files:
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/test/Transforms/InstCombine/maximum.ll
  llvm/test/Transforms/InstCombine/maxnum.ll
  llvm/test/Transforms/InstCombine/minimum.ll
  llvm/test/Transforms/InstCombine/minnum.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D78631.259254.patch
Type: text/x-patch
Size: 6138 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200422/bf013a3e/attachment.bin>