[all-commits] [llvm/llvm-project] c74008: [FPEnv][InstSimplify] Fold fsub X, -0 ==> X, when ...

[Kevin P. Neal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c7400892caa0a3a2ca7d0d4b918da03b8bac947c
      https://github.com/llvm/llvm-project/commit/c7400892caa0a3a2ca7d0d4b918da03b8bac947c
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2022-02-16 (Wed, 16 Feb 2022)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/strictfp-fsub.ll

  Log Message:
  -----------
  [FPEnv][InstSimplify] Fold fsub X, -0 ==> X, when we know X is not -0

Currently the fsub optimizations in InstSimplify don't know how to fold
X - -0.0 to X when we know X is not zero and the constrained intrinsics
are used. This adds the support.

This review is split out from D107285.

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