Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves) | David Monniaux | 2019-05-03 | 1 | -2/+2 |
| | |||||
* | does not yet work, arity mismatch | David Monniaux | 2019-05-01 | 1 | -0/+1 |
| | |||||
* | it compiles | David Monniaux | 2019-05-01 | 1 | -15/+21 |
| | |||||
* | ça avance | David Monniaux | 2019-05-01 | 1 | -7/+7 |
| | |||||
* | translate load.xs | David Monniaux | 2019-05-01 | 1 | -1/+19 |
| | |||||
* | indexed2XS begin | David Monniaux | 2019-05-01 | 1 | -0/+1 |
| | |||||
* | removed fake ops for int32 -> double | David Monniaux | 2019-04-29 | 1 | -6/+0 |
| | |||||
* | srsd | David Monniaux | 2019-04-29 | 1 | -5/+1 |
| | |||||
* | begin using shrx | David Monniaux | 2019-04-29 | 1 | -5/+1 |
| | |||||
* | instruction translation for bitfield insertion | David Monniaux | 2019-04-27 | 1 | -0/+12 |
| | |||||
* | some more folding of code | David Monniaux | 2019-04-27 | 1 | -6/+13 |
| | |||||
* | 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 |
|\ | | | | | | | | | | | Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmblock.v | ||||
| * | 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 ↵ | Cyril SIX | 2019-03-18 | 1 | -1/+31 |
|\| | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | 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 |
| |