aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asm.v
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* MPPA - Oshrximm + Mgetparam + FP is GPR10 + bugCyril SIX2018-04-201-2/+3
| | | | | | | | | | | Added Oshrximm and Mgetparam -> mmult.c divide & conqueer generates FP is now GPR10 instead of being a mix of GPR30 and GPR32 Corrected a bug where Pgoto and Pj_l were given the same interpretation, where in fact there's a fundamental difference : Pgoto is supposed to have a function name (symbol), while Pj_l is supposed to have a label name (print_label). This led to having undefinite labels in the code.
* MPPA - Added Pmull -> now able to run the sort testCyril SIX2018-04-171-0/+3
|
* MPPA - More shiftsCyril SIX2018-04-171-0/+12
|
* MPPA - added all shiftsCyril SIX2018-04-171-1/+16
|
* MPPA - Added optim for long unsigned cmp to 0.Cyril SIX2018-04-131-0/+16
|
* Osub and OmulCyril SIX2018-04-111-0/+6
|
* MPPA - OshrCyril SIX2018-04-111-0/+3
|
* MPPA - Ocast32signedCyril SIX2018-04-111-0/+6
|
* MPPA - OnegfCyril SIX2018-04-111-4/+4
|
* MPPA - Added MloadCyril SIX2018-04-101-9/+14
|
* MPPA - bunch of ops added : lowlong, and, or, shr..Cyril SIX2018-04-101-0/+31
|
* MPPA - Oneg + PnegwCyril SIX2018-04-101-0/+3
|
* MPPA - Onegl + PneglCyril SIX2018-04-101-0/+3
|
* MPPA - optimized branch generation for signed long compare to 0Cyril SIX2018-04-091-11/+32
|
* MPPA - Optimized branch generation for word compare to 0Cyril SIX2018-04-091-5/+26
|
* MPPA - Long comparisonsCyril SIX2018-04-041-1/+28
|
* MPPA - 32-bits immediate eq/neq branchesCyril SIX2018-04-041-232/+122
|
* MPPA - Added Mgoto + Pj_lCyril SIX2018-04-041-4/+4
|
* MPPA - mppa_call branch cleaningCyril SIX2018-04-041-12/+1
|
* MPPA - Added Msetstack + bunch of store --> on a des call !Cyril SIX2018-04-041-16/+16
|
* MPPA - Added Mcall + Pgoto + modified PcallCyril SIX2018-04-041-0/+4
|
* MPPA - Added Mgetstack, loadind, a bunch of loadsCyril SIX2018-04-041-16/+16
|
* MPPA - Activated Mtailcall + PcallCyril SIX2018-04-041-2/+14
|
* MPPA - Activated Paddw and Paddiw + opsCyril SIX2018-04-041-8/+8
|
* Replaced ireg0 by iregCyril SIX2018-04-041-84/+86
|
* MPPA - code cleaningCyril SIX2018-04-041-29/+16
|
* MPPA - Created Pmakel instruction + re-activated Oloadimm64/32Cyril SIX2018-04-041-6/+9
|
* MPPA - Removed Plui, replaced with Pmake, and modified make_immed64Cyril SIX2018-04-041-6/+9
|
* MPPA - ABI proof complete (Asmgenproof.v:step_simulation)Cyril SIX2018-04-041-2/+2
|
* MPPA - Preuve de make_epilogue correct.Cyril SIX2018-04-041-1/+2
| | | | ça va un peu plus loin!
* MPPA - Started restricting instructions + get/set + change ABI + trying to ↵Cyril SIX2018-04-041-27/+59
| | | | prove it
* MPPA - Started Asm.v + Asmgen.v, commenting out some instructionsCyril SIX2018-04-041-88/+76
|
* Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-0/+1172
generated by cgit (git 2.34.1) at 2024-07-11 19:28:41 +0000