Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | return_address_exists -> done | Sylvain Boulmé | 2018-09-20 | 1 | -7/+79 |
| | |||||
* | return_address suite | Sylvain Boulmé | 2018-09-19 | 1 | -6/+6 |
| | |||||
* | proof sketch for Asmgenproof.return_address_exists ? | Sylvain Boulmé | 2018-09-19 | 1 | -3/+17 |
| | |||||
* | premier jet Asmblockgenproof.return_address_offset | Sylvain Boulmé | 2018-09-18 | 1 | -7/+0 |
| | |||||
* | une solution pour le rao -> on fait remonter dans Asmblockgenproof | Sylvain Boulmé | 2018-09-06 | 1 | -5/+5 |
| | |||||
* | Rajout d'un return_address_offset. Besoin de changer forward_simu de mach ↵ | Cyril SIX | 2018-09-06 | 1 | -2/+22 |
| | | | | machblock | ||||
* | resoud pb du TransfLink | Sylvain Boulmé | 2018-09-06 | 1 | -0/+2 |
| | |||||
* | Remplacement de match_prog par un plus classique | Cyril SIX | 2018-09-06 | 1 | -14/+9 |
| | |||||
* | Asmblock -> Asm presque fini.. erreur sur driver/Compiler.v | Cyril SIX | 2018-09-06 | 1 | -1071/+31 |
| | |||||
* | MPPA - refactored instructions | Cyril SIX | 2018-05-11 | 1 | -5/+5 |
| | |||||
* | MPPA - Added ops for comparison operators | Cyril SIX | 2018-04-24 | 1 | -52/+12 |
| | |||||
* | MPPA - added remaining ops ; mult, div and floating point ops missing | Cyril SIX | 2018-04-20 | 1 | -0/+6 |
| | |||||
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 1 | -15/+17 |
| | | | | | | | | | | | 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 | -0/+2 |
| | |||||
* | MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annot | Cyril SIX | 2018-04-17 | 1 | -3/+3 |
| | | | | | Conflicts: mppa_k1c/Asmgenproof1.v | ||||
* | MPPA - Added optim for long unsigned cmp to 0. | Cyril SIX | 2018-04-13 | 1 | -1/+6 |
| | |||||
* | MPPA - Ocast32signed | Cyril SIX | 2018-04-11 | 1 | -0/+7 |
| | |||||
* | MPPA - Onegf | Cyril SIX | 2018-04-11 | 1 | -2/+4 |
| | |||||
* | MPPA - Added Mload | Cyril SIX | 2018-04-10 | 1 | -2/+5 |
| | |||||
* | MPPA - bunch of ops added : lowlong, and, or, shr.. | Cyril SIX | 2018-04-10 | 1 | -0/+6 |
| | |||||
* | MPPA - optimized branch generation for signed long compare to 0 | Cyril SIX | 2018-04-09 | 1 | -1/+2 |
| | |||||
* | MPPA - Optimized branch generation for word compare to 0 | Cyril SIX | 2018-04-09 | 1 | -2/+8 |
| | |||||
* | MPPA - Long comparisons | Cyril SIX | 2018-04-04 | 1 | -0/+8 |
| | |||||
* | MPPA - Added non immediate comparison | Cyril SIX | 2018-04-04 | 1 | -1/+5 |
| | |||||
* | MPPA - Added signed immediate comparison | Cyril SIX | 2018-04-04 | 1 | -0/+3 |
| | |||||
* | MPPA - 32-bits immediate eq/neq branches | Cyril SIX | 2018-04-04 | 1 | -9/+9 |
| | |||||
* | MPPA - Added Mgoto + Pj_l | Cyril SIX | 2018-04-04 | 1 | -2/+0 |
| | |||||
* | MPPA - mppa_call branch cleaning | Cyril SIX | 2018-04-04 | 1 | -7/+3 |
| | |||||
* | MPPA - Added Msetstack + bunch of store --> on a des call ! | Cyril SIX | 2018-04-04 | 1 | -5/+8 |
| | |||||
* | MPPA - Reactivated Omove | Cyril SIX | 2018-04-04 | 1 | -0/+4 |
| | |||||
* | MPPA - Added Mcall + Pgoto + modified Pcall | Cyril SIX | 2018-04-04 | 1 | -3/+9 |
| | |||||
* | MPPA - Added Mgetstack, loadind, a bunch of loads | Cyril SIX | 2018-04-04 | 1 | -6/+6 |
| | |||||
* | MPPA - Activated Mtailcall + Pcall | Cyril SIX | 2018-04-04 | 1 | -2/+4 |
| | |||||
* | MPPA - Activated Paddw and Paddiw + ops | Cyril SIX | 2018-04-04 | 1 | -3/+4 |
| | |||||
* | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 1 | -7/+9 |
| | |||||
* | MPPA - Created Pmakel instruction + re-activated Oloadimm64/32 | Cyril SIX | 2018-04-04 | 1 | -6/+4 |
| | |||||
* | MPPA - Removed Plui, replaced with Pmake, and modified make_immed64 | Cyril SIX | 2018-04-04 | 1 | -2/+3 |
| | |||||
* | MPPA - ABI proof complete (Asmgenproof.v:step_simulation) | Cyril SIX | 2018-04-04 | 1 | -40/+92 |
| | |||||
* | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+1028 |