Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | shortcuts for cmove | David Monniaux | 2019-06-04 | 1 | -1/+1 |
| | |||||
* | keep the .s files | David Monniaux | 2019-06-04 | 1 | -0/+2 |
| | |||||
* | remove old "ternary" stuff | David Monniaux | 2019-06-04 | 5 | -47/+10 |
| | |||||
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into ↵ | David Monniaux | 2019-06-03 | 4 | -4/+159 |
|\ | | | | | | | mppa-if-conversion | ||||
| * | If-conversion optimization | Xavier Leroy | 2019-05-31 | 3 | -1/+156 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | Fix misspellings in messages, man pages, and comments | Xavier Leroy | 2019-05-31 | 1 | -3/+3 |
| | | | | | | | | | | | | This is a manual, partial merge of Github pull request #296 by @Fourchaux. flocq/, cparser/MenhirLib/ and parts of test/ have not been changed because these are local copies and the fixes should be performed upstream. | ||||
* | | use all same exact include filesv3.5_k1c_1.2 | David Monniaux | 2019-06-03 | 1 | -11/+8 |
| | | |||||
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cos | David Monniaux | 2019-05-30 | 1 | -0/+4 |
|\ \ | |||||
| * \ | Merge remote-tracking branch 'origin/mppa-msub' into mppa-work | David Monniaux | 2019-05-30 | 2 | -1/+5 |
| |\ \ | | | | | | | | | | | | | | | | | Conflicts: mppa_k1c/ExtValues.v | ||||
| | * | | begin generating Prevsub etc. from Oxxx to Pxxx | David Monniaux | 2019-05-11 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge branch 'mppa-cos' of ↵ | David Monniaux | 2019-05-30 | 1 | -2/+3 |
|\ \ \ \ | | | | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-cos | ||||
| * | | | | make -j20 instead of xargs -P4 + make -j5 | Cyril SIX | 2019-05-29 | 1 | -2/+3 |
| | | | | | |||||
* | | | | | take other measurements | David Monniaux | 2019-05-29 | 2 | -2/+2 |
|/ / / / | |||||
* | | | | use /usr/bin/env | David Monniaux | 2019-05-29 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cos | David Monniaux | 2019-05-29 | 1 | -0/+1 |
|\| | | | |||||
| * | | | Added rm clock.o and stuff | Cyril SIX | 2019-05-28 | 1 | -0/+1 |
| | | | | |||||
| * | | | use /usr/bin/env bash | David Monniaux | 2019-05-28 | 1 | -1/+1 |
| | | | | |||||
* | | | | adaptation pour k1c-cos | David Monniaux | 2019-05-28 | 11 | -348/+16 |
|/ / / | |||||
* | | | Better graphs | Cyril SIX | 2019-05-21 | 1 | -37/+41 |
| | | | |||||
* | | | Added type annotations to gengraphs.py | Cyril SIX | 2019-05-21 | 1 | -7/+8 |
| | | | |||||
* | | | Added types annotations to genmake.py | Cyril SIX | 2019-05-21 | 1 | -8/+9 |
| | | | |||||
* | | | Premier jet de graphes de mesures (à améliorer) | Cyril SIX | 2019-05-17 | 4 | -4/+97 |
| | | | |||||
* | | | Measures to CSV done | Cyril SIX | 2019-05-17 | 11 | -4/+11 |
| | | | |||||
* | | | Adding more measures | Cyril SIX | 2019-05-17 | 12 | -16/+26 |
| | | | |||||
* | | | simpler code, works in 32 bits | David Monniaux | 2019-05-16 | 1 | -5/+18 |
| | | | |||||
* | | | remet les trucs dans les bons répertoires | David Monniaux | 2019-05-15 | 24 | -0/+0 |
| | | | |||||
* | | | truly inline function as macro to trigger better instruction selection | David Monniaux | 2019-05-15 | 1 | -1/+6 |
| | | | | | | | | | | | | (replace x/2 by x*0.5) | ||||
* | | | compiled with Lustre v4 | David Monniaux | 2019-05-15 | 4 | -0/+512 |
| | | | |||||
* | | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-15 | 7 | -6/+21 |
|\ \ \ | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | | | Measures for bitslices-aes, bitsliced-tea and complex_mat | Cyril SIX | 2019-05-15 | 7 | -6/+21 |
| | | | | |||||
* | | | | renaming | David Monniaux | 2019-05-15 | 24 | -0/+0 |
|/ / / | |||||
* | | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-15 | 6 | -4/+47 |
|\ \ \ | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | | | CSV file generation for benches (only binary_search for now) | Cyril SIX | 2019-05-15 | 6 | -4/+47 |
| | | | | |||||
* | | | | attempt at inlining; not many cycles removed | David Monniaux | 2019-05-15 | 1 | -9/+11 |
|/ / / | |||||
* | | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-15 | 4 | -32/+17 |
|\ \ \ | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | | | Added back bitslices-aes | Cyril SIX | 2019-05-15 | 4 | -32/+17 |
| | | | | |||||
* | | | | Heater example from Lustre v4 | David Monniaux | 2019-05-15 | 2 | -4/+18 |
| | | | | |||||
* | | | | Lustre v4 example | David Monniaux | 2019-05-15 | 8 | -1/+568 |
| | | | | |||||
* | | | | example from Lustre v4 compiled with ONERA's lustrec compiler | David Monniaux | 2019-05-15 | 5 | -0/+679 |
|/ / / | |||||
* | | | Avancement sur la génération de Makefile des benchmarks | Cyril SIX | 2019-05-14 | 34 | -409/+84 |
| | | | |||||
* | | | sum with modulo | David Monniaux | 2019-05-13 | 1 | -0/+18 |
| | | | |||||
* | | | 32-bit modulo now uses sign extend then call to the 64-bit function | David Monniaux | 2019-05-13 | 1 | -1/+1 |
| | | | |||||
* | | | clock the time in heptagon | David Monniaux | 2019-05-13 | 1 | -0/+8 |
| | | | |||||
* | | | new example + moved random number generator to common files | David Monniaux | 2019-05-13 | 16 | -24/+1185 |
|/ / | |||||
* | | DM manual inlining | David Monniaux | 2019-05-09 | 1 | -22/+25 |
| | | |||||
* | | with -en (expand main node) | David Monniaux | 2019-05-09 | 6 | -0/+3569 |
| | | |||||
* | | Lustre "convertible" compilé avec -2cgc | David Monniaux | 2019-05-09 | 6 | -0/+1452 |
| | | |||||
* | | carlightV2 example from Lustre V6 | David Monniaux | 2019-05-08 | 4 | -89/+111 |
| | | |||||
* | | carlight | David Monniaux | 2019-05-08 | 3 | -0/+467 |
| | | |||||
* | | added clock | David Monniaux | 2019-05-08 | 1 | -1/+9 |
| | |