aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* 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
|\|
| * Duplicate no longer overwrites existing prediction informationCyril SIX2020-10-011-2/+9
* | Merge remote-tracking branch 'origin/kvx-work-riscV' into kvx-test-prepassDavid Monniaux2020-09-211-1/+482
|\ \
| * | risc-V now without trapping instructionsDavid Monniaux2020-09-211-0/+24
| * | moved Risc-V div ValueAOp to central locationDavid Monniaux2020-09-211-0/+215
| * | moved some "total" value domain functions to a central locationDavid Monniaux2020-09-211-1/+243
| |/
* | Merge branch 'kvx-work' into mppa-RTLpathSECyril SIX2020-05-2852-391/+6967
|\|
| * 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
| | |\
| | | * make tracing output optionalDavid Monniaux2020-04-231-6/+9
| | | * fix in CSE3 move propagationDavid Monniaux2020-04-233-22/+62
| | | * CSE3analysisaux: pp_rhsDavid Monniaux2020-04-231-0/+9
| * | | automated writing Compiler.vDavid Monniaux2020-04-223-2/+2
| * | | begin scripting the Compiler.v fileDavid Monniaux2020-04-212-3/+3
| * | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-216-18/+52
| |\| |
| | * | Merge branch 'mppa-cse3' of ../mppa-cse3 into mppa-licmDavid Monniaux2020-04-212-6/+34
| | |\|
| | | * improvement in precisionDavid Monniaux2020-04-212-6/+34
| | * | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-216-12/+18
| | |\|
| | | * forward moves through CSE3 storeDavid Monniaux2020-04-214-8/+11
| | | * Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-202-4/+7
| | | |\
| | | | * forward moves into store sourceDavid Monniaux2020-04-202-4/+7
| * | | | do not print debug stuffDavid Monniaux2020-04-201-2/+4
| * | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-2011-44/+2323
| |\| | |
| | * | | add options for controlling madd and notrap selectionDavid Monniaux2020-04-191-1/+2
generated by cgit (git 2.34.1) at 2024-06-02 21:35:25 +0000