aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* 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 gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-04-104-5/+6
|\
| * 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
* predicated experimentsDavid Monniaux2019-04-072-0/+29
* uses the pattern matchingDavid Monniaux2019-04-061-2/+2
* keep the .s filesDavid Monniaux2019-04-061-9/+11
* Makefile for timing.David Monniaux2019-04-062-3/+13
* makefile for PCRE2David Monniaux2019-04-063-5/+12764
* tests with PCRE2 (regular expression library)David Monniaux2019-04-0639-0/+62943
* use ternary in fillDavid Monniaux2019-04-061-1/+1
* reoptimize the CDavid Monniaux2019-04-061-1/+2
* hand optimizationsDavid Monniaux2019-04-061-2/+4
* various hand optimizationsDavid Monniaux2019-04-065-0/+1525
* reoptimize by handDavid Monniaux2019-04-061-3/+2
* goto endDavid Monniaux2019-04-061-2/+25
* there seems to be some cache preload involved?David Monniaux2019-04-061-1/+2
* use of ternary operatorsDavid Monniaux2019-04-061-3/+28
* hand optimizationsDavid Monniaux2019-04-062-0/+407
* have one with specific positionDavid Monniaux2019-04-061-1/+1
* no need for this to be in two_address_opDavid Monniaux2019-04-061-1/+1
* binary search from Rosetta CodeDavid Monniaux2019-04-062-0/+78
* ternary op version of bitsliced TEADavid Monniaux2019-04-051-4/+9
generated by cgit (git 2.34.1) at 2024-06-13 12:57:20 +0000