aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/lsr-and1.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-22simplify ((x & M) >> S) when (M >> S) == (-1 >> S)Luc Van Oostenryck1-1/+0
2018-08-22add testcases for {LSR,SHL}(AND(x, M), S) with shared AND(x, M)Luc Van Oostenryck1-0/+19