aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Expand)AuthorAgeFilesLines
* Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-161-5/+9
* Adding both RV expansion methods in kvx-workLéo Gourdin2021-05-191-0/+2
* Remove flagsLéo Gourdin2021-04-091-2/+0
* Compiler options to manage expansionsLéo Gourdin2021-03-261-1/+1
* Adding a flag to test fp_init_expLéo Gourdin2021-03-021-0/+1
* Adding a compiler option -fexpanse-rtlcondLéo Gourdin2021-02-161-0/+1
* Conditions now propagated by CSE3David Monniaux2021-01-201-0/+2
|\
| * begin implementing -fcse3-conditionsDavid Monniaux2020-12-091-0/+2
* | Fix --help for prepass (new options)Léo Gourdin2021-01-141-1/+1
* | Fix --help for prepass (default on)Léo Gourdin2021-01-141-1/+1
|/
* Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixedDavid Monniaux2020-12-081-0/+2
|\
| * Error when using -main without -interpXavier Leroy2020-12-061-0/+2
* | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-1/+8
|\ \
| * \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-031-0/+3
| |\ \
| * \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-311-0/+2
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-271-0/+2
| |\ \ \ \
| * | | | | -mtune=David Monniaux2020-10-221-1/+3
| * | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-181-11/+11
| |\ \ \ \ \
| * | | | | | command line selection of prepass schedulerDavid Monniaux2020-07-111-0/+3
| * | | | | | use a command-line optionDavid Monniaux2020-07-081-1/+3
* | | | | | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-11/+4
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | / | | |_|_|_|/ | |/| | | |
| * | | | | Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-301-1/+3
| * | | | | Remove no longer needed option enforce-buildnrBernhard Schommer2020-07-081-10/+1
* | | | | | Loop Rotate with -flooprotateCyril SIX2020-11-031-0/+3
| |_|_|_|/ |/| | | |
* | | | | refining CSE3 nodesDavid Monniaux2020-10-311-0/+2
| |_|_|/ |/| | |
* | | | new option for CSE3 (trivial ops)David Monniaux2020-10-271-0/+2
| |_|/ |/| |
* | | Loop body unrolling with -funrollbody nCyril SIX2020-10-161-0/+2
* | | -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-091-2/+3
| |/ |/|
* | -fcse3-glbDavid Monniaux2020-05-061-0/+2
* | CSE3 across mergesDavid Monniaux2020-05-061-0/+2
* | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-231-1/+4
|\ \
| * | CSE3 across callsDavid Monniaux2020-04-231-1/+3
| * | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-231-0/+1
| |\ \
| | * | make tracing output optionalDavid Monniaux2020-04-231-0/+1
* | | | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-201-0/+6
|\ \ \ \
| * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-201-10/+46
| |\ \ \ \
| * | | | | added -fdiv-i32 and -fdiv-i64 optionsDavid Monniaux2019-05-291-3/+9
* | | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-201-0/+4
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
| * | | | | add options for controlling madd and notrap selectionDavid Monniaux2020-04-191-0/+2
| * | | | | begin adapting for LICM phaseDavid Monniaux2020-04-011-0/+2
| | |_|/ / | |/| | |
* | | | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-2/+8
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | -fbranch-probabilitiesDavid Monniaux2020-04-081-1/+2
| * | | | reloading and exploiting seems to workDavid Monniaux2020-04-081-1/+3
| * | | | fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-081-0/+1
| * | | | begin installing profilingDavid Monniaux2020-04-081-1/+3
| | |/ / | |/| |
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-171-1/+5
|\| | |
| * | | Desactivating branch predictions by defaultCyril SIX2020-03-171-1/+5
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-151-0/+2
|\| | |
generated by cgit (git 2.34.1) at 2024-05-08 20:05:47 +0000