aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/simplify-not-sub-cte.c
AgeCommit message (Collapse)AuthorFilesLines
2020-10-24unop: simplify ~(C - x) --> x + ~CLuc Van Oostenryck1-1/+0
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-10-23unop: add testcases for unop simplificationsLuc Van Oostenryck1-0/+12
Add a few testcases for the simplification of unary operations. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>