aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmp-sext-simm.c
AgeCommit message (Expand)AuthorFilesLines
2021-01-26cmps: fix simplification of sext(x) + signed compare of {SMAX,SMIN}Luc Van Oostenryck1-11/+35
2020-11-08cmp: simplify sext(x) cmps {SMAX,SMIN}Luc Van Oostenryck1-1/+0
2020-11-05cmp: add testcases for the simplification of comparesLuc Van Oostenryck1-0/+30