aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asm.v
Commit message (Collapse)AuthorAgeFilesLines
* begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-12/+12
|
* use shift 1-4 in backendDavid Monniaux2019-05-101-8/+8
|
* 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
|\ | | | | | | | | | | Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmblock.v
| * 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
| |\ \ | | | | | | | | | | | | Merge branch 'mppa-mul' into mppa-ternary
| * | | 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
|\ \ \ | | |/ | |/| | | | | | | | | | Conflicts: mppa_k1c/Asmblock.v mppa_k1c/Asmblockdeps.v
| * | 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
|/
generated by cgit (git 2.34.1) at 2024-07-07 05:26:44 +0000