aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asm.v
Commit message (Expand)AuthorAgeFilesLines
* instruction cache builtinsDavid Monniaux2019-04-111-0/+3
* data cache builtinsDavid Monniaux2019-04-111-0/+4
* some more builtinsDavid Monniaux2019-04-111-0/+5
* __builtin_k1_lduDavid Monniaux2019-04-111-2/+4
* wfxl / wfxmDavid Monniaux2019-04-111-0/+2
* get / set k1David Monniaux2019-04-101-0/+3
* Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-081-0/+4
|\
| * select cmpuDavid Monniaux2019-04-051-0/+2
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-36/+63
| |\
| * \ merge VLIW proofsDavid Monniaux2019-03-281-3/+3
| |\ \
| * | | progress on cmoveDavid Monniaux2019-03-251-0/+2
* | | | #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-051-168/+168
| |_|/ |/| |
* | | 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 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
* | | | Merge branch 'mppa-mul' into mppa-jumptableDavid Monniaux2019-03-221-5/+0
|\ \ \ \ | | |_|/ | |/| |
| * | | rm Pdiv / PdivuDavid Monniaux2019-03-221-5/+0
| |/ /
* / / begin jumptables (does not work)David Monniaux2019-03-211-0/+2
|/ /
* | 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
generated by cgit (git 2.34.1) at 2024-07-06 14:53:03 +0000