[PATCH] D92086: Generalized PatternMatch & InstSimplify

[Simon Moll via Phabricator via llvm-commits]

simoll updated this revision to Diff 439824.
simoll added a comment.
Herald added a subscriber: mgorny.

- Fixed `m_ExtractValue` pattern (all tests passing now).
- Add cmake variable to control which traits InstSimplify will be instantiated for (`LLVM_OPTIMIZER_TRAITS_TO_INSTANTIATE` .. eg `VPTrait;CFPTrait`).
- Explicitly instantiate InstSimplify templates.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D92086

Files:
  llvm/CMakeLists.txt
  llvm/cmake/modules/HandleLLVMOptions.cmake
  llvm/include/llvm/Analysis/InstructionSimplify.h
  llvm/include/llvm/IR/CMakeLists.txt
  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/CMakeLists.txt
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/lib/IR/CMakeLists.txt
  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/floating-point-arithmetic-strictfp.ll
  llvm/test/Transforms/InstSimplify/fpadd_constrained.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D92086.439824.patch
Type: text/x-patch
Size: 115758 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220624/ed0cfe93/attachment-0001.bin>