aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Collapse)AuthorAgeFilesLines
* MPPA - Operands were inverted in SBFW and SBFD instructionsCyril SIX2018-04-241-2/+2
|
* MPPA - Added ops for comparison operatorsCyril SIX2018-04-245-262/+186
|
* MPPA - added remaining ops ; mult, div and floating point ops missingCyril SIX2018-04-204-15/+57
|
* MPPA - Added Ocast8signed and Ocast16signedCyril SIX2018-04-202-16/+16
|
* MPPA - Oshrximm + Mgetparam + FP is GPR10 + bugCyril SIX2018-04-206-42/+50
| | | | | | | | | | | 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 Oaddrsymbol -> now able to run the matrix mult testCyril SIX2018-04-183-15/+17
|
* MPPA - Added Pmull -> now able to run the sort testCyril SIX2018-04-173-2/+7
|
* MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annotCyril SIX2018-04-174-26/+23
| | | | | Conflicts: mppa_k1c/Asmgenproof1.v
* MPPA - More shiftsCyril SIX2018-04-173-4/+24
|
* MPPA - added all shiftsCyril SIX2018-04-173-3/+28
|
* MPPA - Added optim for long unsigned cmp to 0.Cyril SIX2018-04-135-23/+140
|
* Osub and OmulCyril SIX2018-04-113-2/+14
|
* MPPA - OshrCyril SIX2018-04-113-2/+7
|
* MPPA - Ocast32signedCyril SIX2018-04-116-8/+53
|
* MPPA - OnegfCyril SIX2018-04-115-14/+17
|
* MPPA - Added MloadCyril SIX2018-04-105-29/+57
|
* MPPA - bunch of ops added : lowlong, and, or, shr..Cyril SIX2018-04-105-21/+80
|
* MPPA - Oneg + PnegwCyril SIX2018-04-103-3/+8
|
* MPPA - Onegl + PneglCyril SIX2018-04-103-3/+8
|
* MPPA - optimized branch generation for signed long compare to 0Cyril SIX2018-04-095-23/+69
|
* MPPA - Optimized branch generation for word compare to 0Cyril SIX2018-04-095-30/+178
|
* MPPA - Desactivated Pbuiltin EF_annotCyril SIX2018-04-041-7/+6
|
* MPPA - Long comparisonsCyril SIX2018-04-045-30/+158
|
* MPPA - Added non immediate comparisonCyril SIX2018-04-043-5/+21
|
* MPPA - Added signed immediate comparisonCyril SIX2018-04-043-3/+18
|
* MPPA - 32-bits immediate eq/neq branchesCyril SIX2018-04-045-944/+258
|
* MPPA - Added Mgoto + Pj_lCyril SIX2018-04-044-9/+7
|
* MPPA - mppa_call branch cleaningCyril SIX2018-04-044-22/+6
|
* MPPA - Added Msetstack + bunch of store --> on a des call !Cyril SIX2018-04-045-32/+35
|
* MPPA - Reactivated OmoveCyril SIX2018-04-043-3/+7
|
* MPPA - Added Mcall + Pgoto + modified PcallCyril SIX2018-04-044-8/+20
|
* MPPA - Added Mgetstack, loadind, a bunch of loadsCyril SIX2018-04-045-32/+33
|
* MPPA - Activated Mtailcall + PcallCyril SIX2018-04-044-8/+24
|
* MPPA - "float_caller_save_regs" is not "@nil mreg" anymore. Bug in ColoringCyril SIX2018-04-041-3/+3
|
* MPPA - Activated Paddw and Paddiw + opsCyril SIX2018-04-044-21/+22
|
* Replaced ireg0 by iregCyril SIX2018-04-044-171/+173
|
* MPPA - code cleaningCyril SIX2018-04-048-112/+65
|
* MPPA - The project compiles.Cyril SIX2018-04-042-147/+144
| | | | | | | | | | | | | Supports very simple programs that load integer immediates. It starts the main, loads integer in registers, and return correctly. Addition in Mach not yet supported, but should not be hard to add them. Function calls are not yet supported. The ABI for now is the same as the RiscV, with a small twist: $ra is first loaded in a user register, then this user register is pushed (instead of pushing $ra straight away).
* MPPA - Created Pmakel instruction + re-activated Oloadimm64/32Cyril SIX2018-04-043-53/+29
|
* MPPA - Removed Plui, replaced with Pmake, and modified make_immed64Cyril SIX2018-04-044-27/+40
|
* MPPA - ABI proof complete (Asmgenproof.v:step_simulation)Cyril SIX2018-04-045-49/+115
|
* MPPA - Preuve de make_epilogue correct.Cyril SIX2018-04-045-22/+54
| | | | ça va un peu plus loin!
* MPPA - Started restricting instructions + get/set + change ABI + trying to ↵Cyril SIX2018-04-043-78/+147
| | | | prove it
* MPPA - Started Asm.v + Asmgen.v, commenting out some instructionsCyril SIX2018-04-045-253/+245
|
* MPPA - Machregs + Conventions1 + backend proof tweakingCyril SIX2018-04-042-150/+89
|
* Changed ptr64 to be always trueCyril SIX2018-04-046-28/+7
|
* Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-0430-0/+15142
generated by cgit (git 2.34.1) at 2024-07-11 22:31:20 +0000