2 Commits

Author	SHA1	Message	Date
Florian Hahn	ca268ed285	[ConstraintElimination] Decompose zext for unsigned compares. ... For unsigned compares, zext should be a no-op and we can add the extended value to the constraint system.	2021-02-07 20:53:06 +00:00
Florian Hahn	a14a59f2f2	[ConstraintElimination] Add additional tests. ... Adds additional test cases with zexts, conditions that require temporary indices.	2021-02-07 18:00:17 +00:00