Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | selectl | David Monniaux | 2019-03-25 | 1 | -0/+7 |
| | |||||
* | more on cmove | David Monniaux | 2019-03-25 | 1 | -0/+7 |
| | |||||
* | rm Pdiv / Pdivu | David Monniaux | 2019-03-22 | 1 | -12/+0 |
| | |||||
* | 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 |
| | |||||
* | 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 |
| | |||||
* | Added Osingleofint | Cyril SIX | 2019-02-12 | 1 | -13/+12 |
| | |||||
* | Added Ofloatconst and Osingleconst (not integrated in scheduler yet) | Cyril SIX | 2019-02-12 | 1 | -10/+4 |
| | |||||
* | Added indirect tailcalls | Cyril SIX | 2019-02-08 | 1 | -2/+2 |
| | |||||
* | Oshrxlimm | Cyril SIX | 2019-02-08 | 1 | -1/+7 |
| | |||||
* | Rajouté des erreurs plus explicites dans Asmblockgen.v | Cyril SIX | 2019-01-30 | 1 | -13/+57 |
| | |||||
* | give meaningful "unhandled instr" messages | David Monniaux | 2019-01-29 | 1 | -11/+7 |
| | |||||
* | Adding indirect calls (icall instruction) | Cyril SIX | 2019-01-29 | 1 | -3/+3 |
| | |||||
* | Adding a predicate that a builtin must be alone in its basicblock | Cyril SIX | 2019-01-23 | 1 | -2/+6 |
| | |||||
* | Added sxwd and zxwd support | Cyril SIX | 2019-01-22 | 1 | -9/+4 |
| | |||||
* | Merge branch 'mppa_k1c' into mppa_postpass | Cyril SIX | 2019-01-17 | 1 | -13/+13 |
|\ | |||||
| * | Added an error message for 32-bits division and modulo | Cyril SIX | 2018-12-11 | 1 | -13/+13 |
| | | |||||
* | | Moving size_blocks from Asmblockgen to Asmblock | Cyril SIX | 2018-12-05 | 1 | -9/+0 |
|/ | |||||
* | Changed ABI to match GCC - interoperability not tested yet | Cyril SIX | 2018-11-23 | 1 | -11/+13 |
| | |||||
* | Mise à jour vis à vis de CompCert 3.4 | Cyril SIX | 2018-11-21 | 1 | -1/+2 |
| | |||||
* | Modified "Asmgen.*" error messages to "Asmblockgen.*" | Cyril SIX | 2018-11-16 | 1 | -12/+12 |
| | |||||
* | MBcond true proved (but a small change needs to be done to Asmblockgenproof1) | Cyril SIX | 2018-11-06 | 1 | -0/+5 |
| | |||||
* | Début de MBcond | Cyril SIX | 2018-11-05 | 1 | -2/+2 |
| | |||||
* | MBreturn done | Cyril SIX | 2018-11-05 | 1 | -3/+3 |
| | |||||
* | Setting ep to false when the basicblock has a header. MBgoto done. ↵ | Cyril SIX | 2018-10-31 | 1 | -3/+1 |
| | | | | MBgetparam needs fix |