[PATCH] D92086: Generalized PatternMatch & InstSimplify

[Simon Moll via Phabricator via llvm-commits]

simoll updated this revision to Diff 435586.
simoll added a comment.

Here is the rebased patch for now. Currently two failing tests. This could be instsimplify opportunities enabled by this patch on constrained fp (have to look into it more).

  Failed Tests (2):
    LLVM :: Transforms/InstSimplify/constfold-constrained.ll
    LLVM :: Transforms/InstSimplify/floating-point-arithmetic-strictfp.ll


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D92086/new/

https://reviews.llvm.org/D92086

Files:
  llvm/include/llvm/Analysis/InstructionSimplify.h
  llvm/include/llvm/IR/IntrinsicInst.h
  llvm/include/llvm/IR/PatternMatch.h
  llvm/include/llvm/IR/Traits/EnabledTraits.def
  llvm/include/llvm/IR/Traits/SemanticTrait.h
  llvm/include/llvm/IR/Traits/Traits.h
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/lib/IR/IntrinsicInst.cpp
  llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp
  llvm/test/Transforms/InstSimplify/add_vp.ll
  llvm/test/Transforms/InstSimplify/fast-math-strictfp.ll
  llvm/test/Transforms/InstSimplify/fpadd_constrained.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D92086.435586.patch
Type: text/x-patch
Size: 104338 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220609/320394d6/attachment-0001.bin>