aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/setcc-mask.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-06simplify AND(SETCC(x,y), M)Luc Van Oostenryck1-1/+0
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck1-0/+19