aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
AgeCommit message (Expand)AuthorFilesLines
2017-05-19Merge branches 'dump-macros-v2', 'fix-predefined-size', 'fix-bool-context', '...v0.5.1-rc1Luc Van Oostenryck2-2/+18
2017-05-12fix boolean context for OP_AND_BOOL & OP_OR_BOOLLuc Van Oostenryck2-2/+18
2017-05-12ignore VOID when trying to if-convert phi-nodesLuc Van Oostenryck1-0/+19
2017-02-23CSE: use commutativity to identify equivalent instructionsLuc Van Oostenryck1-0/+22
2017-02-23CSE: add test cases for comparisons dualityLuc Van Oostenryck1-0/+34
2017-02-16simplify float-to-float casts that doesn't change sizeLuc Van Oostenryck1-0/+15
2017-02-13simplify '(x || x)' and '(x && x)'Luc Van Oostenryck1-0/+12
2017-02-13simplify comparisons followed by an equality test against 0 or 1Luc Van Oostenryck3-0/+45
2017-02-13simplify '(x op x)' to '0', '1' or 'x'Luc Van Oostenryck1-0/+49
2017-02-13simplify '(x || 1)' to '1'Luc Van Oostenryck1-0/+51
2017-02-13simplify '~(~x)' and '-(-x)' to 'x'Luc Van Oostenryck1-0/+15
2017-02-13simplify '(x % 1)' into '0'Luc Van Oostenryck1-0/+3
2017-02-13simplify '(x / -1)' to '-x' (but only for signed division)Luc Van Oostenryck1-0/+5
2017-02-13simplify '(x * -1)' to '-x'Luc Van Oostenryck1-0/+13
2017-02-13simplify '(x / 1)' to 'x'Luc Van Oostenryck1-0/+3
2017-02-13move OP_MUL simplification in a separate functionLuc Van Oostenryck2-0/+26