Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | afaddd / afaddw | David Monniaux | 2019-04-11 | 1 | -0/+1 |
| | |||||
* | wfxl / wfxm | David Monniaux | 2019-04-11 | 1 | -2/+7 |
| | |||||
* | get / set k1 | David Monniaux | 2019-04-10 | 1 | -1/+4 |
| | |||||
* | no need for this to be in two_address_op | David Monniaux | 2019-04-06 | 1 | -1/+1 |
| | |||||
* | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 1 | -1/+1 |
| | |||||
* | selectl with condition | David Monniaux | 2019-04-05 | 1 | -1/+1 |
| | |||||
* | progressing on select | David Monniaux | 2019-04-04 | 1 | -1/+1 |
| | |||||
* | ternary ops for float/double | David Monniaux | 2019-04-03 | 1 | -1/+1 |
| | |||||
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-02 | 1 | -2/+1 |
|\ | |||||
| * | Jump tables now work. There is still an "Admitted" subcase in a proof. | David Monniaux | 2019-03-22 | 1 | -2/+1 |
| | | |||||
* | | more on cmove | David Monniaux | 2019-03-25 | 1 | -1/+1 |
|/ | |||||
* | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-20 | 1 | -1/+1 |
|\ | |||||
| * | maddl / maddlim are synthesized (but not for pointers it seems) | David Monniaux | 2019-03-20 | 1 | -1/+1 |
| | | |||||
* | | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-19 | 1 | -1/+1 |
|\| | |||||
| * | specify instructions that write to first operand (madd) | David Monniaux | 2019-03-19 | 1 | -1/+1 |
| | | |||||
* | | The parent frame pointer is now R17 instead of R14 | Cyril SIX | 2019-03-18 | 1 | -6/+6 |
|/ | |||||
* | comment | David Monniaux | 2019-02-02 | 1 | -0/+1 |
| | |||||
* | implemented builtin memcpy | David Monniaux | 2019-02-01 | 1 | -1/+1 |
| | |||||
* | Changed ABI to match GCC - interoperability not tested yet | Cyril SIX | 2018-11-23 | 1 | -17/+16 |
| | |||||
* | MPPA - Added modulo and division 64 bits. Non certified | Cyril SIX | 2018-05-21 | 1 | -4/+4 |
| | | | | | | | 32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins. | ||||
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 1 | -4/+6 |
| | | | | | | | | | | | 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 - code cleaning | Cyril SIX | 2018-04-04 | 1 | -17/+18 |
| | |||||
* | MPPA - ABI proof complete (Asmgenproof.v:step_simulation) | Cyril SIX | 2018-04-04 | 1 | -2/+1 |
| | |||||
* | MPPA - Preuve de make_epilogue correct. | Cyril SIX | 2018-04-04 | 1 | -5/+5 |
| | | | | ça va un peu plus loin! | ||||
* | MPPA - Started Asm.v + Asmgen.v, commenting out some instructions | Cyril SIX | 2018-04-04 | 1 | -4/+5 |
| | |||||
* | MPPA - Machregs + Conventions1 + backend proof tweaking | Cyril SIX | 2018-04-04 | 1 | -86/+59 |
| | |||||
* | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+253 |