aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* hand optimizedDavid Monniaux2019-03-272-0/+3271
|
* match some 'and'David Monniaux2019-03-274-14/+50
|
* essai du cmoveDavid Monniaux2019-03-273-3/+30
|
* selectl generationDavid Monniaux2019-03-266-14/+205
|
* ternary transfoDavid Monniaux2019-03-262-1/+37
|
* ternary unsignedDavid Monniaux2019-03-263-0/+54
|
* rm cruftDavid Monniaux2019-03-262-167/+9
|
* cmoved worksDavid Monniaux2019-03-261-4/+5
|
* ternary / cmove demo now worksDavid Monniaux2019-03-261-2/+2
|
* ternary begins workingDavid Monniaux2019-03-262-13/+11
|
* some progressDavid Monniaux2019-03-262-19/+12
|
* implemented ternary patternDavid Monniaux2019-03-262-1/+57
|
* more on ternaryDavid Monniaux2019-03-262-6/+149
|
* select basic operatorsDavid Monniaux2019-03-261-0/+24
|
* selectlDavid Monniaux2019-03-252-0/+21
|
* more on cmoveDavid Monniaux2019-03-254-66/+42
|
* progress on cmoveDavid Monniaux2019-03-255-3/+17
|
* draft commentDavid Monniaux2019-03-251-0/+3
|
* some version of select/selectl that runs through ValueAOpDavid Monniaux2019-03-251-5/+32
|
* NeedOp advancingDavid Monniaux2019-03-251-0/+43
|
* better Op select/selectlDavid Monniaux2019-03-251-32/+24
|
* progressing on select/selectlDavid Monniaux2019-03-252-0/+12
|
* going forward with select/selectlDavid Monniaux2019-03-251-12/+26
|
* begin ternaryDavid Monniaux2019-03-242-1/+49
|
* Merge branch 'mppa-mul' into mppa-ternaryDavid Monniaux2019-03-24219-5819/+54280
|\
| * 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
| |
| * passage de structures en varargs (fonctionne avec une convention "passage ↵David Monniaux2019-03-221-0/+3
| | | | | | | | par référence" cohérente avec CompCert mais pas forcément avec gcc)
| * Merge branch 'mppa-mul' of ↵David Monniaux2019-03-223-2/+54
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul
| | * check that gcc and ccomp compiled k1c code return the sameDavid Monniaux2019-03-221-2/+6
| | |
| | * FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd)David Monniaux2019-03-221-1/+1
| | |
| | * 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 ↵David Monniaux2019-03-22136-877/+595
| |\| | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul
| | * Merge branch 'mppa-mul' of ↵David Monniaux2019-03-2285-17/+259
| | |\ | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul
| | | * 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
| | | |\
| | * | | 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
| | |/ /
| | * | rm Pdiv / PdivuDavid Monniaux2019-03-226-66/+1
| | | |
| | * | Merge branch 'mppa-mul' of ↵David Monniaux2019-03-224-3/+36
| | |\ \ | | | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul
| | | * | Risc-V works again (32/64).David Monniaux2019-03-224-3/+36
| | | | |
| | * | | seems like powerpc runs but the result segfaultsDavid Monniaux2019-03-224-3/+36
| | |/ /
| | * | ARM repasseDavid Monniaux2019-03-224-3/+36
| | | |
generated by cgit (git 2.34.1) at 2024-07-11 23:31:33 +0000