Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Minor fix on TargetPrinter (coqint instead of coqint64 for adequate types) | Cyril SIX | 2019-03-08 | 1 | -8/+8 |
| | |||||
* | Added double comparisons | Cyril SIX | 2019-03-01 | 1 | -0/+2 |
| | |||||
* | Implemented float comparisons (no branching yet, and no negation) | Cyril SIX | 2019-03-01 | 1 | -0/+15 |
| | |||||
* | Ointuofsingle done | Cyril SIX | 2019-03-01 | 1 | -0/+2 |
| | |||||
* | Float conversion fixes + some more conversions | Cyril SIX | 2019-02-27 | 1 | -3/+7 |
| | |||||
* | Fixed some additional operands inversions | Cyril SIX | 2019-02-27 | 1 | -4/+4 |
| | |||||
* | FIX the order of operands of float sub was inverted | Cyril SIX | 2019-02-27 | 1 | -2/+2 |
| | |||||
* | Remove unnecessary and error prone FR constructor for pregs | Cyril SIX | 2019-02-20 | 1 | -2/+0 |
| | |||||
* | Rajout d'opérateurs flottants, travail sur les tests --> à continuer | Cyril SIX | 2019-02-15 | 1 | -2/+27 |
| | |||||
* | Added Olongoffloat, Ofloatoflong and doubleconv test | Cyril SIX | 2019-02-12 | 1 | -0/+4 |
| | |||||
* | Added Ointofsingle + floatconv unit test | Cyril SIX | 2019-02-12 | 1 | -0/+2 |
| | |||||
* | Added Osingleofint | Cyril SIX | 2019-02-12 | 1 | -0/+2 |
| | |||||
* | Added Ofloatconst and Osingleconst (not integrated in scheduler yet) | Cyril SIX | 2019-02-12 | 1 | -0/+12 |
| | |||||
* | Added indirect tailcalls | Cyril SIX | 2019-02-08 | 1 | -0/+2 |
| | |||||
* | Ugly hack to get at the k1c standard library stdin/stdout/stderr | David Monniaux | 2019-02-01 | 1 | -1/+6 |
| | |||||
* | implemented builtin memcpy | David Monniaux | 2019-02-01 | 1 | -1/+3 |
| | |||||
* | Adding indirect calls (icall instruction) | Cyril SIX | 2019-01-29 | 1 | -0/+2 |
| | |||||
* | 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 |
| |