aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-1/+1
|
* DM manual inliningDavid Monniaux2019-05-091-22/+25
|
* with -en (expand main node)David Monniaux2019-05-096-0/+3569
|
* Lustre "convertible" compilé avec -2cgcDavid Monniaux2019-05-096-0/+1452
|
* carlightV2 example from Lustre V6David Monniaux2019-05-084-89/+111
|
* carlightDavid Monniaux2019-05-083-0/+467
|
* added clockDavid Monniaux2019-05-081-1/+9
|
* removed print statementsDavid Monniaux2019-05-081-81/+18
|
* from Lustre v6 examplesDavid Monniaux2019-05-086-0/+1745
|
* load code into I-cacheDavid Monniaux2019-05-041-0/+3
|
* store oDavid Monniaux2019-05-042-3/+3
|
* [#120] - Makefile generator + replaced binary_search/Makefile : it worksCyril SIX2019-05-034-30/+81
|
* Merge branch 'mppa-work' into mppa_k1cCyril SIX2019-05-034-1/+57
|\
| * example of spill peepholeDavid Monniaux2019-05-021-0/+21
| |
| * forgot Chunks.vDavid Monniaux2019-05-021-1/+1
| |
| * Srsd / SrswDavid Monniaux2019-04-291-0/+10
| |
| * test for long bitfieldsDavid Monniaux2019-04-291-0/+19
| |
| * start of extfzl/extfslDavid Monniaux2019-04-251-0/+6
| |
* | Changes to include a -O1 -fschedule-insns2 gcc run as wellCyril SIX2019-04-2624-290/+384
|/
* read from bit fieldsDavid Monniaux2019-04-251-0/+20
|
* identify bug from x86David Monniaux2019-04-131-2/+4
|
* various bugs in FPDavid Monniaux2019-04-131-0/+6
|
* some more examplesDavid Monniaux2019-04-131-4/+39
|
* code for checking IEEE-754 exceptionsDavid Monniaux2019-04-131-0/+41
|
* experiments with rounding modesDavid Monniaux2019-04-131-5/+21
|
* test for rounding modesDavid Monniaux2019-04-131-0/+20
|
* test breaksDavid Monniaux2019-04-121-0/+44
|
* some more simplificationsDavid Monniaux2019-04-126-1209/+10
|
* more builtinsDavid Monniaux2019-04-114-16/+27
|
* experiments on the meaning of sbmm8David Monniaux2019-04-112-0/+24
|
* __builtin_k1_acswapwDavid Monniaux2019-04-112-0/+26
|
* builtin acswapdDavid Monniaux2019-04-111-0/+13
|
* afaddd / afaddwDavid Monniaux2019-04-111-0/+11
|
* demo of instruction cache flushDavid Monniaux2019-04-111-0/+27
|
* instruction cache builtinsDavid Monniaux2019-04-111-0/+5
|
* data cache builtinsDavid Monniaux2019-04-111-0/+3
|
* some more builtinsDavid Monniaux2019-04-111-0/+8
|
* __builtin_k1_lduDavid Monniaux2019-04-111-0/+4
|
* wfxl / wfxmDavid Monniaux2019-04-111-0/+8
|
* fix types for k1 builtinsDavid Monniaux2019-04-111-0/+55
|
* now compiles with pthread.hDavid Monniaux2019-04-101-4/+1
|
* Merge branch 'mppa-work' of ↵David Monniaux2019-04-104-5/+6
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * Disabling the packedstruct tests from test/regressionCyril SIX2019-04-091-1/+2
| |
| * All CompCert tests can be compiledCyril SIX2019-04-093-4/+4
| |
* | for killing _PragmaDavid Monniaux2019-04-081-0/+1
|/
* exemples d'accès mémoire lentsDavid Monniaux2019-04-083-0/+31
|
* better explanationDavid Monniaux2019-04-081-4/+26
|
* better intermediate pointDavid Monniaux2019-04-081-5/+8
|
* powerwindow from tacle-benchDavid Monniaux2019-04-0842-0/+5165
|
* from Tacle BenchDavid Monniaux2019-04-088-0/+618
|
generated by cgit (git 2.34.1) at 2024-07-14 14:08:30 +0000