aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/simplify-same-subl-add.c
AgeCommit message (Collapse)AuthorFilesLines
2020-10-20sub: simplify x - (x + y) --> -yLuc Van Oostenryck1-1/+0
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-10-20add testcases about OP_ADD & OP_SUB simplificationsLuc Van Oostenryck1-0/+12
Add some testcases about basic simplifications of additions and subtractions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>