aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssaDavid Monniaux2020-11-032-0/+4
|\
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-032-0/+4
| |\
| | * Loop Rotate with -flooprotateCyril SIX2020-11-032-0/+4
* | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-11-024-2/+24
|\ \ \
| * | | does not catch itDavid Monniaux2020-10-303-0/+5
| * | | SSA chain makes it possible to rerun CSE3 afterDavid Monniaux2020-10-304-2/+20
* | | | Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssaDavid Monniaux2020-10-312-0/+3
|\ \ \ \ | | |/ / | |/| |
| * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-312-0/+3
| |\ \ \ | | | |/ | | |/|
| | * | refining CSE3 nodesDavid Monniaux2020-10-312-0/+3
| | * | deactivate LICMDavid Monniaux2020-10-281-1/+1
* | | | Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-10-284-1/+557
|\ \ \ \ | |/ / / |/| | / | | |/ | |/|
| * | deactivate LICMDavid Monniaux2020-10-281-1/+1
| * | SSA chain now integrated with oursDavid Monniaux2020-10-281-93/+21
| * | begin split passes to insert SSADavid Monniaux2020-10-281-0/+8
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-10-274-17/+27
| |\|
| * | test SSADavid Monniaux2020-07-221-1/+1
| * | use cbn not simplDavid Monniaux2020-07-171-24/+24
| * | compile with "admitteds" wrt loadsDavid Monniaux2020-07-171-7/+7
| * | Merge branch 'ssa' of https://gitlab.inria.fr/compcertssa/compcertssa into kv...David Monniaux2020-07-174-1/+611
| |\ \
| | * | Global renaming of files in the middle-endDelphine Demange2020-07-082-20/+20
| | * | Adding corollaries about CompcertSSADelphine Demange2020-07-082-4/+174
| | * | Merge tag 'v3.7' into ssaDEMANGE Delphine2020-06-171-2/+2
| | |\ \
| | * \ \ Merge tag 'v3.6' into ssaDEMANGE Delphine2020-06-178-29/+67
| | |\ \ \
| | * \ \ \ Merge tag 'v3.4' into ssaDEMANGE Delphine2020-06-168-18/+20
| | |\ \ \ \
| | * \ \ \ \ Merge tag 'v3.3' into ssaDEMANGE Delphine2020-06-1612-251/+357
| | |\ \ \ \ \
| | * | | | | | SSA middle-end for compcert v3.2DEMANGE Delphine2020-06-123-1/+431
* | | | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-271-0/+1
|\ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ | |/| | | | | |
| * | | | | | | Merge branch 'kvx-work' into duplicate-paramCyril SIX2020-10-273-0/+7
| |\ \ \ \ \ \ \
| * | | | | | | | Reworked Duplicate to be parametrizedCyril SIX2020-10-271-0/+1
* | | | | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-273-0/+7
|\ \ \ \ \ \ \ \ \ | | |/ / / / / / / | |/| | | | | | |
| * | | | | | | | new option for CSE3 (trivial ops)David Monniaux2020-10-273-0/+7
| |/ / / / / / /
* | | | | | | | deactivate LICM by defaultDavid Monniaux2020-10-271-1/+1
* | | | | | | | -mtune=David Monniaux2020-10-222-1/+5
* | | | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-183-17/+22
|\| | | | | | |
| * | | | | | | Loop body unrolling with -funrollbody nCyril SIX2020-10-162-0/+3
| * | | | | | | -O0 desactivates -fpredict and -ftracelinearizeCyril SIX2020-10-141-0/+1
| * | | | | | | Updated --helpCyril SIX2020-10-141-9/+5
| * | | | | | | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd...Cyril SIX2020-10-092-5/+10
| * | | | | | | Changing duplicate verifier to be non optionalCyril SIX2020-10-091-3/+0
| |/ / / / / /
* | | | | | | command line selection of prepass schedulerDavid Monniaux2020-07-112-0/+4
* | | | | | | use a command-line optionDavid Monniaux2020-07-082-1/+4
* | | | | | | RTLpathSchedulerproof.all_fundef_liveness_ok is a hypothesis againCyril SIX2020-06-091-0/+2
* | | | | | | 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
| | | |\ \ \ \ \ \
generated by cgit (git 2.34.1) at 2024-06-13 08:05:12 +0000