aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * -fduplicate -1 really desactivates the pass in Coq nowCyril SIX2020-04-012-7/+6
* | nop insertion at entrypointDavid Monniaux2020-03-291-15/+23
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-172-2/+6
|\|
| * Desactivating branch predictions by defaultCyril SIX2020-03-172-2/+6
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-152-0/+3
|\|
| * by default do not inline muchDavid Monniaux2020-03-151-1/+1
| * more inliningDavid 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
|\|
| * Fixing buildCyril SIX2020-03-101-1/+1
| * [BROKEN] Replacing the boolean -fduplicate option by an integerCyril SIX2020-03-093-9/+9
* | -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
|/
* Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-036-37/+138
|\
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-142-0/+4
| |\
| | * Added option -ftracelinearize which linearizes based on ifnot branchesCyril SIX2020-02-122-0/+4
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-064-6/+18
| |\|
| | * Added flag to desactivate condition inversionCyril SIX2020-02-032-0/+4
| | * Tail duplication optimization defaulting to offCyril SIX2020-01-272-2/+1
| | * Added a flag to desactivate tail duplicationCyril SIX2020-01-274-6/+15
| * | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2David Monniaux2020-01-284-11/+28
| |\ \ | | |/ | |/|
| * | Added description for forward movesCyril SIX2020-01-171-0/+1
| * | connect forward-moves to compilerDavid Monniaux2020-01-084-6/+20
| * | finish mergeDavid Monniaux2019-12-021-31/+19
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-12-021-5/+25
| |\ \
| | * \ [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-162-1/+2
| | |\ \
| | * \ \ Merge branch 'mppa-work' into mppa-duplicate-rtlCyril SIX2019-10-021-1/+1
| | |\ \ \
| | * | | | Stubs for Duplicate passCyril SIX2019-09-031-28/+36
| * | | | | Merge tag 'v3.6_mppa_2019-09-20' of gricad-gitlab.univ-grenoble-alpes.fr:sixc...David Monniaux2019-09-202-1/+2
| |\ \ \ \ \
| | * | | | | fix compilingDavid Monniaux2019-09-201-0/+4
| | * | | | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-1/+2
| | |\ \ \ \ \ | | | |_|/ / / | | |/| | / / | | | | |/ / | | | |/| |
| * | | | | to v3.6David Monniaux2019-09-201-1/+5
| * | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-201-1/+1
| |\| | | |
| | * | | | Timings for Machblockgen, Asmblockgen and postpass schedulingCyril SIX2019-09-181-1/+1
| | | |/ / | | |/| |
| * / | | -fall-loads-nontrapDavid Monniaux2019-09-094-2/+16
| |/ / /
| * | | helpers broke compilationDavid Monniaux2019-07-191-4/+0
| * | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-194-7/+11
| |\ \ \
| * | | | (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-171-1/+3
| * | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-037-25/+62
| |\ \ \ \
| | * | | | If-conversion optimizationXavier Leroy2019-05-312-2/+10
| * | | | | option -faddx (off by default until questions cleared)David Monniaux2019-05-113-5/+10
| * | | | | Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workDavid Monniaux2019-05-033-0/+5
| |\ \ \ \ \
generated by cgit (git 2.34.1) at 2024-06-02 17:40:35 +0000