projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31dfd2b) | patch
[LV] Add tests for reasoning about SCEV predicates.
authorFlorian Hahn <flo@fhahn.com>
Thu, 8 Jun 2023 20:13:05 +0000 (21:13 +0100)
committerFlorian Hahn <flo@fhahn.com>
Thu, 8 Jun 2023 20:13:06 +0000 (21:13 +0100)
commitc317a88767369f860a8b2e4ffaf84bec6f72bf10
treebfa7371d2b1f3e5f36cc4452dd0e861613251885tree | snapshot
parent31dfd2b99ce31ae076aa35867dbede052693a6c9commit | diff
[LV] Add tests for reasoning about SCEV predicates.

Add extra tests with cases where SCEV predicates can be proven to always
be false. The test in pointer-induction.ll has been adjusted to avoid
the induction always to wrap.
llvm/test/Transforms/LoopVectorize/pointer-induction.ll diff | blob | history
llvm/test/Transforms/LoopVectorize/scev-predicate-reasoning.ll [new file with mode: 0644] blob
Domain: System / Toolchain;