aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cse-not02.c
AgeCommit message (Collapse)AuthorFilesLines
2020-11-22not: simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1}Luc Van Oostenryck1-1/+0
Simplify bitwise operations on a compare and its complement into 0 (for &) or 1 for (| and ^). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-11-22not: add testcases for canonicalization & simplification of negationsLuc Van Oostenryck1-0/+12
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>