Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | read from bit fields | David Monniaux | 2019-04-25 | 1 | -0/+14 |
* | make_prologue à part | David Monniaux | 2019-04-24 | 1 | -3/+6 |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-refactor | Cyril SIX | 2019-04-08 | 1 | -0/+43 |
|\ | |||||
| * | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 1 | -9/+3 |
| * | selectl with condition | David Monniaux | 2019-04-05 | 1 | -2/+2 |
| * | Select cmplu | David Monniaux | 2019-04-05 | 1 | -1/+14 |
| * | select cmpu | David Monniaux | 2019-04-05 | 1 | -0/+14 |
| * | some more Oselect comparisons | David Monniaux | 2019-04-04 | 1 | -0/+2 |
| * | Oselect | David Monniaux | 2019-04-04 | 1 | -1/+11 |
| * | for floats and doubles, asmgen support | David Monniaux | 2019-04-03 | 1 | -8/+4 |
| * | ternary ops in AES and TEA | David Monniaux | 2019-04-03 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-03 | 1 | -54/+66 |
| |\ | |||||
| * | | selectl generation | David Monniaux | 2019-03-26 | 1 | -1/+1 |
| * | | selectl | David Monniaux | 2019-03-25 | 1 | -0/+7 |
| * | | more on cmove | David Monniaux | 2019-03-25 | 1 | -0/+7 |
* | | | #90 Asmvliw/Asmblock refactoring attempt | Cyril SIX | 2019-04-05 | 1 | -3/+3 |
| |/ |/| | |||||
* | | Preuve du transl_load et transl_store registre offset | Cyril SIX | 2019-04-03 | 1 | -5/+5 |
* | | We now generate load/store with 3 registers (ld rd rs1[rs2]), proofs admitted | Cyril SIX | 2019-04-03 | 1 | -9/+40 |
* | | Small refactoring and renaming of Stores and Loads | Cyril SIX | 2019-04-03 | 1 | -48/+28 |
* | | Merge branch 'mppa-mul' into mppa-jumptable | David Monniaux | 2019-03-22 | 1 | -12/+0 |
|\| | |||||
| * | rm Pdiv / Pdivu | David Monniaux | 2019-03-22 | 1 | -12/+0 |
* | | begin jumptables (does not work) | David Monniaux | 2019-03-21 | 1 | -2/+3 |
|/ | |||||
* | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-20 | 1 | -2/+0 |
|\ | |||||
| * | maddl gets to assembly | David Monniaux | 2019-03-20 | 1 | -2/+0 |
* | | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-19 | 1 | -2/+32 |
|\| | |||||
| * | mul+madd immediate | David Monniaux | 2019-03-19 | 1 | -1/+18 |
| * | mul immediate | David Monniaux | 2019-03-19 | 1 | -0/+8 |
| * | maddw dans la génération | David Monniaux | 2019-03-18 | 1 | -1/+6 |
* | | Pseudo instruction for 32 bits division, no code generation yet | Cyril SIX | 2019-03-19 | 1 | -2/+2 |
* | | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | Cyril SIX | 2019-03-18 | 1 | -1/+31 |
|\| | |||||
| * | andn / orn long complete I think | David Monniaux | 2019-03-18 | 1 | -0/+3 |
| * | andn / orn suite | David Monniaux | 2019-03-18 | 1 | -1/+28 |
* | | The parent frame pointer is now R17 instead of R14 | Cyril SIX | 2019-03-18 | 1 | -2/+0 |
|/ | |||||
* | long nand, nor, nxor | David Monniaux | 2019-03-16 | 1 | -0/+21 |
* | nxor | David Monniaux | 2019-03-16 | 1 | -0/+7 |
* | nor implemente | David Monniaux | 2019-03-16 | 1 | -0/+7 |
* | nand is implemented | David Monniaux | 2019-03-16 | 1 | -0/+7 |
* | 32-bit rotate finished | David Monniaux | 2019-03-16 | 1 | -1/+4 |
* | Added error message for Odivfs in Asmblockgen | Cyril SIX | 2019-03-08 | 1 | -0/+1 |
* | Rajout de commentaires sur les instructions non émises | Cyril SIX | 2019-03-08 | 1 | -8/+8 |
* | Fix minor proof | Cyril SIX | 2019-03-07 | 1 | -25/+37 |
* | Added double comparisons | Cyril SIX | 2019-03-01 | 1 | -20/+20 |
* | Ajouté la négation des comparateurs single | Cyril SIX | 2019-03-01 | 1 | -2/+2 |
* | Implemented float comparisons (no branching yet, and no negation) | Cyril SIX | 2019-03-01 | 1 | -28/+20 |
* | Ointuofsingle done | Cyril SIX | 2019-03-01 | 1 | -29/+11 |
* | Float conversion fixes + some more conversions | Cyril SIX | 2019-02-27 | 1 | -0/+24 |
* | Removing unused cases Asmblockgen | Cyril SIX | 2019-02-27 | 1 | -3/+0 |
* | Rajout d'opérateurs flottants, travail sur les tests --> à continuer | Cyril SIX | 2019-02-15 | 1 | -99/+43 |
* | Added Olongoffloat, Ofloatoflong and doubleconv test | Cyril SIX | 2019-02-12 | 1 | -0/+6 |
* | Added Ointofsingle + floatconv unit test | Cyril SIX | 2019-02-12 | 1 | -1/+4 |