diff options
| author | Florian Hahn <flo@fhahn.com> | 2023-06-08 21:13:05 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2023-06-08 21:13:06 +0100 |
| commit | c317a88767369f860a8b2e4ffaf84bec6f72bf10 (patch) | |
| tree | bfa7371d2b1f3e5f36cc4452dd0e861613251885 /llvm/lib/ToolDrivers/llvm-lib/LibDriver.cpp | |
| parent | 31dfd2b99ce31ae076aa35867dbede052693a6c9 (diff) | |
| download | llvm-c317a88767369f860a8b2e4ffaf84bec6f72bf10.zip llvm-c317a88767369f860a8b2e4ffaf84bec6f72bf10.tar.gz llvm-c317a88767369f860a8b2e4ffaf84bec6f72bf10.tar.bz2 | |
[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.
Diffstat (limited to 'llvm/lib/ToolDrivers/llvm-lib/LibDriver.cpp')
0 files changed, 0 insertions, 0 deletions