aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Clflags.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'towards_2.10' of ../towards_3.10 into kvx-workDavid Monniaux2021-09-301-1/+0
|\
| * Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-1/+0
| |\
| | * Native support for bit fields (#400)Xavier Leroy2021-08-221-1/+0
* | | activate non trapping loads on the KVXDavid Monniaux2021-09-281-1/+1
|/ /
* | - make non trapping loads in scheduling dependent on option (which was ignore...David Monniaux2021-09-141-1/+1
* | activate register pressure by defaultDavid Monniaux2021-07-161-1/+1
* | use a more recognizable option nameDavid Monniaux2021-07-161-1/+1
* | Change temporary solution (see prev commits), and add option for itnicolas.nardino2021-06-281-0/+1
* | Changed default threshold value following testsnicolas.nardino2021-06-221-1/+1
* | Add option to set thresold and support for riscvnicolas.nardino2021-06-171-0/+1
* | 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-1/+3
|\ \
| * | begin implementing -fcse3-conditionsDavid Monniaux2020-12-091-0/+2
| * | CSE3 compiles again, but some admitted lemmasDavid Monniaux2020-12-091-1/+1
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-081-0/+1
| |\ \
| * | | start checking for bugsDavid Monniaux2020-12-021-1/+1
* | | | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-171-0/+1
|\ \ \ \ | | |/ / | |/| |
| * | | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-0/+7
| |\| |
| * | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-0/+1
| |\ \ \ | | | |/ | | |/|
| | * | Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-301-0/+1
* | | | set prepass by defaultDavid Monniaux2020-11-271-1/+1
| |_|/ |/| |
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-031-0/+1
|\| |
| * | Loop Rotate with -flooprotateCyril SIX2020-11-031-0/+1
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-311-0/+1
|\| |
| * | refining CSE3 nodesDavid Monniaux2020-10-311-0/+1
| * | deactivate LICMDavid Monniaux2020-10-281-1/+1
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-271-0/+2
|\| |
| * | new option for CSE3 (trivial ops)David Monniaux2020-10-271-0/+2
* | | deactivate LICM by defaultDavid Monniaux2020-10-271-1/+1
* | | -mtune=David Monniaux2020-10-221-0/+2
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-181-3/+11
|\| |
| * | Loop body unrolling with -funrollbody nCyril SIX2020-10-161-0/+1
| * | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd...Cyril SIX2020-10-091-3/+7
* | | command line selection of prepass schedulerDavid Monniaux2020-07-111-0/+1
* | | use a command-line optionDavid Monniaux2020-07-081-0/+1
|/ /
* | k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* | -fcse3-glbDavid Monniaux2020-05-061-0/+1
* | CSE3 across mergesDavid Monniaux2020-05-061-0/+1
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-04-231-2/+13
|\ \
| * \ Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-231-2/+3
| |\ \
| | * | CSE3 across callsDavid Monniaux2020-04-231-1/+2
| | * | 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/+2
| |\ \ \ \
| | * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-201-2/+12
| | |\ \ \ \
| | * | | | | added -fdiv-i32 and -fdiv-i64 optionsDavid Monniaux2019-05-291-0/+3
generated by cgit (git 2.34.1) at 2024-05-08 18:44:55 +0000