[ConstraintElimination] Add tests where unsigned system can be queried.
authorFlorian Hahn <flo@fhahn.com>
Thu, 6 Oct 2022 21:11:51 +0000 (22:11 +0100)
committerFlorian Hahn <flo@fhahn.com>
Thu, 6 Oct 2022 21:11:51 +0000 (22:11 +0100)
commit5b70db8f0065554d3b0303e7fe7a6c730f0fb108
tree9f7a06015172230898d310bf9b007495f1131741
parent52601325f1a4db06510dbe12562240a018a254bd
[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.
llvm/test/Transforms/ConstraintElimination/signed-query-unsigned-system.ll [new file with mode: 0644]