[all-commits] [llvm/llvm-project] 22bd65: [FPEnv][InstSimplify] Fold fsub X, +0 ==> X

[Kevin P. Neal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 22bd65fbe7ecf06b9c0a6df212985943de04cd32
      https://github.com/llvm/llvm-project/commit/22bd65fbe7ecf06b9c0a6df212985943de04cd32
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2022-02-14 (Mon, 14 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

Currently the fsub optimizations in InstSimplify don't know how to fold X
- +0.0 to X when using the constrained intrinsics. This adds the support.

This review is split out from D107285.

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