[all-commits] [llvm/llvm-project] e4175f: [InstCombine] intersect FMF when reassociating FP ...

[RotateRight via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e4175ff5256126aa1b851cbe9579f1b62121aa48
      https://github.com/llvm/llvm-project/commit/e4175ff5256126aa1b851cbe9579f1b62121aa48
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2020-04-24 (Fri, 24 Apr 2020)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/maximum.ll
    M llvm/test/Transforms/InstCombine/maxnum.ll
    M llvm/test/Transforms/InstCombine/minimum.ll
    M llvm/test/Transforms/InstCombine/minnum.ll

  Log Message:
  -----------
  [InstCombine] intersect FMF when reassociating FP min/max intrinsics

As discussed in PR45478:
https://bugs.llvm.org/show_bug.cgi?id=45478
...propagating FMF from the outer (second) 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.

Differential Revision: https://reviews.llvm.org/D78631