Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | k1c -> kvx changes | David Monniaux | 2020-05-26 | 1 | -1/+1 |
| | |||||
* | -fcse3-glb | David Monniaux | 2020-05-06 | 1 | -0/+1 |
| | |||||
* | CSE3 across merges | David Monniaux | 2020-05-06 | 1 | -0/+1 |
| | |||||
* | Merge branch 'mppa-work' of ↵ | David Monniaux | 2020-04-23 | 1 | -2/+13 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-23 | 1 | -2/+3 |
| |\ | |||||
| | * | CSE3 across calls | David Monniaux | 2020-04-23 | 1 | -1/+2 |
| | | | |||||
| | * | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-23 | 1 | -0/+1 |
| | |\ | |||||
| | | * | make tracing output optional | David Monniaux | 2020-04-23 | 1 | -0/+1 |
| | | | | |||||
| * | | | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-features | David Monniaux | 2020-04-20 | 1 | -0/+2 |
| |\ \ \ | |||||
| | * \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2020-04-20 | 1 | -2/+12 |
| | |\ \ \ | | | | | | | | | | | | | | | | | | | (unfinished) | ||||
| | * | | | | added -fdiv-i32 and -fdiv-i64 options | David Monniaux | 2019-05-29 | 1 | -0/+3 |
| | | | | | | |||||
| * | | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-20 | 1 | -1/+4 |
| |\ \ \ \ \ | | | |_|/ / | | |/| | | | |||||
| | * | | | | add options for controlling madd and notrap selection | David Monniaux | 2020-04-19 | 1 | -1/+3 |
| | | | | | | |||||
| | * | | | | activate LICM | David Monniaux | 2020-04-19 | 1 | -1/+1 |
| | | | | | | |||||
| | * | | | | begin adapting for LICM phase | David Monniaux | 2020-04-01 | 1 | -0/+1 |
| | | |_|/ | | |/| | | |||||
| * | | | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-features | David Monniaux | 2020-04-12 | 1 | -0/+3 |
| |\ \ \ \ | | |/ / / | |/| | | | |||||
| | * | | | reloading and exploiting seems to work | David Monniaux | 2020-04-08 | 1 | -0/+1 |
| | | | | | |||||
| | * | | | fixed a bug in support libraries; reload profiling info | David Monniaux | 2020-04-08 | 1 | -1/+0 |
| | | | | | |||||
| | * | | | begin installing profiling | David Monniaux | 2020-04-08 | 1 | -0/+3 |
| | | |/ | | |/| | |||||
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-03-17 | 1 | -1/+1 |
| |\| | | |||||
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-03-15 | 1 | -0/+1 |
| |\ \ \ | |||||
| * | | | | CSE3 alias analysis | David Monniaux | 2020-03-14 | 1 | -2/+3 |
| | | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-03-11 | 1 | -2/+2 |
| |\ \ \ \ | |||||
| * | | | | | starts compiling but still fake | David Monniaux | 2020-03-10 | 1 | -0/+1 |
| | | | | | | |||||
* | | | | | | make sure phases are aligned | David Monniaux | 2020-04-23 | 1 | -1/+1 |
| |_|_|/ / |/| | | | | |||||
* | | | | | Desactivating branch predictions by default | Cyril SIX | 2020-03-17 | 1 | -1/+1 |
| |_|/ / |/| | | | |||||
* | | | | by default do not inline much | David Monniaux | 2020-03-15 | 1 | -1/+1 |
| | | | | |||||
* | | | | more inlining | David Monniaux | 2020-03-15 | 1 | -0/+1 |
| |/ / |/| | | |||||
* | | | [BROKEN] Replacing the boolean -fduplicate option by an integer | Cyril SIX | 2020-03-09 | 1 | -2/+2 |
|/ / | | | | | | | To control the threshold for duplication | ||||
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-02-14 | 1 | -0/+1 |
|\ \ | |||||
| * | | Added option -ftracelinearize which linearizes based on ifnot branches | Cyril SIX | 2020-02-12 | 1 | -0/+1 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-02-06 | 1 | -0/+2 |
|\| | | |||||
| * | | Added flag to desactivate condition inversion | Cyril SIX | 2020-02-03 | 1 | -0/+1 |
| | | | |||||
| * | | Tail duplication optimization defaulting to off | Cyril SIX | 2020-01-27 | 1 | -1/+1 |
| | | | |||||
| * | | Added a flag to desactivate tail duplication | Cyril SIX | 2020-01-27 | 1 | -0/+1 |
| | | | |||||
* | | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2 | David Monniaux | 2020-01-28 | 1 | -0/+1 |
|\ \ \ | |/ / |/| | | |||||
| * | | connected (just a silly problem) | David Monniaux | 2020-01-28 | 1 | -0/+1 |
| | | | |||||
* | | | connect forward-moves to compiler | David Monniaux | 2020-01-08 | 1 | -1/+2 |
| | | | |||||
* | | | -fall-loads-nontrap | David Monniaux | 2019-09-09 | 1 | -0/+1 |
| | | | |||||
* | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into ↵ | David Monniaux | 2019-07-19 | 1 | -1/+1 |
|\| | | | | | | | | | | | mppa-work-upstream-merge | ||||
| * | | Rename option `-ffavor-branchless` into `-Obranchless` | Xavier Leroy | 2019-07-05 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | Easier to type, and consistent with `-Os` (optimize for smaller code / optimize for fewer conditional branches). | ||||
| * | | If-conversion optimization | Xavier Leroy | 2019-06-06 | 1 | -0/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
* | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into ↵ | David Monniaux | 2019-06-03 | 1 | -0/+3 |
|\ \ \ | | | | | | | | | | | | | mppa-if-conversion | ||||
| * | | | If-conversion optimization | Xavier Leroy | 2019-05-31 | 1 | -0/+2 |
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | | Added options -fcommon and -fno-common (#164) | Bernhard Schommer | 2019-05-10 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The option -fcommon controls whether uninitialized global variables are placed in the COMMON section. If the option is given in the negated form, -fno-common, variables are not placed in the COMMON section. They are placed in the same sections as gcc does. If the variables are not placed in the COMMON section merging of tentative definitions is inhibited and multiple definitions lead to a linker error, as it does for gcc. | ||||
* | | | option -faddx (off by default until questions cleared) | David Monniaux | 2019-05-11 | 1 | -1/+2 |
| |/ |/| | |||||
* | | -fcoalesce-mem | David Monniaux | 2019-05-03 | 1 | -0/+1 |
| | | |||||
* | | Merge branch 'mppa-xsaddr' into mppa-work | David Monniaux | 2019-05-02 | 1 | -0/+4 |
|\ \ | |||||
| * | | command line options (still incomplete) | David Monniaux | 2019-05-02 | 1 | -0/+4 |
| | | | |||||
* | | | The scheduler selection works, but the argument is not optional yet ↵ | Cyril SIX | 2019-04-29 | 1 | -1/+1 |
|/ / | | | | | | | (-fpostpass nameofscheduler) |