aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* 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
* use cmove in bitsliced AESDavid Monniaux2019-04-051-5/+2
* move patterns to include fileDavid Monniaux2019-04-052-14/+25
* implement using our "pattern matching"David Monniaux2019-04-051-4/+11
* removed the unproved hack to get builtins, will be reinstated laterDavid Monniaux2019-04-052-2/+2
* select cmpuDavid Monniaux2019-04-051-1/+1
* ternary ops for float/doubleDavid Monniaux2019-04-031-10/+6
* ternary ops in AES and TEADavid Monniaux2019-04-033-13/+5
* Merge branch 'mppa-ternary' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Com...David Monniaux2019-04-032-16/+10
|\
| * problem in ValueAOpDavid Monniaux2019-04-032-12/+7
| * begin implementing ternary builtinDavid Monniaux2019-04-031-0/+7
| * attempts at generating builtins, startDavid Monniaux2019-04-031-10/+2
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-0319-1151/+1412
| |\
* | \ Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-0219-1151/+1412
|\ \ \ | | |/ | |/|
| * | FIXME: Jumptables have linking issues.David Monniaux2019-03-293-0/+1241
| * | Merge branch 'mppa_k1c' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-291-8/+8
| |\ \
| | * \ Merge branch 'mppa-mul' into mppa_k0cDavid Monniaux2019-03-2921-1082/+1916
| | |\ \
| | * | | rm rules that conflictDavid Monniaux2019-03-291-8/+8
| * | | | Merge remote-tracking branch 'origin/mppa_k1c' into mppa-mulDavid Monniaux2019-03-291-1/+1
| |\| | |
| | * | | use C99 modeDavid Monniaux2019-03-291-1/+1
| | * | | for testing with questDavid Monniaux2019-03-221-0/+24
| | * | | check that gcc and ccomp compiled k1c code return the sameDavid Monniaux2019-03-221-2/+6
| | * | | improved testingDavid Monniaux2019-03-221-5/+16
| | * | | uses yarpgen random generatorDavid Monniaux2019-03-221-0/+37
| | * | | some more testingDavid Monniaux2019-03-221-1/+1
| * | | | missing config.hDavid Monniaux2019-03-291-0/+3
| * | | | Makefile for picosatDavid Monniaux2019-03-293-62/+0
| | |/ / | |/| |
| * | | ocaml benchmarkDavid Monniaux2019-03-283-8/+22