diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2022-07-07 22:23:14 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2022-07-07 22:24:30 +0700 |
| commit | b4466bcd68d6556906e8076a4a170f90bb6e238c (patch) | |
| tree | 666b0312028154998f94cf6da5faa1880f4d9dd9 /lldb/packages/Python/lldbsuite/test/lldbpexpect.py | |
| parent | fa2a7a25c9893b2cee2a4cf4fe92531979ef523e (diff) | |
| download | llvm-b4466bcd68d6556906e8076a4a170f90bb6e238c.zip llvm-b4466bcd68d6556906e8076a4a170f90bb6e238c.tar.gz llvm-b4466bcd68d6556906e8076a4a170f90bb6e238c.tar.bz2 | |
[Test] Add some tests showing missing opportunities in IndVars
The general idea of these tests is elimination of signed and unsigned
comparison of the same values through proving non-negativity of them.
Here are some examples where SCEV is not smart enough to prove it.
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/lldbpexpect.py')
0 files changed, 0 insertions, 0 deletions