aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/set-uimm3.c
AgeCommit message (Collapse)AuthorFilesLines
2020-11-08cmp: canonicalize unsigned (x {<=,>} SMAX)Luc Van Oostenryck1-1/+0
Unsigned <= or > against SMAX are equivalent to testing if the value is positive or not (when interpreted as a signed number). Canonicalize to this positive/negative test since it only needs the constant 0 which make it easier to handle at later steps. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-11-05cmp: add testcases for the simplification of comparesLuc Van Oostenryck1-0/+11
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>