aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/and-or-shl1.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-22simplify SHL((x & M') | y, S)Luc Van Oostenryck1-1/+0
2018-08-22add testcases for bitfield & AND/OR simplificationLuc Van Oostenryck1-0/+14