| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added sxwd and zxwd support | Cyril SIX | 2019-01-22 | 1 | -3/+5 |
| | | |||||
| * | Merge corrections | Cyril SIX | 2019-01-17 | 1 | -69/+69 |
| | | |||||
| * | Merge branch 'mppa_k1c' into mppa_postpass | Cyril SIX | 2019-01-17 | 1 | -65/+65 |
| |\ | |||||
| | * | Fixed bundles (back to 1 instruction per bundle) | Cyril SIX | 2018-12-07 | 1 | -65/+65 |
| | | | |||||
| * | | More instruction definitions in the oracle | Cyril SIX | 2019-01-16 | 1 | -1/+2 |
| | | | |||||
| * | | [BROKEN] trying to link the test in mppa_k1c/unittest/postpass_test | Cyril SIX | 2019-01-11 | 1 | -2/+1 |
| |/ | |||||
| * | Introducing ;; as Pcomma in Asm.v | Cyril SIX | 2018-12-03 | 1 | -64/+65 |
| | | |||||
| * | Fixed BaR mentions in the ML files | Cyril SIX | 2018-09-28 | 1 | -9/+3 |
| | | |||||
| * | Rebase avec le commit qui fixe les tests + librairies | Cyril SIX | 2018-09-06 | 1 | -0/+4 |
| | | |||||
| * | Asmblock & cie - ça compile | Cyril SIX | 2018-09-06 | 1 | -85/+69 |
| | | |||||
| * | MPPA - Added Builtins support. Starting with clzll and stsud | Cyril SIX | 2018-06-05 | 1 | -1/+1 |
| | | |||||
| * | WIP - Trying to add builtins support. They are not detected for now :( | Cyril SIX | 2018-05-30 | 1 | -0/+6 |
| | | |||||
| * | MPPA - refactored instructions | Cyril SIX | 2018-05-11 | 1 | -133/+159 |
| | | |||||
| * | Code cleaning | Cyril SIX | 2018-05-09 | 1 | -2/+2 |
| | | |||||
| * | 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 | 1 | -0/+4 |
| | | |||||
| * | MPPA - added remaining ops ; mult, div and floating point ops missing | Cyril SIX | 2018-04-20 | 1 | -0/+15 |
| | | |||||
| * | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 1 | -1/+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/+2 |
| | | |||||
| * | MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annot | Cyril SIX | 2018-04-17 | 1 | -10/+10 |
| | | | | | | Conflicts: mppa_k1c/Asmgenproof1.v | ||||
| * | MPPA - More shifts | Cyril SIX | 2018-04-17 | 1 | -0/+8 |
| | | |||||
| * | MPPA - added all shifts | Cyril SIX | 2018-04-17 | 1 | -0/+10 |
| | | |||||
| * | MPPA - Added optim for long unsigned cmp to 0. | Cyril SIX | 2018-04-13 | 1 | -1/+1 |
| | | |||||
| * | Osub and Omul | Cyril SIX | 2018-04-11 | 1 | -0/+6 |
| | | |||||
| * | MPPA - Oshr | Cyril SIX | 2018-04-11 | 1 | -0/+2 |
| | | |||||
| * | MPPA - Ocast32signed | Cyril SIX | 2018-04-11 | 1 | -2/+2 |
| | | |||||
| * | MPPA - Onegf | Cyril SIX | 2018-04-11 | 1 | -0/+3 |
| | | |||||
| * | MPPA - Added Mload | Cyril SIX | 2018-04-10 | 1 | -10/+19 |
| | | |||||
| * | MPPA - bunch of ops added : lowlong, and, or, shr.. | Cyril SIX | 2018-04-10 | 1 | -2/+24 |
| | | |||||
| * | MPPA - Oneg + Pnegw | Cyril SIX | 2018-04-10 | 1 | -0/+2 |
| | | |||||
| * | MPPA - Onegl + Pnegl | Cyril SIX | 2018-04-10 | 1 | -0/+2 |
| | | |||||
| * | MPPA - optimized branch generation for signed long compare to 0 | Cyril SIX | 2018-04-09 | 1 | -0/+6 |
| | | |||||
| * | MPPA - Optimized branch generation for word compare to 0 | Cyril SIX | 2018-04-09 | 1 | -0/+4 |
| | | |||||
| * | MPPA - Desactivated Pbuiltin EF_annot | Cyril SIX | 2018-04-04 | 1 | -7/+6 |
| | | |||||
| * | MPPA - Long comparisons | Cyril SIX | 2018-04-04 | 1 | -0/+2 |
| | | |||||
| * | MPPA - 32-bits immediate eq/neq branches | Cyril SIX | 2018-04-04 | 1 | -325/+38 |
| | | |||||
| * | MPPA - Added Mgoto + Pj_l | Cyril SIX | 2018-04-04 | 1 | -1/+1 |
| | | |||||
| * | MPPA - Added Msetstack + bunch of store --> on a des call ! | Cyril SIX | 2018-04-04 | 1 | -5/+5 |
| | | |||||
| * | MPPA - Added Mcall + Pgoto + modified Pcall | Cyril SIX | 2018-04-04 | 1 | -1/+3 |
| | | |||||
| * | MPPA - Added Mgetstack, loadind, a bunch of loads | Cyril SIX | 2018-04-04 | 1 | -3/+3 |
| | | |||||
| * | MPPA - Activated Mtailcall + Pcall | Cyril SIX | 2018-04-04 | 1 | -0/+2 |
| | | |||||
| * | MPPA - Activated Paddw and Paddiw + ops | Cyril SIX | 2018-04-04 | 1 | -6/+6 |
| | | |||||
| * | Replaced ireg0 by ireg | Cyril SIX | 2018-04-04 | 1 | -73/+73 |
| | | |||||
| * | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 1 | -5/+2 |
| | | |||||
| * | MPPA - The project compiles. | Cyril SIX | 2018-04-04 | 1 | -74/+59 |
| | | | | | | | | | | | | | | 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). | ||||
| * | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+657 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |