aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmp-and-pow2.c
AgeCommit message (Expand)AuthorFilesLines
2021-03-13canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2Luc Van Oostenryck1-0/+12