aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asm.v
Commit message (Expand)AuthorAgeFilesLines
* select cmpuDavid Monniaux2019-04-051-0/+2
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-36/+63
|\
| * Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yetCyril SIX2019-04-021-36/+61
| * Merge remote-tracking branch 'origin/mppa_postpass' into mppa-jumptableCyril SIX2019-03-291-3/+3
| |\
| * \ Merge branch 'mppa-mul' into mppa-jumptableDavid Monniaux2019-03-221-5/+0
| |\ \
| * | | begin jumptables (does not work)David Monniaux2019-03-211-0/+2
* | | | merge VLIW proofsDavid Monniaux2019-03-281-3/+3
|\ \ \ \ | | |_|/ | |/| |
| * | | Merge remote-tracking branch 'origin/mppa_vliw_essai_sylvain' into mppa_postpassDavid Monniaux2019-03-281-8/+3
| |\ \ \ | | |/ / | |/| |
| | * | Integrating Asmvliw.v in the proof chainCyril SIX2019-03-201-3/+3
* | | | progress on cmoveDavid Monniaux2019-03-251-0/+2
| |_|/ |/| |
* | | rm Pdiv / PdivuDavid Monniaux2019-03-221-5/+0
|/ /
* | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-191-1/+19
|\ \
| * | mul immediate beginDavid Monniaux2019-03-191-0/+4
| * | ça passe mais pas encore l'oracleDavid Monniaux2019-03-181-0/+10
| * | begin implementing multiply-addDavid Monniaux2019-03-181-1/+5
* | | Pseudo instruction for 32 bits division, no code generation yetCyril SIX2019-03-191-0/+5
|/ /
* | orn / andn in asmDavid Monniaux2019-03-181-0/+8
* | some more about andn/ornDavid Monniaux2019-03-181-0/+8
* | long nand, nor, nxorDavid Monniaux2019-03-161-0/+12
* | nxorDavid Monniaux2019-03-161-0/+4
* | partial norwDavid Monniaux2019-03-161-2/+6
* | nand is implementedDavid Monniaux2019-03-161-0/+4
* | 32-bit rotate finishedDavid Monniaux2019-03-161-1/+2
|/
* Added double comparisonsCyril SIX2019-03-011-0/+2
* Implemented float comparisons (no branching yet, and no negation)Cyril SIX2019-03-011-0/+2
* Ointuofsingle doneCyril SIX2019-03-011-0/+2
* Float conversion fixes + some more conversionsCyril SIX2019-02-271-2/+14
* use a Pfsd (store double) and not a Pfss (store single) for storing doublesDavid Monniaux2019-02-181-1/+1
* Rajout d'opérateurs flottants, travail sur les tests --> à continuerCyril SIX2019-02-151-1/+27
* Added Olongoffloat, Ofloatoflong and doubleconv testCyril SIX2019-02-121-0/+4
* Added Ointofsingle + floatconv unit testCyril SIX2019-02-121-0/+2
* Added OsingleofintCyril SIX2019-02-121-0/+2
* Added Ofloatconst and Osingleconst (not integrated in scheduler yet)Cyril SIX2019-02-121-0/+12
* Added indirect tailcallsCyril SIX2019-02-081-0/+2
* implemented builtin memcpyDavid Monniaux2019-02-011-1/+2
* Adding indirect calls (icall instruction)Cyril SIX2019-01-291-0/+2
* Added sxwd and zxwd supportCyril SIX2019-01-221-6/+4
* Fixed that fnegd and negd had been invertedCyril SIX2018-12-071-1/+1
* Introducing ;; as Pcomma in Asm.vCyril SIX2018-12-031-1/+2
* compilation Asmexpandaux both for x86/ and mppa_k1c/Sylvain Boulmé2018-11-281-3/+0
* Rebase avec le commit qui fixe les tests + librairiesCyril SIX2018-09-061-1/+5
* Asmblock & cie - ça compileCyril SIX2018-09-061-6/+1
* Extraction issueCyril SIX2018-09-061-1/+14
* Remplacement de match_prog par un plus classiqueCyril SIX2018-09-061-26/+59
* Asmblock -> Asm presque fini.. erreur sur driver/Compiler.vCyril SIX2018-09-061-1244/+451
* WIP - Trying to add builtins support. They are not detected for now :(Cyril SIX2018-05-301-21/+6
* MPPA - refactored instructionsCyril SIX2018-05-111-270/+291
* Code cleaningCyril SIX2018-05-091-137/+92
* MPPA - Added ops for comparison operatorsCyril SIX2018-04-241-2/+8
* MPPA - added remaining ops ; mult, div and floating point ops missingCyril SIX2018-04-201-0/+21