[all-commits] [llvm/llvm-project] 7bdb01: [FPEnv][InstSimplify] 0.0 - -X ==> X

Kevin P. Neal via All-commits all-commits at lists.llvm.org
Thu Aug 11 08:36:03 PDT 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7bdb010d7c58e07ad5e1db01edc92253038c1a83
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2022-08-11 (Thu, 11 Aug 2022)

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

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

Another ticket split out of D107285, this extends the optimization
of 0.0 - -X to just X when using constrained intrinsics and the
optimization is allowed.

If the negation of X is done with fsub then the match fails because of
the lack of IR Matcher support for constrained intrinsics.

While I'm here, remove some TODO notices since the work is no longer

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

More information about the All-commits mailing list