Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32) | Cyril SIX | 2018-04-26 | 1 | -3/+3 |
| | |||||
* | MPPA - fixed some typos in the TargetPrinter | Cyril SIX | 2018-04-26 | 1 | -34/+5 |
| | |||||
* | MPPA - Added coverage test | Cyril SIX | 2018-04-25 | 1 | -3/+3 |
| | |||||
* | MPPA - Operands were inverted in SBFW and SBFD instructions | Cyril SIX | 2018-04-24 | 1 | -2/+2 |
| | |||||
* | MPPA - Added ops for comparison operators | Cyril SIX | 2018-04-24 | 5 | -262/+186 |
| | |||||
* | MPPA - added remaining ops ; mult, div and floating point ops missing | Cyril SIX | 2018-04-20 | 4 | -15/+57 |
| | |||||
* | MPPA - Added Ocast8signed and Ocast16signed | Cyril SIX | 2018-04-20 | 2 | -16/+16 |
| | |||||
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 6 | -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 test | Cyril SIX | 2018-04-18 | 3 | -15/+17 |
| | |||||
* | MPPA - Added Pmull -> now able to run the sort test | Cyril SIX | 2018-04-17 | 3 | -2/+7 |
| | |||||
* | MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annot | Cyril SIX | 2018-04-17 | 4 | -26/+23 |
| | | | | | Conflicts: mppa_k1c/Asmgenproof1.v | ||||
* | MPPA - More shifts | Cyril SIX | 2018-04-17 | 3 | -4/+24 |
| | |||||
* | MPPA - added all shifts | Cyril SIX | 2018-04-17 | 3 | -3/+28 |
| | |||||
* | MPPA - Added optim for long unsigned cmp to 0. | Cyril SIX | 2018-04-13 | 5 | -23/+140 |
| | |||||
* | Osub and Omul | Cyril SIX | 2018-04-11 | 3 | -2/+14 |
| | |||||
* | MPPA - Oshr | Cyril SIX | 2018-04-11 | 3 | -2/+7 |
| | |||||
* | MPPA - Ocast32signed | Cyril SIX | 2018-04-11 | 6 | -8/+53 |
| | |||||
* | MPPA - Onegf | Cyril SIX | 2018-04-11 | 5 | -14/+17 |
| | |||||
* | MPPA - Added Mload | Cyril SIX | 2018-04-10 | 5 | -29/+57 |
| | |||||
* | MPPA - bunch of ops added : lowlong, and, or, shr.. | Cyril SIX | 2018-04-10 | 5 | -21/+80 |
| | |||||
* | MPPA - Oneg + Pnegw | Cyril SIX | 2018-04-10 | 3 | -3/+8 |
| | |||||
* | MPPA - Onegl + Pnegl | Cyril SIX | 2018-04-10 | 3 | -3/+8 |
| | |||||
* | MPPA - optimized branch generation for signed long compare to 0 | Cyril SIX | 2018-04-09 | 5 | -23/+69 |
| | |||||
* | MPPA - Optimized branch generation for word compare to 0 | Cyril SIX | 2018-04-09 | 5 | -30/+178 |
| | |||||
* | MPPA - Desactivated Pbuiltin EF_annot | Cyril SIX | 2018-04-04 | 1 | -7/+6 |
| | |||||
* | MPPA - Long comparisons | Cyril SIX | 2018-04-04 | 5 | -30/+158 |
| | |||||
* | MPPA - Added non immediate comparison | Cyril SIX | 2018-04-04 | 3 | -5/+21 |
| | |||||
* | MPPA - Added signed immediate comparison | Cyril SIX | 2018-04-04 | 3 | -3/+18 |
| | |||||
* | MPPA - 32-bits immediate eq/neq branches | Cyril SIX | 2018-04-04 | 5 | -944/+258 |
| | |||||
* | MPPA - Added Mgoto + Pj_l | Cyril SIX | 2018-04-04 | 4 | -9/+7 |
| | |||||
* | MPPA - mppa_call branch cleaning | Cyril SIX | 2018-04-04 | 4 | -22/+6 |
| | |||||
* | MPPA - Added Msetstack + bunch of store --> on a des call ! | Cyril SIX | 2018-04-04 | 5 | -32/+35 |
| | |||||
* | MPPA - Reactivated Omove | Cyril SIX | 2018-04-04 | 3 | -3/+7 |
| | |||||
* | MPPA - Added Mcall + Pgoto + modified Pcall | Cyril SIX | 2018-04-04 | 4 | -8/+20 |
| | |||||
* | MPPA - Added Mgetstack, loadind, a bunch of loads | Cyril SIX | 2018-04-04 | 5 | -32/+33 |
| | |||||
* | MPPA - Activated Mtailcall + Pcall | Cyril SIX | 2018-04-04 | 4 | -8/+24 |
| | |||||
* | MPPA - "float_caller_save_regs" is not "@nil mreg" anymore. Bug in Coloring | Cyril SIX | 2018-04-04 | 1 | -3/+3 |
| | |||||
* | MPPA - Activated Paddw and Paddiw + ops | Cyril SIX | 2018-04-04 | 4 | -21/+22 |
| | |||||
* | Replaced ireg0 by ireg | Cyril SIX | 2018-04-04 | 4 | -171/+173 |
| | |||||
* | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 8 | -112/+65 |
| | |||||
* | MPPA - The project compiles. | Cyril SIX | 2018-04-04 | 2 | -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/32 | Cyril SIX | 2018-04-04 | 3 | -53/+29 |
| | |||||
* | MPPA - Removed Plui, replaced with Pmake, and modified make_immed64 | Cyril SIX | 2018-04-04 | 4 | -27/+40 |
| | |||||
* | MPPA - ABI proof complete (Asmgenproof.v:step_simulation) | Cyril SIX | 2018-04-04 | 5 | -49/+115 |
| | |||||
* | MPPA - Preuve de make_epilogue correct. | Cyril SIX | 2018-04-04 | 5 | -22/+54 |
| | | | | ça va un peu plus loin! | ||||
* | MPPA - Started restricting instructions + get/set + change ABI + trying to ↵ | Cyril SIX | 2018-04-04 | 3 | -78/+147 |
| | | | | prove it | ||||
* | MPPA - Started Asm.v + Asmgen.v, commenting out some instructions | Cyril SIX | 2018-04-04 | 5 | -253/+245 |
| | |||||
* | MPPA - Machregs + Conventions1 + backend proof tweaking | Cyril SIX | 2018-04-04 | 2 | -150/+89 |
| | |||||
* | Changed ptr64 to be always true | Cyril SIX | 2018-04-04 | 6 | -28/+7 |
| | |||||
* | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 30 | -0/+15142 |