aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Dans test/mppa : changer k1-mbr-gcc en k1-cos-gccCyril SIX2019-06-176-8/+12
|
* Towards supporting the CompCert tests (not finished)Cyril SIX2019-06-142-10/+14
|
* for zlibDavid Monniaux2019-06-074-2/+34
|
* zlib-1.2.11David Monniaux2019-06-0729-0/+14142
|
* c'est pas non plus ça la lenteurDavid Monniaux2019-06-071-1/+7
|
* réseau de neuronesDavid Monniaux2019-06-075-0/+811
|
* add clockingDavid Monniaux2019-06-071-0/+12
|
* tiff exampleDavid Monniaux2019-06-074-38/+17
|
* libtiff, beginDavid Monniaux2019-06-0759-0/+42962
|
* compilationDavid Monniaux2019-06-062-0/+38
|
* added clockedDavid Monniaux2019-06-067-0/+1670
|
* timings for glpsolDavid Monniaux2019-06-063-0/+348
|
* GLPK 4.65David Monniaux2019-06-06281-0/+126536
|
* timingsDavid Monniaux2019-06-061-1/+16
|
* print clock infoDavid Monniaux2019-06-062-0/+27
|
* compiles and linksDavid Monniaux2019-06-061-1/+9
|
* for compiling cjpeg/djpegDavid Monniaux2019-06-062-308/+328
|
* fix measuresDavid Monniaux2019-06-061-7/+7
|
* some more benchmarksDavid Monniaux2019-06-069-27/+60
|
* attempt at -O1David Monniaux2019-06-061-1/+5
|
* add version.h, prims.cDavid Monniaux2019-06-063-1/+1160
|
* disable large benchmarks that rely on heap saturation and other limitsDavid Monniaux2019-06-052-10/+14
|
* shortcuts for cmoveDavid Monniaux2019-06-041-1/+1
|
* keep the .s filesDavid Monniaux2019-06-041-0/+2
|
* remove old "ternary" stuffDavid Monniaux2019-06-045-47/+10
|
* Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into ↵David Monniaux2019-06-034-4/+159
|\ | | | | | | mppa-if-conversion
| * If-conversion optimizationXavier Leroy2019-05-313-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 commentsXavier Leroy2019-05-311-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.2David Monniaux2019-06-031-11/+8
| |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cosDavid Monniaux2019-05-301-0/+4
|\ \
| * \ Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-302-1/+5
| |\ \ | | | | | | | | | | | | | | | | Conflicts: mppa_k1c/ExtValues.v
| | * | begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-1/+1
| | | |
* | | | Merge branch 'mppa-cos' of ↵David Monniaux2019-05-301-2/+3
|\ \ \ \ | | | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-cos
| * | | | make -j20 instead of xargs -P4 + make -j5Cyril SIX2019-05-291-2/+3
| | | | |
* | | | | take other measurementsDavid Monniaux2019-05-292-2/+2
|/ / / /
* | | | use /usr/bin/envDavid Monniaux2019-05-291-1/+1
| | | |
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cosDavid Monniaux2019-05-291-0/+1
|\| | |
| * | | Added rm clock.o and stuffCyril SIX2019-05-281-0/+1
| | | |
| * | | use /usr/bin/env bashDavid Monniaux2019-05-281-1/+1
| | | |
* | | | adaptation pour k1c-cosDavid Monniaux2019-05-2811-348/+16
|/ / /
* | | Better graphsCyril SIX2019-05-211-37/+41
| | |
* | | Added type annotations to gengraphs.pyCyril SIX2019-05-211-7/+8
| | |
* | | Added types annotations to genmake.pyCyril SIX2019-05-211-8/+9
| | |
* | | Premier jet de graphes de mesures (à améliorer)Cyril SIX2019-05-174-4/+97
| | |
* | | Measures to CSV doneCyril SIX2019-05-1711-4/+11
| | |
* | | Adding more measuresCyril SIX2019-05-1712-16/+26
| | |
* | | simpler code, works in 32 bitsDavid Monniaux2019-05-161-5/+18
| | |
* | | 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
| | |
generated by cgit (git 2.34.1) at 2024-07-06 15:49:36 +0000