aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Added a flag to desactivate tail duplicationCyril SIX2020-01-274-6/+15
* 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
| |\ \ \ \ | | |_|/ / | |/| | / | | | |/ | | |/|
| | * | AArch64 portXavier Leroy2019-08-082-1/+2
* | | | to v3.6David Monniaux2019-09-201-1/+5
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-201-1/+1
|\| | |
| * | | Timings for Machblockgen, Asmblockgen and postpass schedulingCyril SIX2019-09-181-1/+1
| | |/ | |/|
* / | -fall-loads-nontrapDavid Monniaux2019-09-094-2/+16
|/ /
* | helpers broke compilationDavid Monniaux2019-07-191-4/+0
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-194-7/+11
|\|
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-171-1/+1
| * -O0 now implies -fno-inliningMichael Schmidt2019-07-091-1/+1
| * Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-2/+2
| * Update documentation of -ObranchlessXavier Leroy2019-07-051-1/+1
| * Rename option `-ffavor-branchless` into `-Obranchless`Xavier Leroy2019-07-052-4/+4
| * If-conversion optimizationXavier Leroy2019-06-062-2/+10
* | (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-171-1/+3
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-037-25/+62
|\ \
| * | If-conversion optimizationXavier Leroy2019-05-312-2/+10
| |/
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-312-3/+3
| * Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-102-0/+3
| * Change to AbsInt version string.Bernhard Schommer2019-05-101-2/+2
| * Expand the responsefiles earlierBernhard Schommer2019-05-103-13/+13
| * Check for alignment of command-line switches.Bernhard Schommer2019-05-101-3/+7
| * Define macros with CompCert's version number (#284)Xavier Leroy2019-03-271-2/+24
* | option -faddx (off by default until questions cleared)David Monniaux2019-05-113-5/+10
* | Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workDavid Monniaux2019-05-033-0/+5
|\ \
| * | -fcoalesce-memDavid Monniaux2019-05-033-0/+5
* | | Renaming "dumb" scheduling into "greedy"Cyril SIX2019-05-031-1/+1
|/ /
* | Merge branch 'mppa-xsaddr' into mppa-workDavid Monniaux2019-05-023-0/+16
|\ \
| * | command line options (still incomplete)David Monniaux2019-05-023-0/+16
* | | Setting fpostpass= optionCyril SIX2019-04-301-6/+8
* | | The scheduler selection works, but the argument is not optional yet (-fpostpa...Cyril SIX2019-04-292-3/+6
|/ /
* | -fpostpass-ilpDavid Monniaux2019-03-122-4/+0
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-03-122-0/+4
|\ \
| * | Added cascaded_scheduler but the flag does not workCyril SIX2019-03-121-2/+3
| * | Added a flag for changing the scheduler (not any choice available right now)Cyril SIX2019-03-123-0/+6
* | | -fpostpass-ilpDavid Monniaux2019-03-122-0/+3
|/ /
* | Added long double = double by default on Kalray architectureCyril SIX2019-03-011-1/+1
* | -O0 will not perform postpass schedulingCyril SIX2019-01-183-1/+7
* | Compiles for x86 and mppa_k1c (except Asmexpandaux.ml)Sylvain Boulmé2018-11-271-1/+1
* | BROKEN - works for x86, not for k1 anymoreCyril SIX2018-11-261-1/+1
generated by cgit (git 2.34.1) at 2024-06-12 18:30:41 +0000