Commit Graph

2 Commits

Author SHA1 Message Date
Florian Hahn 5a4ca8b550 [ConstraintElimination] Add support for Or.
When processing conditional branches, if the condition is an OR of 2 compares
and the false successor only has the current block as predecessor, queue both
negated conditions for the false successor
2020-11-16 21:48:38 +00:00
Florian Hahn 2322080bc3 [ConstraintElimination] Add add/sub/and/or test cases.
This adds a new set of tests for upcoming constraint elimination
changes.
2020-10-13 13:18:32 +01:00