aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bits-not-zero.c
AgeCommit message (Collapse)AuthorFilesLines
2018-06-28simplify 'x ^ ~0' to '~x'Luc Van Oostenryck1-0/+8
This is yet another simple identity with the potential to trigger more simplifications. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-06-28simplify 'x & ~0' to 'x'Luc Van Oostenryck1-0/+7
This is another simple identity with the potential to trigger more simplifications. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-06-28simplify 'x | ~0' to '~0'Luc Van Oostenryck1-0/+15
This is a simple identity with the potential to trigger more simplifications. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>