aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
AgeCommit message (Expand)AuthorFilesLines
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck1-0/+13
2017-12-08testsuite: fix invalid 'check-...' tagsLuc Van Oostenryck2-2/+2
2017-11-18fix support of floating-point compareLuc Van Oostenryck1-0/+123
2017-11-16inlined calls should not block BB packingLuc Van Oostenryck1-0/+30
2017-11-16canonicalize compare instructionsLuc Van Oostenryck1-0/+124
2017-11-13Merge branches 'testcases-bugs', 'testcases-bugs-optim' and 'testcases-mem2re...Luc Van Oostenryck6-0/+142
2017-11-13add test case for missing conversion to selectLuc Van Oostenryck1-0/+24
2017-11-13add test cases for canonicalization of boolean expressionsLuc Van Oostenryck1-0/+12
2017-11-13add testcase for mem2reg/SSA conversionLuc Van Oostenryck1-0/+27
2017-11-13add test cases for simplification of equivalent to 'x == 0' or 'x != 0'Luc Van Oostenryck2-0/+24
2017-11-13add test cases for canonicalization of mul chainsLuc Van Oostenryck1-0/+24
2017-11-13add test cases for canonicalization of add/sub chainsLuc Van Oostenryck1-0/+55
2017-11-11Merge branches 'volatile-loads-are-side-effects', 'fix-volatile-simplificatio...Luc Van Oostenryck2-0/+86
2017-11-10volatile loads are side-effects tooLuc Van Oostenryck1-0/+13
2017-11-08associate MOD_RESTRICT with restrict-qualified variablesLuc Van Oostenryck1-0/+73
2017-09-16testsuite: convert to the new patern syntaxLuc Van Oostenryck2-2/+2
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