aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-036-37/+138
|\
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-142-0/+4
| |\
| | * Added option -ftracelinearize which linearizes based on ifnot branchesCyril SIX2020-02-122-0/+4
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-02-064-6/+18
| |\|
| | * Added flag to desactivate condition inversionCyril SIX2020-02-032-0/+4
| | * Tail duplication optimization defaulting to offCyril SIX2020-01-272-2/+1
| | * Added a flag to desactivate tail duplicationCyril SIX2020-01-274-6/+15
| * | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2David Monniaux2020-01-284-11/+28
| |\ \ | | |/ | |/|
| * | 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
| | |\ \ \ \ \ | | | |_|/ / / | | |/| | / / | | | | |/ / | | | |/| |
| * | | | | 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
| |\ \ \
| * | | | (#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
| * | | | | 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
| * | | | | Moved some files to mppa_k1c/lib ; reworked configure and Makefile to allow thatCyril SIX2018-11-261-322/+0
| * | | | | Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-219-93/+202
| |\ \ \ \ \
| * | | | | | Rajout d'un return_address_offset. Besoin de changer forward_simu de mach mac...Cyril SIX2018-09-061-1/+1
| * | | | | | Machblock: some renaming and proof simplificationsCyril SIX2018-09-061-15/+15
| * | | | | | Machblock: adaptation to the generalized ForwardSimulationBlockSylvain Boulmé2018-09-061-8/+103
| * | | | | | Generalization of ForwardSimulationBlockSylvain Boulmé2018-09-061-33/+24
generated by cgit (git 2.34.1) at 2024-06-02 20:39:40 +0000