aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
AgeCommit message (Expand)AuthorFilesLines
2018-06-28simplify 'x & ~0' to 'x'Luc Van Oostenryck1-0/+7
2018-06-28simplify 'x | ~0' to '~0'Luc Van Oostenryck1-0/+15
2018-06-26cast: simplify TRUNC + ZEXT to ANDLuc Van Oostenryck2-0/+146
2018-06-26cse: move to next comparable instructionLuc Van Oostenryck1-1/+0
2018-06-23cse: add testcase for missed opportunityLuc Van Oostenryck1-0/+16
2018-06-23cast: specialize integer castsLuc Van Oostenryck3-38/+40
2018-06-23cast: specialize cast from pointersLuc Van Oostenryck1-0/+1
2018-06-23cast: specialize casts from unsigned to pointersLuc Van Oostenryck1-0/+1
2018-06-23cast: specialize floats to integer conversionLuc Van Oostenryck1-0/+1
2018-06-23cast: specialize FPCAST into [USF]CVTFLuc Van Oostenryck1-1/+1
2018-06-23cast: reorg testcases related to castsLuc Van Oostenryck1-0/+22
2018-06-21fix bad fpcast simplificationLuc Van Oostenryck1-1/+0
2018-06-21add testcase for bad fpcast simplificationLuc Van Oostenryck1-0/+14
2018-06-16testsuite: fix missing returnLuc Van Oostenryck1-0/+1
2018-03-18fix-return: remove special case for single returnLuc Van Oostenryck1-0/+24
2018-03-17optim: simplify null selectLuc Van Oostenryck1-0/+16
2018-03-14optim: kill unreachable BBS after CFG simplificationLuc Van Oostenryck2-2/+0
2018-03-14optim: add some more optimization testsLuc Van Oostenryck2-0/+42
2018-03-11fix symbol cleanupLuc Van Oostenryck1-1/+0
2018-03-11fix address_taken()Luc Van Oostenryck1-0/+19
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck7-11/+11
2018-02-27testsuite: add testcase about CSE problemLuc Van Oostenryck1-0/+18
2018-02-16Merge branches 'fix-converted-loads', 'kill-deadborn-loads', 'kill-dead-loads...Luc Van Oostenryck4-0/+64
2018-02-14kill dead stores when simplifying symbolsLuc Van Oostenryck1-1/+0
2018-02-14kill dead loadsLuc Van Oostenryck2-0/+36
2018-02-14fix killing of converted loadsLuc Van Oostenryck2-1/+25
2018-02-14add testcases for converted loadsLuc Van Oostenryck1-0/+15
2018-02-11add testcase for bad killing of dominated storesLuc Van Oostenryck1-0/+16
2018-01-16CSE: support CSE of floating-point literalLuc Van Oostenryck1-0/+12
2018-01-08add OP_SETFVALLuc Van Oostenryck1-0/+47
2018-01-02Merge branches 'fix-expand-bitfield-deref', 'fix-fpops-cse', 'null-expr', 'si...Luc Van Oostenryck2-0/+32
2017-12-21fix: restore CSE on floating-point comparesLuc Van Oostenryck1-1/+0
2017-12-21add testcase for CSE of floating-point comparesLuc Van Oostenryck1-0/+20
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
generated by cgit 1.2.3-korg (git 2.43.0) at 2025-11-03 01:38:48 +0000