[all-commits] [llvm/llvm-project] f86c93: [FPEnv][InstSimplify] Fold constrained X + -0.0 ==> X

[Kevin P. Neal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f86c930cc96756f4d565f1746dca8cc42037b5ce
      https://github.com/llvm/llvm-project/commit/f86c930cc96756f4d565f1746dca8cc42037b5ce
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2021-10-06 (Wed, 06 Oct 2021)

  Changed paths:
    M llvm/include/llvm/IR/FPEnv.h
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/strictfp-fadd.ll

  Log Message:
  -----------
  [FPEnv][InstSimplify] Fold constrained X + -0.0 ==> X

Currently the fadd optimizations in InstSimplify don't know how to do this
"X + -0.0 ==> X" fold when using the constrained intrinsics. This adds the
support.

This commit is derived from D106362 with some improvements from D107285.

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