diff options
author | Florian Hahn <flo@fhahn.com> | 2022-10-06 22:11:51 +0100 |
---|---|---|
committer | Florian Hahn <flo@fhahn.com> | 2022-10-06 22:11:51 +0100 |
commit | 5b70db8f0065554d3b0303e7fe7a6c730f0fb108 (patch) | |
tree | 9f7a06015172230898d310bf9b007495f1131741 /llvm/tools/llvm-objdump/SourcePrinter.cpp | |
parent | 52601325f1a4db06510dbe12562240a018a254bd (diff) | |
download | llvm-5b70db8f0065554d3b0303e7fe7a6c730f0fb108.zip llvm-5b70db8f0065554d3b0303e7fe7a6c730f0fb108.tar.gz llvm-5b70db8f0065554d3b0303e7fe7a6c730f0fb108.tar.bz2 |
[ConstraintElimination] Add tests where unsigned system can be queried.
Add tests with a mix of signed and unsigned predicates. In some cases,
the unsigned system can be queried for signed predicates to improve
results.
Diffstat (limited to 'llvm/tools/llvm-objdump/SourcePrinter.cpp')
0 files changed, 0 insertions, 0 deletions