aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-034-35/+114
|\
| * refixcse3David Monniaux2020-11-032-34/+53
| * Loop Rotate with -flooprotateCyril SIX2020-11-032-1/+61
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-313-17/+118
|\|
| * 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
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-304-168/+78
|\|
| * reinstated old versionDavid Monniaux2020-10-304-216/+39
| * reinstated previous forward_move functionDavid Monniaux2020-10-292-11/+98
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-294-48/+107
|\|
| * CSE3 trivial_ops flagDavid Monniaux2020-10-292-3/+3
| * in CSE3 choose lowest variable as representative for movesDavid Monniaux2020-10-293-45/+104
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-283-40/+24
|\|
| * DuplicateParam -> DuplicateOracle + simpler DuplicatepassesSylvain Boulmé2020-10-283-40/+24
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-274-19/+110
|\|
| * 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
| |/
* | improved CSE3David Monniaux2020-10-271-12/+12
* | progress in proofs on new CSE3David Monniaux2020-10-271-3/+34
* | deactivate LICM by defaultDavid Monniaux2020-10-271-20/+11
* | begin fixing CSE3 to keep more inductive stuffDavid Monniaux2020-10-272-10/+19
* | invariant printing more aligned with RTL dumpsDavid Monniaux2020-10-271-2/+2
* | print invariantsDavid Monniaux2020-10-271-11/+46
* | attempt at store -> load.sDavid Monniaux2020-10-261-2/+3
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-188-143/+845
|\|
| * 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
| |/
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-021-2/+9
|\|
generated by cgit (git 2.34.1) at 2024-06-12 02:08:13 +0000