aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* bitsliced-tea slightly more efficient with ternaries at some placesDavid Monniaux2019-03-292-4/+18
* don't penalize x86 CompCertDavid Monniaux2019-03-271-1/+1
* put both compilers in their best moodDavid Monniaux2019-03-271-5/+18
* switch off ternary if not CompCertDavid Monniaux2019-03-271-14/+4
* improvements on cmoved etc.David Monniaux2019-03-271-4/+11
* work on ternaryDavid Monniaux2019-03-272-8/+21
* hand optimizedDavid Monniaux2019-03-272-0/+3271
* match some 'and'David Monniaux2019-03-272-4/+16
* essai du cmoveDavid Monniaux2019-03-273-3/+30
* ternary transfoDavid Monniaux2019-03-262-1/+37
* ternary unsignedDavid Monniaux2019-03-261-0/+7
* demo ternary opDavid Monniaux2019-03-242-0/+49
* mysteriously slow codeDavid Monniaux2019-03-242-0/+70
* encore un essai de creduceDavid Monniaux2019-03-233-0/+1561
* system for comparing speedsDavid Monniaux2019-03-231-0/+12
* bitsliced AES in one fileDavid Monniaux2019-03-231-10/+85
* Test in one file only.David Monniaux2019-03-231-0/+1467
* 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
* some more testingDavid Monniaux2019-03-221-1/+1
* uses yarpgen random generatorDavid Monniaux2019-03-221-0/+37
* Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-2285-17/+259
|\
| * Rajout de tests test/mppa pour division/moduloCyril SIX2019-03-226-0/+34
| * Merge branch 'mppa_postpass' into mppa-mulCyril SIX2019-03-2282-30/+238
| |\
| | * Reorganized the test/mppa/ tests to have fewer of themCyril SIX2019-03-2282-30/+238
* | | better patch for running the test suiteDavid Monniaux2019-03-221-0/+13
* | | Now we have division, simplify the patch.David Monniaux2019-03-221-50/+0
|/ /
* | csmith for testingDavid Monniaux2019-03-201-0/+23
* | Makefile for ocamlrun testingDavid Monniaux2019-03-201-0/+7
* | ocaml byterunner exampleDavid Monniaux2019-03-20119-0/+45174
* | rm need for gccDavid Monniaux2019-03-202-4/+2
* | use the original source codesDavid Monniaux2019-03-2030-5528/+5235
* | picomus compile aussiDavid Monniaux2019-03-201-1/+1
* | picosat fonctionneDavid Monniaux2019-03-202-3/+7
* | vire des scories INT_DIV et INT_MODDavid Monniaux2019-03-205-6/+6
|/
* Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-202-5/+21
|\
| * maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-202-5/+21
* | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-192-0/+20
|\|
| * mul immediate beginDavid Monniaux2019-03-191-0/+4
| * seems to workDavid Monniaux2019-03-191-0/+7
| * test for maddDavid Monniaux2019-03-191-0/+9
* | Replacing all the - by * : it works!Cyril SIX2019-03-192-185/+185
* | Trying to replace all the + by -Cyril SIX2019-03-192-185/+185
* | [TEST BROKEN] Trying to replace some int by float in stackhell interop testCyril SIX2019-03-193-68/+69
* | Small improvements to interop test MakefileCyril SIX2019-03-192-4/+33
|/
* andn / orn long complete I thinkDavid Monniaux2019-03-181-0/+16
* stats on chunks etc.David Monniaux2019-03-171-3/+5
* isolate the slow partDavid Monniaux2019-03-172-3/+4
* experiments on what's slowDavid Monniaux2019-03-171-136/+12
generated by cgit (git 2.34.1) at 2024-07-04 02:02:16 +0000