aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-cmps-sel.c
AgeCommit message (Expand)AuthorFilesLines
2021-01-26cmps: canonicalize SEL(x {<,<=} y, a, b) --> SEL(x {>=,>} y, b, a)Luc Van Oostenryck1-1/+0
2021-01-26cmps: add testcases for simplification of signed comparesLuc Van Oostenryck1-0/+26