aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* 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
|\| | | |/ |/|
| * -fduplicate -1 really desactivates the pass in Coq nowCyril SIX2020-04-012-7/+6
* | 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
generated by cgit (git 2.34.1) at 2024-06-12 22:01:13 +0000