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