projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3f0153) | patch
[ConstraintElim] Split up test case to it easier for Alive2 to verify.
authorFlorian Hahn <flo@fhahn.com>
Tue, 25 Apr 2023 19:33:29 +0000 (20:33 +0100)
committerFlorian Hahn <flo@fhahn.com>
Tue, 25 Apr 2023 19:33:30 +0000 (20:33 +0100)
commitaf6d1385f2e14a7a405112089faae6fde1e627d0
tree698055ec464cbeb27b642d130397a2cf4c5383e8tree | snapshot
parentc3f0153ec27a5e2cff97179d319ab99651c4c539commit | diff
[ConstraintElim] Split up test case to it easier for Alive2 to verify.

Split up larger test functions into 2 versions, one with the checks in
the then and one with the checks in the else block.

The original versions of the function caused timeouts even with larger
thresholds. The new versions verify very quickly.
llvm/test/Transforms/ConstraintElimination/mul-nsw.ll diff | blob | history
Domain: System / Toolchain;