aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* 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
| * | | activate LICMDavid Monniaux2020-04-191-1/+1
| * | | test whether the instructions are allowedDavid Monniaux2020-04-191-8/+6
| * | | compute injectionsDavid Monniaux2020-04-191-11/+28
| * | | synthesize injection listsDavid Monniaux2020-04-191-8/+30
| * | | try building injection listsDavid Monniaux2020-04-191-0/+52
| * | | pp_listDavid Monniaux2020-04-181-3/+6
| * | | compute inner loopsDavid Monniaux2020-04-181-2/+11
| * | | backward iteratorDavid Monniaux2020-04-181-2/+31
| * | | dominated setsDavid Monniaux2020-04-181-4/+30
| * | | dominated partsDavid Monniaux2020-04-181-2/+15
| * | | headers vs dominatorsDavid Monniaux2020-04-181-4/+6
| * | | find inner loopsDavid Monniaux2020-04-171-1/+57
| * | | moved to extraDavid Monniaux2020-04-161-16/+9
| * | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-165-35/+111
| |\| |
| | * | CSE3: better builtin handlingDavid Monniaux2020-04-164-5/+60
| | * | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-163-33/+55
| | |\|
| | | * refine the rules for builtinsDavid Monniaux2020-04-162-5/+37
| | | * progress on CSE2 builtinsDavid Monniaux2020-04-162-31/+20
| * | | adapt for Icond with predicted directionDavid Monniaux2020-04-164-13/+13
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-1332-333/+533
| |\ \ \ | | | |/ | | |/|
| * | | toy example for injecting codeDavid Monniaux2020-04-011-2/+29
| * | | route through LICMauxDavid Monniaux2020-04-012-4/+5
| * | | fix Compiler.vDavid Monniaux2020-04-011-0/+6
| * | | clearer typesDavid Monniaux2020-04-011-1/+4
| * | | attempt at compilingDavid Monniaux2020-04-012-0/+30
| * | | begin adapting for LICM phaseDavid Monniaux2020-04-012-32/+32
| * | | adapting new stuff for ARM and AArch64David Monniaux2020-04-012-18/+14
generated by cgit (git 2.34.1) at 2024-06-02 22:11:30 +0000