Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 5 | -33/+120 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | 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 |
| | | | |||||
| * | | detail | David Monniaux | 2019-05-15 | 1 | -1/+1 |
| | | | |||||
| * | | more lemmas on division | David Monniaux | 2019-05-15 | 1 | -0/+48 |
| | | | |||||
| * | | more lemmas on division | David Monniaux | 2019-05-15 | 1 | -1/+55 |
| |/ | |||||
* | | 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 |
| | |||||
* | some lemmas on division etc. | David Monniaux | 2019-05-14 | 1 | -0/+258 |
| | |||||
* | 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 | 5 | -27/+60 |
| | |||||
* | we directly call 64-bit unsigned division | David Monniaux | 2019-05-13 | 4 | -26/+24 |
| | |||||
* | begin proving that we can use 64-bit division for doing 32 | David Monniaux | 2019-05-13 | 1 | -0/+64 |
| | |||||
* | 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 |
| | |||||
* | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-13 | 1 | -3/+16 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-12 | 3 | -64/+72 |
| |\ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | | directly branch to certain division functions from gcc | David Monniaux | 2019-05-12 | 1 | -3/+16 |
| | | | |||||
* | | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-10 | 3 | -64/+72 |
|\ \ \ | | |/ | |/| | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | | Asmblockgen prologue is now 1 basicblock (instead of 3) | Cyril SIX | 2019-05-10 | 3 | -64/+72 |
| |/ | |||||
* | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-10 | 17 | -81/+5267 |
|\| | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-09 | 3 | -56/+165 |
| |\ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| | * | Exploiting immediate comparisons | Cyril SIX | 2019-05-09 | 2 | -36/+145 |
| | | | |||||
| | * | Replacing tabs by spaces in TargetPrinter | Cyril SIX | 2019-05-09 | 1 | -20/+20 |
| | | | |||||
| * | | DM manual inlining | David Monniaux | 2019-05-09 | 1 | -22/+25 |
| |/ | |||||
| * | smart memcpy for arbitrary sizes | David Monniaux | 2019-05-09 | 2 | -12/+30 |
| | | |||||
| * | with -en (expand main node) | David Monniaux | 2019-05-09 | 6 | -0/+3569 |
| | | |||||
| * | copy 16 by 16 | David Monniaux | 2019-05-09 | 2 | -14/+15 |
| | | |||||
| * | slightly improved memcpy | David Monniaux | 2019-05-09 | 1 | -12/+23 |
| | | |||||
| * | structure copy through 4 byte registers instead of 1 | David Monniaux | 2019-05-09 | 1 | -24/+47 |
| | | |||||
| * | Lustre "convertible" compilé avec -2cgc | David Monniaux | 2019-05-09 | 6 | -0/+1452 |
| | | |||||
* | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-09 | 22 | -81/+2251 |
|\| | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | 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 |
| | | |||||
| * | removed print statements | David Monniaux | 2019-05-08 | 1 | -81/+18 |
| | | |||||
| * | from Lustre v6 examples | David Monniaux | 2019-05-08 | 6 | -0/+1745 |
| | | |||||
| * | simplification d'un code moche pour les variables thread-local | David Monniaux | 2019-05-08 | 1 | -1/+1 |
| | | |||||
| * | generalize bblock_equiv into bblock_simu (abstract_bb) | Sylvain Boulmé | 2019-05-07 | 6 | -73/+59 |
| | |