aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/and-or-bfx.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-22allow simplification of OP(((x & y) | (a & M')), K)Luc Van Oostenryck1-1/+0
2018-08-22add testcases for bitfield & AND/OR simplificationLuc Van Oostenryck1-0/+19