[all-commits] [llvm/llvm-project] 529004: [FPEnv][InstSimplify] Constrained FP support for NaN

[Kevin P. Neal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 52900486a1b5d270687b7268dc8dd90061889066
      https://github.com/llvm/llvm-project/commit/52900486a1b5d270687b7268dc8dd90061889066
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2021-07-09 (Fri, 09 Jul 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/InstructionSimplify.h
    M llvm/include/llvm/IR/FPEnv.h
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/test/Transforms/InstSimplify/X86/fp-nan-strictfp.ll
    A llvm/test/Transforms/InstSimplify/fast-math-strictfp.ll
    A llvm/test/Transforms/InstSimplify/fdiv-strictfp.ll
    A llvm/test/Transforms/InstSimplify/floating-point-arithmetic-strictfp.ll
    M llvm/test/Transforms/InstSimplify/fp-undef-poison-strictfp.ll

  Log Message:
  -----------
  [FPEnv][InstSimplify] Constrained FP support for NaN

Currently InstructionSimplify.cpp knows how to simplify floating point
instructions that have a NaN operand. It does not know how to handle the
matching constrained FP intrinsic.

This patch teaches it how to simplify so long as the exception handling
is not "fpexcept.strict".

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