aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* minor fix in coq2html commentSylvain Boulmé2020-11-161-1/+2
* Tunneling: improved elimination of conditionsSylvain Boulmé2020-11-164-256/+670
* Fixing issue with loops having branches leading to goto backedgeCyril SIX2020-11-052-27/+32
* Fixing get_loop_headers + alternative get_inner_loops (commented, not active)Cyril SIX2020-11-042-27/+107
* do not print "refining" unless askedDavid Monniaux2020-11-041-1/+2
* do not print "updates" to nodesDavid Monniaux2020-11-041-1/+2
* refixcse3David Monniaux2020-11-032-34/+53
* Loop Rotate with -flooprotateCyril SIX2020-11-032-1/+61
* refining CSE3 nodesDavid Monniaux2020-10-311-14/+81
* seems to work betterDavid Monniaux2020-10-312-3/+37
* also match IstoreDavid Monniaux2020-10-301-1/+2
* reinstated old versionDavid Monniaux2020-10-304-216/+39
* reinstated previous forward_move functionDavid Monniaux2020-10-292-11/+98
* CSE3 trivial_ops flagDavid Monniaux2020-10-292-3/+3
* in CSE3 choose lowest variable as representative for movesDavid Monniaux2020-10-293-45/+104
* DuplicateParam -> DuplicateOracle + simpler DuplicatepassesSylvain Boulmé2020-10-283-40/+24
* Correcting typoCyril SIX2020-10-271-3/+3
* Merge branch 'kvx-work' into duplicate-paramCyril SIX2020-10-273-41/+107
|\
| * new CSE3David Monniaux2020-10-273-41/+107
* | Oops forgot Duplicatepasses.vCyril SIX2020-10-271-0/+64
* | Splitting Duplicate in several passesCyril SIX2020-10-271-14/+20
* | Reworked Duplicate to be parametrizedCyril SIX2020-10-272-5/+26
|/
* Loop body unrolling with -funrollbody nCyril SIX2020-10-161-3/+6
* Loop body unrollingCyril SIX2020-10-161-1/+39
* Comment updateCyril SIX2020-10-161-1/+7
* Merge remote-tracking branch 'origin/kvx-work-unroll-fixcse3' into kvx-workDavid Monniaux2020-10-165-14/+458
|\
| * kill useless moves (not yet connected)David Monniaux2020-10-162-0/+401
| * some more tuning of CSE3David Monniaux2020-10-152-10/+23
| * a bit of progressDavid Monniaux2020-10-143-4/+34
* | Comment updateCyril SIX2020-10-161-0/+1
|/
* Merge remote-tracking branch 'origin/kvx-work' into kvx-work-unrollCyril SIX2020-10-141-6/+0
|\
| * centralize if_sameDavid Monniaux2020-10-091-6/+0
* | Ignoring Inops for counting number of instructionsCyril SIX2020-10-141-6/+15
* | Only unrolling on a given instruction limitCyril SIX2020-10-091-12/+16
* | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd...Cyril SIX2020-10-091-34/+43
* | Performing branch prediction before loop unrollingCyril SIX2020-10-071-8/+10
* | [EXP] First draft of 1st iteration unrollingCyril SIX2020-10-071-73/+102
* | [BROKEN] Some progress, need to figure out conversion HashedPSet -> ListCyril SIX2020-10-061-14/+111
* | Detecting inner loops with LICMaux.inner_loopsCyril SIX2020-10-021-12/+75
* | Rewriting some print to use a oc argumentCyril SIX2020-10-021-16/+11
* | Moving some code from Duplicateaux to LICMaux to prevent cyclic depsCyril SIX2020-10-022-55/+63
|/
* Duplicate no longer overwrites existing prediction informationCyril SIX2020-10-011-2/+9
* k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* backport to coq 8.10.2Sylvain Boulmé2020-05-112-4/+9
* -fcse3-glbDavid Monniaux2020-05-062-14/+28
* CSE3 across mergesDavid Monniaux2020-05-061-11/+25
* Adding copyrightsCyril SIX2020-05-0430-3/+358
* Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-233-31/+106
|\
| * CSE3 across callsDavid Monniaux2020-04-232-10/+33
| * Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-233-21/+73
| |\
generated by cgit (git 2.34.1) at 2024-06-11 13:51:28 +0000