aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Premier jet de graphes de mesures (à améliorer)Cyril SIX2019-05-174-4/+97
|
* Measures to CSV doneCyril SIX2019-05-1711-4/+11
|
* Desactivating the "one instruction per bundle" failsafeCyril SIX2019-05-171-0/+3
|
* Adding more measuresCyril SIX2019-05-1712-16/+26
|
* Merge branch 'mppa_k1c' into mppa-abstractbb-devCyril SIX2019-05-1743-64/+614
|\
| * simpler code, works in 32 bitsDavid Monniaux2019-05-161-5/+18
| |
| * directly call float and double division from gcc lib instead of a stubDavid Monniaux2019-05-152-42/+2
| |
| * remet les trucs dans les bons répertoiresDavid Monniaux2019-05-1524-0/+0
| |
| * truly inline function as macro to trigger better instruction selectionDavid Monniaux2019-05-151-1/+6
| | | | | | | | (replace x/2 by x*0.5)
| * compiled with Lustre v4David Monniaux2019-05-154-0/+512
| |
| * Merge branch 'mppa-work' of ↵David Monniaux2019-05-157-6/+21
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| | * Measures for bitslices-aes, bitsliced-tea and complex_matCyril SIX2019-05-157-6/+21
| | |
| * | renamingDavid Monniaux2019-05-1524-0/+0
| |/
| * Merge branch 'mppa-work' of ↵David Monniaux2019-05-156-4/+47
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| | * CSV file generation for benches (only binary_search for now)Cyril SIX2019-05-156-4/+47
| | |
| * | attempt at inlining; not many cycles removedDavid Monniaux2019-05-151-9/+11
| |/
* | improving the scheduling verifier and its frameworkSylvain Boulmé2019-05-162-36/+149
| |
* | Merge branch 'mppa-work' into mppa-abstractbb-devSylvain Boulmé2019-05-1648-436/+1458
|\|
| * Merge branch 'mppa-work' of ↵David Monniaux2019-05-155-33/+120
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| | * Merge branch 'mppa-work' of ↵David Monniaux2019-05-154-32/+17
| | |\ | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| | | * Added back bitslices-aesCyril SIX2019-05-154-32/+17
| | | |
| | * | detailDavid Monniaux2019-05-151-1/+1
| | | |
| | * | more lemmas on divisionDavid Monniaux2019-05-151-0/+48
| | | |
| | * | more lemmas on divisionDavid Monniaux2019-05-151-1/+55
| | |/
| * | Heater example from Lustre v4David Monniaux2019-05-152-4/+18
| | |
| * | Lustre v4 exampleDavid Monniaux2019-05-158-1/+568
| | |
| * | example from Lustre v4 compiled with ONERA's lustrec compilerDavid Monniaux2019-05-155-0/+679
| |/
| * Avancement sur la génération de Makefile des benchmarksCyril SIX2019-05-1434-409/+84
| |
* | abstractbb: support of removing useless computationsSylvain Boulmé2019-05-147-299/+481
|/
* some lemmas on division etc.David Monniaux2019-05-141-0/+258
|
* sum with moduloDavid Monniaux2019-05-131-0/+18
|
* 32-bit modulo now uses sign extend then call to the 64-bit functionDavid Monniaux2019-05-135-27/+60
|
* we directly call 64-bit unsigned divisionDavid Monniaux2019-05-134-26/+24
|
* begin proving that we can use 64-bit division for doing 32David Monniaux2019-05-131-0/+64
|
* clock the time in heptagonDavid Monniaux2019-05-131-0/+8
|
* new example + moved random number generator to common filesDavid Monniaux2019-05-1316-24/+1185
|
* Merge branch 'mppa-work' of ↵David Monniaux2019-05-131-3/+16
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * Merge branch 'mppa-work' of ↵David Monniaux2019-05-123-64/+72
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * | directly branch to certain division functions from gccDavid Monniaux2019-05-121-3/+16
| | |
* | | Merge branch 'mppa-work' of ↵David Monniaux2019-05-103-64/+72
|\ \ \ | | |/ | |/| | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * | Asmblockgen prologue is now 1 basicblock (instead of 3)Cyril SIX2019-05-103-64/+72
| |/
* | Merge branch 'mppa-work' of ↵David Monniaux2019-05-1017-81/+5267
|\| | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * Merge branch 'mppa-work' of ↵David Monniaux2019-05-093-56/+165
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| | * Exploiting immediate comparisonsCyril SIX2019-05-092-36/+145
| | |
| | * Replacing tabs by spaces in TargetPrinterCyril SIX2019-05-091-20/+20
| | |
| * | DM manual inliningDavid Monniaux2019-05-091-22/+25
| |/
| * smart memcpy for arbitrary sizesDavid Monniaux2019-05-092-12/+30
| |
| * with -en (expand main node)David Monniaux2019-05-096-0/+3569
| |
| * copy 16 by 16David Monniaux2019-05-092-14/+15
| |
| * slightly improved memcpyDavid Monniaux2019-05-091-12/+23
| |
generated by cgit (git 2.34.1) at 2024-07-12 05:26:50 +0000