Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Fixing build | Cyril SIX | 2020-03-10 | 1 | -1/+1 | |
| | | | ||||||
* | | | [BROKEN] Replacing the boolean -fduplicate option by an integer | Cyril SIX | 2020-03-09 | 3 | -9/+9 | |
|/ / | | | | | | | To control the threshold for duplication | |||||
* | | Merge branch 'mppa-cse2' of ↵ | David Monniaux | 2020-03-03 | 6 | -37/+138 | |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | |||||
| * \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-02-14 | 2 | -0/+4 | |
| |\ \ | ||||||
| | * | | Added option -ftracelinearize which linearizes based on ifnot branches | Cyril SIX | 2020-02-12 | 2 | -0/+4 | |
| | | | | ||||||
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-02-06 | 4 | -6/+18 | |
| |\| | | ||||||
| | * | | Added flag to desactivate condition inversion | Cyril SIX | 2020-02-03 | 2 | -0/+4 | |
| | | | | ||||||
| | * | | Tail duplication optimization defaulting to off | Cyril SIX | 2020-01-27 | 2 | -2/+1 | |
| | | | | ||||||
| | * | | Added a flag to desactivate tail duplication | Cyril SIX | 2020-01-27 | 4 | -6/+15 | |
| | | | | ||||||
| * | | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2 | David Monniaux | 2020-01-28 | 4 | -11/+28 | |
| |\ \ \ | | |/ / | |/| | | ||||||
| * | | | Added description for forward moves | Cyril SIX | 2020-01-17 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | connect forward-moves to compiler | David Monniaux | 2020-01-08 | 4 | -6/+20 | |
| | | | | ||||||
| * | | | finish merge | David Monniaux | 2019-12-02 | 1 | -31/+19 | |
| | | | | ||||||
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-load | David Monniaux | 2019-12-02 | 1 | -5/+25 | |
| |\ \ \ | ||||||
| | * \ \ | [regression to check!] Merge tag 'v3.6' into mppa-work | Cyril SIX | 2019-10-16 | 2 | -1/+2 | |
| | |\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: .gitignore backend/Lineartyping.v common/Values.v configure cparser/Machine.ml cparser/Machine.mli driver/Configuration.ml driver/Frontend.ml runtime/Makefile test/c/Makefile test/c/aes.c test/compression/Makefile test/regression/Makefile test/regression/extasm.c test/regression/floats-basics.c test/regression/floats.c Note : test/regression should be checked, didn't test it yet | |||||
| | * \ \ \ | Merge branch 'mppa-work' into mppa-duplicate-rtl | Cyril SIX | 2019-10-02 | 1 | -1/+1 | |
| | |\ \ \ \ | ||||||
| | * | | | | | Stubs for Duplicate pass | Cyril SIX | 2019-09-03 | 1 | -28/+36 | |
| | | | | | | | ||||||
| * | | | | | | Merge tag 'v3.6_mppa_2019-09-20' of ↵ | David Monniaux | 2019-09-20 | 2 | -1/+2 | |
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-non-trapping-load | |||||
| | * | | | | | | fix compiling | David Monniaux | 2019-09-20 | 1 | -0/+4 | |
| | | | | | | | | ||||||
| | * | | | | | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into ↵ | David Monniaux | 2019-09-20 | 2 | -1/+2 | |
| | |\ \ \ \ \ \ | | | |_|/ / / / | | |/| | / / / | | | | |/ / / | | | |/| | | | mppa-work-upstream-merge | |||||
| * | | | | | | to v3.6 | David Monniaux | 2019-09-20 | 1 | -1/+5 | |
| | | | | | | | ||||||
| * | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-load | David Monniaux | 2019-09-20 | 1 | -1/+1 | |
| |\| | | | | | ||||||
| | * | | | | | Timings for Machblockgen, Asmblockgen and postpass scheduling | Cyril SIX | 2019-09-18 | 1 | -1/+1 | |
| | | |/ / / | | |/| | | | ||||||
| * / | | | | -fall-loads-nontrap | David Monniaux | 2019-09-09 | 4 | -2/+16 | |
| |/ / / / | ||||||
| * | | | | helpers broke compilation | David Monniaux | 2019-07-19 | 1 | -4/+0 | |
| | | | | | ||||||
| * | | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into ↵ | David Monniaux | 2019-07-19 | 4 | -7/+11 | |
| |\ \ \ \ | | | | | | | | | | | | | | | | | | | mppa-work-upstream-merge | |||||
| * | | | | | (#142) Desactivating scheduling when using -O1 optimization | Cyril SIX | 2019-07-17 | 1 | -1/+3 | |
| | | | | | | ||||||
| * | | | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into ↵ | David Monniaux | 2019-06-03 | 7 | -25/+62 | |
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | mppa-if-conversion | |||||
| | * | | | | | If-conversion optimization | Xavier Leroy | 2019-05-31 | 2 | -2/+10 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Extends the instruction selection pass with an if-conversion optimization: some if/then/else statements are converted into "select" operations, which in turn can be compiled down to branchless instruction sequences if the target architecture supports them. The statements that are converted are of the form if (cond) { x = a1; } else { x = a2; } if (cond) { x = a1; } if (cond) { /*skip*/; } else { x = a2; } where a1, a2 are "safe" expressions, containing no operations that can fail at run-time, such as memory loads or integer divisions. A heuristic in backend/Selectionaux.ml controls when the optimization occurs, depending on command-line flags and the complexity of the "then" and "else" branches. | |||||
| * | | | | | | option -faddx (off by default until questions cleared) | David Monniaux | 2019-05-11 | 3 | -5/+10 | |
| | |_|_|_|/ | |/| | | | | ||||||
| * | | | | | Merge remote-tracking branch 'origin/mppa-peephole' into mppa-work | David Monniaux | 2019-05-03 | 3 | -0/+5 | |
| |\ \ \ \ \ | ||||||
| | * | | | | | -fcoalesce-mem | David Monniaux | 2019-05-03 | 3 | -0/+5 | |
| | | | | | | | ||||||
| * | | | | | | Renaming "dumb" scheduling into "greedy" | Cyril SIX | 2019-05-03 | 1 | -1/+1 | |
| |/ / / / / | ||||||
| * | | | | | Merge branch 'mppa-xsaddr' into mppa-work | David Monniaux | 2019-05-02 | 3 | -0/+16 | |
| |\ \ \ \ \ | ||||||
| | * | | | | | command line options (still incomplete) | David Monniaux | 2019-05-02 | 3 | -0/+16 | |
| | | | | | | | ||||||
| * | | | | | | Setting fpostpass= option | Cyril SIX | 2019-04-30 | 1 | -6/+8 | |
| | | | | | | | ||||||
| * | | | | | | The scheduler selection works, but the argument is not optional yet ↵ | Cyril SIX | 2019-04-29 | 2 | -3/+6 | |
| |/ / / / / | | | | | | | | | | | | | | | | | | | (-fpostpass nameofscheduler) | |||||
| * | | | | | -fpostpass-ilp | David Monniaux | 2019-03-12 | 2 | -4/+0 | |
| | | | | | | ||||||
| * | | | | | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-03-12 | 2 | -0/+4 | |
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | |||||
| | * | | | | | Added cascaded_scheduler but the flag does not work | Cyril SIX | 2019-03-12 | 1 | -2/+3 | |
| | | | | | | | ||||||
| | * | | | | | Added a flag for changing the scheduler (not any choice available right now) | Cyril SIX | 2019-03-12 | 3 | -0/+6 | |
| | | | | | | | ||||||
| * | | | | | | -fpostpass-ilp | David Monniaux | 2019-03-12 | 2 | -0/+3 | |
| |/ / / / / | ||||||
| * | | | | | Added long double = double by default on Kalray architecture | Cyril SIX | 2019-03-01 | 1 | -1/+1 | |
| | | | | | | ||||||
| * | | | | | -O0 will not perform postpass scheduling | Cyril SIX | 2019-01-18 | 3 | -1/+7 | |
| | | | | | | ||||||
| * | | | | | Compiles for x86 and mppa_k1c (except Asmexpandaux.ml) | Sylvain Boulmé | 2018-11-27 | 1 | -1/+1 | |
| | | | | | | ||||||
| * | | | | | BROKEN - works for x86, not for k1 anymore | Cyril SIX | 2018-11-26 | 1 | -1/+1 | |
| | | | | | | ||||||
| * | | | | | Moved some files to mppa_k1c/lib ; reworked configure and Makefile to allow that | Cyril SIX | 2018-11-26 | 1 | -322/+0 | |
| | | | | | | ||||||
| * | | | | | Merge tag 'v3.4' into mppa_k1c | Cyril SIX | 2018-11-21 | 9 | -93/+202 | |
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: .gitignore | |||||
| * | | | | | | Rajout d'un return_address_offset. Besoin de changer forward_simu de mach ↵ | Cyril SIX | 2018-09-06 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | machblock | |||||
| * | | | | | | Machblock: some renaming and proof simplifications | Cyril SIX | 2018-09-06 | 1 | -15/+15 | |
| | | | | | | |