Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added a simple postpass oracle that splits a bblock into single instruction ↵ | Cyril SIX | 2018-12-17 | 1 | -1/+3 |
| | | | | bundles | ||||
* | mppa_k1c compiles | Cyril SIX | 2018-11-28 | 1 | -6/+1 |
| | |||||
* | Commencé à réintroduire du "ep" qui a du sens | Cyril SIX | 2018-10-19 | 1 | -1/+1 |
| | |||||
* | Asmblock & cie - ça compile | Cyril SIX | 2018-09-06 | 1 | -3/+9 |
| | |||||
* | Rajout d'un return_address_offset. Besoin de changer forward_simu de mach ↵ | Cyril SIX | 2018-09-06 | 1 | -1/+12 |
| | | | | machblock | ||||
* | Asmblock -> Asm presque fini.. erreur sur driver/Compiler.v | Cyril SIX | 2018-09-06 | 1 | -819/+5 |
| | |||||
* | MPPA - Added modulo and division 64 bits. Non certified | Cyril SIX | 2018-05-21 | 1 | -3/+3 |
| | | | | | | | 32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins. | ||||
* | MPPA - refactored instructions | Cyril SIX | 2018-05-11 | 1 | -76/+78 |
| | |||||
* | Code cleaning | Cyril SIX | 2018-05-09 | 1 | -14/+5 |
| | |||||
* | MPPA - Added ops for comparison operators | Cyril SIX | 2018-04-24 | 1 | -2/+77 |
| | |||||
* | MPPA - added remaining ops ; mult, div and floating point ops missing | Cyril SIX | 2018-04-20 | 1 | -15/+15 |
| | |||||
* | MPPA - Added Ocast8signed and Ocast16signed | Cyril SIX | 2018-04-20 | 1 | -2/+2 |
| | |||||
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 1 | -8/+8 |
| | | | | | | | | | | | 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 | 1 | -2/+2 |
| | |||||
* | MPPA - Added Pmull -> now able to run the sort test | Cyril SIX | 2018-04-17 | 1 | -2/+2 |
| | |||||
* | MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annot | Cyril SIX | 2018-04-17 | 1 | -2/+2 |
| | | | | | Conflicts: mppa_k1c/Asmgenproof1.v | ||||
* | MPPA - More shifts | Cyril SIX | 2018-04-17 | 1 | -4/+4 |
| | |||||
* | MPPA - added all shifts | Cyril SIX | 2018-04-17 | 1 | -2/+2 |
| | |||||
* | MPPA - Added optim for long unsigned cmp to 0. | Cyril SIX | 2018-04-13 | 1 | -3/+24 |
| | |||||
* | Osub and Omul | Cyril SIX | 2018-04-11 | 1 | -2/+2 |
| | |||||
* | MPPA - Oshr | Cyril SIX | 2018-04-11 | 1 | -2/+2 |
| | |||||
* | MPPA - Ocast32signed | Cyril SIX | 2018-04-11 | 1 | -4/+9 |
| | |||||
* | MPPA - Onegf | Cyril SIX | 2018-04-11 | 1 | -6/+6 |
| | |||||
* | MPPA - Added Mload | Cyril SIX | 2018-04-10 | 1 | -5/+5 |
| | |||||
* | MPPA - bunch of ops added : lowlong, and, or, shr.. | Cyril SIX | 2018-04-10 | 1 | -17/+17 |
| | |||||
* | MPPA - Oneg + Pnegw | Cyril SIX | 2018-04-10 | 1 | -3/+3 |
| | |||||
* | MPPA - Onegl + Pnegl | Cyril SIX | 2018-04-10 | 1 | -3/+3 |
| | |||||
* | MPPA - optimized branch generation for signed long compare to 0 | Cyril SIX | 2018-04-09 | 1 | -1/+5 |
| | |||||
* | MPPA - Optimized branch generation for word compare to 0 | Cyril SIX | 2018-04-09 | 1 | -2/+27 |
| | |||||
* | MPPA - Long comparisons | Cyril SIX | 2018-04-04 | 1 | -8/+12 |
| | |||||
* | MPPA - Added non immediate comparison | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | MPPA - Added signed immediate comparison | Cyril SIX | 2018-04-04 | 1 | -3/+3 |
| | |||||
* | MPPA - 32-bits immediate eq/neq branches | Cyril SIX | 2018-04-04 | 1 | -205/+8 |
| | |||||
* | MPPA - Added Mgoto + Pj_l | Cyril SIX | 2018-04-04 | 1 | -2/+2 |
| | |||||
* | MPPA - mppa_call branch cleaning | Cyril SIX | 2018-04-04 | 1 | -2/+1 |
| | |||||
* | MPPA - Added Msetstack + bunch of store --> on a des call ! | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | MPPA - Reactivated Omove | Cyril SIX | 2018-04-04 | 1 | -2/+2 |
| | |||||
* | MPPA - Added Mcall + Pgoto + modified Pcall | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | MPPA - Added Mgetstack, loadind, a bunch of loads | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | MPPA - Activated Mtailcall + Pcall | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | MPPA - Activated Paddw and Paddiw + ops | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | Replaced ireg0 by ireg | Cyril SIX | 2018-04-04 | 1 | -12/+12 |
| | |||||
* | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 1 | -41/+4 |
| | |||||
* | MPPA - Created Pmakel instruction + re-activated Oloadimm64/32 | Cyril SIX | 2018-04-04 | 1 | -41/+16 |
| | |||||
* | MPPA - Removed Plui, replaced with Pmake, and modified make_immed64 | Cyril SIX | 2018-04-04 | 1 | -12/+18 |
| | |||||
* | MPPA - ABI proof complete (Asmgenproof.v:step_simulation) | Cyril SIX | 2018-04-04 | 1 | -2/+2 |
| | |||||
* | MPPA - Preuve de make_epilogue correct. | Cyril SIX | 2018-04-04 | 1 | -3/+4 |
| | | | | ça va un peu plus loin! | ||||
* | MPPA - Started restricting instructions + get/set + change ABI + trying to ↵ | Cyril SIX | 2018-04-04 | 1 | -30/+57 |
| | | | | prove it | ||||
* | MPPA - Started Asm.v + Asmgen.v, commenting out some instructions | Cyril SIX | 2018-04-04 | 1 | -85/+88 |
| | |||||
* | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+936 |