Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rebase avec le commit qui fixe les tests + librairies | Cyril SIX | 2018-09-06 | 1 | -1/+5 |
| | |||||
* | Asmblock & cie - ça compile | Cyril SIX | 2018-09-06 | 1 | -6/+1 |
| | |||||
* | Extraction issue | Cyril SIX | 2018-09-06 | 1 | -1/+14 |
| | |||||
* | Remplacement de match_prog par un plus classique | Cyril SIX | 2018-09-06 | 1 | -26/+59 |
| | |||||
* | Asmblock -> Asm presque fini.. erreur sur driver/Compiler.v | Cyril SIX | 2018-09-06 | 1 | -1244/+451 |
| | |||||
* | WIP - Trying to add builtins support. They are not detected for now :( | Cyril SIX | 2018-05-30 | 1 | -21/+6 |
| | |||||
* | MPPA - refactored instructions | Cyril SIX | 2018-05-11 | 1 | -270/+291 |
| | |||||
* | Code cleaning | Cyril SIX | 2018-05-09 | 1 | -137/+92 |
| | |||||
* | MPPA - Added ops for comparison operators | Cyril SIX | 2018-04-24 | 1 | -2/+8 |
| | |||||
* | MPPA - added remaining ops ; mult, div and floating point ops missing | Cyril SIX | 2018-04-20 | 1 | -0/+21 |
| | |||||
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 1 | -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 test | Cyril SIX | 2018-04-17 | 1 | -0/+3 |
| | |||||
* | MPPA - More shifts | Cyril SIX | 2018-04-17 | 1 | -0/+12 |
| | |||||
* | MPPA - added all shifts | Cyril SIX | 2018-04-17 | 1 | -1/+16 |
| | |||||
* | MPPA - Added optim for long unsigned cmp to 0. | Cyril SIX | 2018-04-13 | 1 | -0/+16 |
| | |||||
* | Osub and Omul | Cyril SIX | 2018-04-11 | 1 | -0/+6 |
| | |||||
* | MPPA - Oshr | Cyril SIX | 2018-04-11 | 1 | -0/+3 |
| | |||||
* | MPPA - Ocast32signed | Cyril SIX | 2018-04-11 | 1 | -0/+6 |
| | |||||
* | MPPA - Onegf | Cyril SIX | 2018-04-11 | 1 | -4/+4 |
| | |||||
* | MPPA - Added Mload | Cyril SIX | 2018-04-10 | 1 | -9/+14 |
| | |||||
* | MPPA - bunch of ops added : lowlong, and, or, shr.. | Cyril SIX | 2018-04-10 | 1 | -0/+31 |
| | |||||
* | MPPA - Oneg + Pnegw | Cyril SIX | 2018-04-10 | 1 | -0/+3 |
| | |||||
* | MPPA - Onegl + Pnegl | Cyril SIX | 2018-04-10 | 1 | -0/+3 |
| | |||||
* | MPPA - optimized branch generation for signed long compare to 0 | Cyril SIX | 2018-04-09 | 1 | -11/+32 |
| | |||||
* | MPPA - Optimized branch generation for word compare to 0 | Cyril SIX | 2018-04-09 | 1 | -5/+26 |
| | |||||
* | MPPA - Long comparisons | Cyril SIX | 2018-04-04 | 1 | -1/+28 |
| | |||||
* | MPPA - 32-bits immediate eq/neq branches | Cyril SIX | 2018-04-04 | 1 | -232/+122 |
| | |||||
* | MPPA - Added Mgoto + Pj_l | Cyril SIX | 2018-04-04 | 1 | -4/+4 |
| | |||||
* | MPPA - mppa_call branch cleaning | Cyril SIX | 2018-04-04 | 1 | -12/+1 |
| | |||||
* | MPPA - Added Msetstack + bunch of store --> on a des call ! | Cyril SIX | 2018-04-04 | 1 | -16/+16 |
| | |||||
* | MPPA - Added Mcall + Pgoto + modified Pcall | Cyril SIX | 2018-04-04 | 1 | -0/+4 |
| | |||||
* | MPPA - Added Mgetstack, loadind, a bunch of loads | Cyril SIX | 2018-04-04 | 1 | -16/+16 |
| | |||||
* | MPPA - Activated Mtailcall + Pcall | Cyril SIX | 2018-04-04 | 1 | -2/+14 |
| | |||||
* | MPPA - Activated Paddw and Paddiw + ops | Cyril SIX | 2018-04-04 | 1 | -8/+8 |
| | |||||
* | Replaced ireg0 by ireg | Cyril SIX | 2018-04-04 | 1 | -84/+86 |
| | |||||
* | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 1 | -29/+16 |
| | |||||
* | MPPA - Created Pmakel instruction + re-activated Oloadimm64/32 | Cyril SIX | 2018-04-04 | 1 | -6/+9 |
| | |||||
* | MPPA - Removed Plui, replaced with Pmake, and modified make_immed64 | Cyril SIX | 2018-04-04 | 1 | -6/+9 |
| | |||||
* | 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 | -1/+2 |
| | | | | ça va un peu plus loin! | ||||
* | MPPA - Started restricting instructions + get/set + change ABI + trying to ↵ | Cyril SIX | 2018-04-04 | 1 | -27/+59 |
| | | | | prove it | ||||
* | MPPA - Started Asm.v + Asmgen.v, commenting out some instructions | Cyril SIX | 2018-04-04 | 1 | -88/+76 |
| | |||||
* | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+1172 |