[all-commits] [llvm/llvm-project] 7393d7: [InstSimplify] fold fcmp with infinity constant us...

[RotateRight via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 7393d7574c0911b2fd88dd10d093af3efe4dd0cf
      https://github.com/llvm/llvm-project/commit/7393d7574c0911b2fd88dd10d093af3efe4dd0cf
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2020-07-19 (Sun, 19 Jul 2020)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-compare.ll

  Log Message:
  -----------
  [InstSimplify] fold fcmp with infinity constant using isKnownNeverInfinity

This is a step towards trying to remove unnecessary FP compares
with infinity when compiling with -ffinite-math-only or similar.
I'm intentionally not checking FMF on the fcmp itself because
I'm assuming that will go away eventually.
The analysis part of this was added with rGcd481136 for use with
isKnownNeverNaN. Similarly, that could be an enhancement here to
get predicates like 'one' and 'ueq'.

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