[PATCH] D135265: [WIP] PoC for invariant checks injection

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.
Herald added a subscriber: hiraditya.
Herald added a project: All.
mkazantsev requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

https://discourse.llvm.org/t/rfc-inject-invariant-conditions-to-loops-to-enable-unswitching-and-constraint-elimination/65716


https://reviews.llvm.org/D135265

Files:
  llvm/include/llvm/Transforms/Scalar/OptimizeCompares.h
  llvm/lib/Passes/PassBuilder.cpp
  llvm/lib/Passes/PassRegistry.def
  llvm/lib/Transforms/Scalar/CMakeLists.txt
  llvm/lib/Transforms/Scalar/OptimizeCompares.cpp
  llvm/test/Transforms/OptimizeCompares/range_check.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D135265.465367.patch
Type: text/x-patch
Size: 10673 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221005/8537e268/attachment.bin>