aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Machregs.v
Commit message (Expand)AuthorAgeFilesLines
* Pmsub compiledDavid Monniaux2019-05-111-2/+1
* more integer OpDavid Monniaux2019-05-101-1/+4
* smart memcpy for arbitrary sizesDavid Monniaux2019-05-091-1/+4
* copy 16 by 16David Monniaux2019-05-091-1/+1
* add bitfield insert opcode but not yet used nor translatedDavid Monniaux2019-04-271-1/+3
* afaddd / afaddwDavid Monniaux2019-04-111-0/+1
* wfxl / wfxmDavid Monniaux2019-04-111-2/+7
* get / set k1David Monniaux2019-04-101-1/+4
* no need for this to be in two_address_opDavid Monniaux2019-04-061-1/+1
* Oselectf, Oselectfs with conditionDavid Monniaux2019-04-051-1/+1
* selectl with conditionDavid Monniaux2019-04-051-1/+1
* progressing on selectDavid Monniaux2019-04-041-1/+1
* ternary ops for float/doubleDavid Monniaux2019-04-031-1/+1
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-021-2/+1
|\
| * Jump tables now work. There is still an "Admitted" subcase in a proof.David Monniaux2019-03-221-2/+1
* | more on cmoveDavid Monniaux2019-03-251-1/+1
|/
* Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-201-1/+1
|\
| * maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-201-1/+1
* | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-191-1/+1
|\|
| * specify instructions that write to first operand (madd)David Monniaux2019-03-191-1/+1
* | The parent frame pointer is now R17 instead of R14Cyril SIX2019-03-181-6/+6
|/
* commentDavid Monniaux2019-02-021-0/+1
* implemented builtin memcpyDavid Monniaux2019-02-011-1/+1
* Changed ABI to match GCC - interoperability not tested yetCyril SIX2018-11-231-17/+16
* MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-211-4/+4
* MPPA - Oshrximm + Mgetparam + FP is GPR10 + bugCyril SIX2018-04-201-4/+6
* MPPA - code cleaningCyril SIX2018-04-041-17/+18
* MPPA - ABI proof complete (Asmgenproof.v:step_simulation)Cyril SIX2018-04-041-2/+1
* MPPA - Preuve de make_epilogue correct.Cyril SIX2018-04-041-5/+5
* MPPA - Started Asm.v + Asmgen.v, commenting out some instructionsCyril SIX2018-04-041-4/+5
* MPPA - Machregs + Conventions1 + backend proof tweakingCyril SIX2018-04-041-86/+59
* Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-0/+253
generated by cgit (git 2.34.1) at 2024-06-30 13:27:29 +0000