aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/select-select-true-true.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-07select: simplify SEL(SEL(x, C1, C2), y, z) --> y (with C1, C2 != 0)Luc Van Oostenryck1-1/+0
2020-11-07select: add some testcases for select simplificationLuc Van Oostenryck1-0/+10