aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmp-zext-zext.c
AgeCommit message (Collapse)AuthorFilesLines
2020-11-08cmp: simplify compares and sign/zero extendLuc Van Oostenryck1-1/+0
Compare instructions with both operands sign or zero-extended from the same original size are equivalent to a compare of the original values. If the values were zero-extended, a signed compare becomes an unsigned one. Simplify away the sign/zero-extensions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-11-05cmp: add testcases for the simplification of comparesLuc Van Oostenryck1-0/+18
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>