aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asm.v
Commit message (Expand)AuthorAgeFilesLines
* new instructions at asm levelDavid Monniaux2019-05-101-0/+24
* gain d'un cycle au moment du freeframe (passer au ret dans le même bundle)David Monniaux2019-05-071-1/+6
* big proofs for so / loDavid Monniaux2019-05-041-2/+6
* begin add PlqDavid Monniaux2019-05-031-1/+4
* getting stuck need to move offsetsDavid Monniaux2019-05-031-1/+4
* it compilesDavid Monniaux2019-05-011-0/+9
* begin load.xsDavid Monniaux2019-05-011-0/+12
* removed fake ops for int32 -> doubleDavid Monniaux2019-04-291-4/+0
* Srsd / SrswDavid Monniaux2019-04-291-0/+8
* begin add bitfield insertionDavid Monniaux2019-04-271-0/+7
* moved operators to specific file instead of common fileDavid Monniaux2019-04-271-0/+1
* start of extfzl/extfslDavid Monniaux2019-04-251-0/+5
* progressDavid Monniaux2019-04-251-0/+3
* IT COMPILESDavid Monniaux2019-04-251-1/+1
* begin bitfieldsDavid Monniaux2019-04-241-0/+3
* more builtinsDavid Monniaux2019-04-111-0/+5
* afaddd / afaddwDavid Monniaux2019-04-111-0/+2
* 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
generated by cgit (git 2.34.1) at 2024-07-02 10:06:54 +0000