diff options
| author | Florian Hahn <flo@fhahn.com> | 2019-10-11 11:46:40 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2019-10-11 11:46:40 +0000 |
| commit | 77fbf069f6dd5f18d992a8d2e03484070f60ba3d (patch) | |
| tree | 5ff7af134bd256656047d8e0dd26f0d7aa937f46 /lldb/packages/Python/lldbsuite/test/python_api/default-constructor | |
| parent | 6434eac86086ed1dbeec873980d1fc9c1b0c895b (diff) | |
| download | bcm5719-llvm-77fbf069f6dd5f18d992a8d2e03484070f60ba3d.tar.gz bcm5719-llvm-77fbf069f6dd5f18d992a8d2e03484070f60ba3d.zip | |
[SCEV] Add stricter verification option.
Currently -verify-scev only fails if there is a constant difference
between two BE counts. This misses a lot of cases.
This patch adds a -verify-scev-strict options, which fails for any
non-zero differences, if used together with -verify-scev.
With the stricter checking, some unit tests fail because
of mis-matches, especially around IndVarSimplify.
If there is no reason I am missing for just checking constant deltas, I
am planning on looking into the various failures.
Reviewers: efriedma, sanjoy.google, reames, atrick
Reviewed By: sanjoy.google
Differential Revision: https://reviews.llvm.org/D68592
llvm-svn: 374535
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/default-constructor')
0 files changed, 0 insertions, 0 deletions
