aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'kvx-work' into mppa-RTLpathSECyril SIX2020-05-286-183/+103
|\
| * k1c -> kvx changesDavid Monniaux2020-05-263-3/+3
| * -fcse3-glbDavid Monniaux2020-05-063-0/+6
| * CSE3 across mergesDavid Monniaux2020-05-063-0/+6
| * Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-04-234-152/+73
| |\
| | * Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-233-4/+11
| | |\
| | | * CSE3 across callsDavid Monniaux2020-04-233-3/+9
| | | * Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-232-0/+2
| | | |\
| | | | * make tracing output optionalDavid Monniaux2020-04-232-0/+2
| | | | * fix in CSE3 move propagationDavid Monniaux2020-04-231-20/+20
| | | * | use cbn not simplDavid Monniaux2020-04-221-21/+21
| | * | | cbn and copyrightDavid Monniaux2020-04-221-9/+9
| | * | | use cbn in T instead of simpl in TDavid Monniaux2020-04-221-1/+2
| | * | | automated writing Compiler.vDavid Monniaux2020-04-221-111/+8
| | * | | generate mkpassDavid Monniaux2020-04-211-18/+1
| | * | | Require autogenDavid Monniaux2020-04-211-34/+4
| | * | | begin scripting the Compiler.v fileDavid Monniaux2020-04-211-36/+1
| | * | | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-202-0/+8
| | |\ \ \
| | | * \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-2010-69/+193
| | | |\ \ \
| | | * | | | added -fdiv-i32 and -fdiv-i64 optionsDavid Monniaux2019-05-292-3/+12
| | * | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-204-23/+60
| | |\ \ \ \ \ | | | | |_|/ / | | | |/| | |
| | | * | | | add options for controlling madd and notrap selectionDavid Monniaux2020-04-193-1/+8
| | | * | | | activate LICMDavid Monniaux2020-04-191-1/+1
| | | * | | | reordering passesDavid Monniaux2020-04-011-8/+8
| | | * | | | fix Compiler.vDavid Monniaux2020-04-011-12/+16
| | | * | | | attempt at compilingDavid Monniaux2020-04-011-12/+24
| | | * | | | begin adapting for LICM phaseDavid Monniaux2020-04-013-0/+6
| | | * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-012-7/+6
| | | |\ \ \ \ | | | | | |/ / | | | | |/| |
| | | * | | | nop insertion at entrypointDavid Monniaux2020-03-291-15/+23
| | * | | | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-124-15/+48
| | |\ \ \ \ \ | | | |_|_|_|/ | | |/| | | |
| | | * | | | -fbranch-probabilitiesDavid Monniaux2020-04-081-1/+2
| | | * | | | reloading and exploiting seems to workDavid Monniaux2020-04-084-13/+28
| | | * | | | fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-082-1/+1
| | | * | | | installed Profiling (not finished)David Monniaux2020-04-081-12/+21
| | | * | | | begin installing profilingDavid Monniaux2020-04-083-1/+9
| | | | |/ / | | | |/| |
| | * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-012-7/+6
| | |\| | | | | | |/ / | | |/| |
| | * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-172-2/+6
| | |\ \ \
| | * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-152-0/+3
| | |\ \ \ \
| | * | | | | CSE3 alias analysisDavid Monniaux2020-03-143-4/+10
| | * | | | | typing and store stuffDavid Monniaux2020-03-121-3/+3
| | * | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-113-10/+10
| | |\ \ \ \ \
| | * | | | | | -fcse3 command line optionDavid Monniaux2020-03-101-1/+3
| | * | | | | | starts compiling but still fakeDavid Monniaux2020-03-103-9/+21
| | * | | | | | CSE3 generate lists of killableDavid Monniaux2020-03-051-1/+1
| | * | | | | | streamlined lattice codeDavid Monniaux2020-03-051-0/+1
| * | | | | | | make sure phases are alignedDavid Monniaux2020-04-231-1/+1
| * | | | | | | simpl -> cbnDavid Monniaux2020-04-221-19/+20
| | |_|_|_|/ / | |/| | | | |
* | | | | | | Branching stub schedulerCyril SIX2020-05-281-5/+11
* | | | | | | RTL -> RTLpath -> RTLCyril SIX2020-05-201-2/+16
|/ / / / / /
* | | | / / -fduplicate -1 really desactivates the pass in Coq nowCyril SIX2020-04-012-7/+6
| |_|_|/ / |/| | | |
generated by cgit (git 2.34.1) at 2024-06-02 23:07:17 +0000