aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Compopts.v
Commit message (Expand)AuthorAgeFilesLines
* begin implementing -fcse3-conditionsDavid Monniaux2020-12-091-0/+3
* new option for CSE3 (trivial ops)David Monniaux2020-10-271-0/+3
* Changing duplicate verifier to be non optionalCyril SIX2020-10-091-3/+0
* -fcse3-glbDavid Monniaux2020-05-061-0/+3
* CSE3 across mergesDavid Monniaux2020-05-061-0/+3
* Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-231-1/+4
|\
| * CSE3 across callsDavid Monniaux2020-04-231-1/+4
* | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-201-0/+6
|\|
| * add options for controlling madd and notrap selectionDavid Monniaux2020-04-191-0/+3
| * begin adapting for LICM phaseDavid Monniaux2020-04-011-0/+3
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-011-2/+1
| |\
* | \ Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-0/+6
|\ \ \
| * | | reloading and exploiting seems to workDavid Monniaux2020-04-081-0/+3
| * | | begin installing profilingDavid Monniaux2020-04-081-0/+3
| | |/ | |/|
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-011-2/+1
|\| | | |/ |/|
| * -fduplicate -1 really desactivates the pass in Coq nowCyril SIX2020-04-011-2/+1
* | CSE3 alias analysisDavid Monniaux2020-03-141-0/+3
* | starts compiling but still fakeDavid Monniaux2020-03-101-0/+3
|/
* Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-061-0/+4
|\
| * Added a flag to desactivate tail duplicationCyril SIX2020-01-271-0/+4
* | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2David Monniaux2020-01-281-0/+3
|\ \ | |/ |/|
| * connected (just a silly problem)David Monniaux2020-01-281-0/+3
* | connect forward-moves to compilerDavid Monniaux2020-01-081-0/+3
* | to v3.6David Monniaux2019-09-201-1/+5
* | -fall-loads-nontrapDavid Monniaux2019-09-091-0/+3
* | option -faddx (off by default until questions cleared)David Monniaux2019-05-111-3/+6
* | -fcoalesce-memDavid Monniaux2019-05-031-0/+3
* | command line options (still incomplete)David Monniaux2019-05-021-0/+9
* | -fpostpass-ilpDavid Monniaux2019-03-121-3/+0
* | Added a flag for changing the scheduler (not any choice available right now)Cyril SIX2019-03-121-0/+3
* | -O0 will not perform postpass schedulingCyril SIX2019-01-181-0/+3
|/
* Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-231-0/+3
* Add flags to control individual optimization passes + flag -O0 for turning th...Xavier Leroy2014-11-161-1/+10
* ARM port: add support for Thumb2. To be tested.xleroy2014-07-271-1/+2
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-0/+33
generated by cgit (git 2.34.1) at 2024-05-09 01:22:26 +0000