aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmp-zext-simm.c
AgeCommit message (Collapse)AuthorFilesLines
2020-11-08cmp: simplify zext(x) cmps CLuc Van Oostenryck1-1/+0
A signed compare of a zero-extended value against a constant outside of the original range is statically known. Simplify to the corresponding 0/1. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-11-05cmp: add testcases for the simplification of comparesLuc Van Oostenryck1-0/+24
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>