aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmp-zext-uimm2.c
AgeCommit message (Collapse)AuthorFilesLines
2020-11-08cmp: simplify zext(x) cmpu CLuc Van Oostenryck1-1/+0
An unsigned 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/+30
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>