aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/fact-select01.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-27factorize SEL(x, OP(y,z), y) into OP(SEL(x, z, 0), y)Luc Van Oostenryck1-1/+0
2020-11-27add testscases for 'bits translation' optimizationLuc Van Oostenryck1-0/+26