aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | 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
| | | | |
| | * | | now able to inject on CallDavid Monniaux2020-04-012-19/+16
| | | | |
| | * | | preparatory work for allowing injection after callsDavid Monniaux2020-04-011-6/+40
| | | | |
| | * | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-03-312-26/+29
| | |\ \ \
| | * | | | no more admittedDavid Monniaux2020-03-311-3/+5
| | | | | |
| | * | | | fewer admitsDavid Monniaux2020-03-311-1/+11
| | | | | |
| | * | | | resolved an "admit"David Monniaux2020-03-311-3/+20
| | | | | |
| | * | | | more about builtin argsDavid Monniaux2020-03-311-1/+83
| | | | | |
| | * | | | except for builtins, finished the proofDavid Monniaux2020-03-312-3/+9
| | | | | |
| | * | | | external callDavid Monniaux2020-03-311-1/+8
| | | | | |
| | * | | | internal callDavid Monniaux2020-03-311-1/+11
| | | | | |
| | * | | | returnDavid Monniaux2020-03-311-1/+29
| | | | | |
| | * | | | jumptableDavid Monniaux2020-03-311-1/+22
| | | | | |
| | * | | | condDavid Monniaux2020-03-311-2/+54
| | | | | |
| | * | | | builtin (incomplete)David Monniaux2020-03-311-0/+33
| | | | | |
| | * | | | tailcallDavid Monniaux2020-03-311-1/+58
| | | | | |
| | * | | | call (could not handle it)David Monniaux2020-03-311-1/+62
| | | | | |
| | * | | | storeDavid Monniaux2020-03-311-1/+42
| | | | | |
| | * | | | loadsDavid Monniaux2020-03-311-3/+126
| | | | | |
| | * | | | lots of admits to be filledDavid Monniaux2020-03-311-13/+134
| | | | | |
| | * | | | transf_function_redirectsDavid Monniaux2020-03-311-0/+109
| | | | | |
| | * | | | INJnopDavid Monniaux2020-03-312-1/+8
| | | | | |