aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* MPPA - Added coverage testCyril SIX2018-04-251-3/+3
* 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
* 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
* 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
* 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
* MPPA - Started restricting instructions + get/set + change ABI + trying to pr...Cyril SIX2018-04-043-78/+147
* 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