aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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-062-2/+2
|
* 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
|
* reinstated the orl selectl constructDavid Monniaux2019-04-052-10/+7
|
* itemize the proof (better for debugging)David Monniaux2019-04-051-10/+10
|
* preparing for the builtin connectorDavid Monniaux2019-04-051-3/+69
|
* removed the unproved hack to get builtins, will be reinstated laterDavid Monniaux2019-04-054-74/+8
|
* Oselectf, Oselectfs with conditionDavid Monniaux2019-04-058-131/+325
|
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-051-1/+1
|\
| * Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les ↵Cyril SIX2019-04-051-1/+1
| | | | | | | | store)
* | selectl with conditionDavid Monniaux2019-04-058-68/+172
| |
* | Select cmpluDavid Monniaux2019-04-052-1/+32
| |
* | select cmpuDavid Monniaux2019-04-058-6/+61
| |
* | factor out some proofsDavid Monniaux2019-04-051-6/+3
| |
* | some more Oselect comparisonsDavid Monniaux2019-04-042-1/+14
| |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-042-352/+187
|\|
| * Refactorisation de forward_simu_basicCyril SIX2019-04-041-102/+55
| |
| * refactorized forward_simu_controlCyril SIX2019-04-041-107/+67
| |
| * Refactorisation de forward_simu_par_controlCyril SIX2019-04-041-141/+63
| |
| * Erreur idiote dans les latences ?Cyril SIX2019-04-041-2/+2
| |
* | ternary ops work on (unsigned/signed) int with test on signed intDavid Monniaux2019-04-041-3/+3
| |
* | more on selectDavid Monniaux2019-04-042-4/+6
| |
* | OselectDavid Monniaux2019-04-042-5/+16
| |
* | progress on OselectDavid Monniaux2019-04-041-19/+35
| |
* | select_soundDavid Monniaux2019-04-044-39/+103
| |
* | some more progress on selectDavid Monniaux2019-04-044-59/+84
| |
* | progressing on selectDavid Monniaux2019-04-042-17/+11
| |
* | working on selectDavid Monniaux2019-04-041-3/+24
| |
* | working on selectDavid Monniaux2019-04-041-28/+58
| |
* | prepare for conditions in cmoveDavid Monniaux2019-04-044-19/+34
| |
* | ternary ops for float/doubleDavid Monniaux2019-04-036-14/+116
| |
* | for floats and doubles, asmgen supportDavid Monniaux2019-04-033-15/+92
| |
* | ternary ops in AES and TEADavid Monniaux2019-04-037-21/+14
| |
* | Merge branch 'mppa-ternary' of ↵David Monniaux2019-04-0334-2223/+1151
|\ \ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-ternary
| * | problem in ValueAOpDavid Monniaux2019-04-038-22/+37
| | |
| * | begin implementing ternary builtinDavid Monniaux2019-04-032-4/+20
| | |
| * | selection of builtin.. progress...David Monniaux2019-04-031-13/+14
| | |
generated by cgit (git 2.34.1) at 2024-07-11 23:41:25 +0000