aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asmexpand.ml
Commit message (Collapse)AuthorAgeFilesLines
* smart memcpy for arbitrary sizesDavid Monniaux2019-05-091-11/+26
|
* copy 16 by 16David Monniaux2019-05-091-13/+14
|
* slightly improved memcpyDavid Monniaux2019-05-091-12/+23
|
* structure copy through 4 byte registers instead of 1David Monniaux2019-05-091-24/+47
|
* fix linking bug (my fault)David Monniaux2019-05-071-1/+1
|
* put the get ra in same bundle as allocframeDavid Monniaux2019-05-071-1/+1
|
* one cycle less in allocframeDavid Monniaux2019-05-061-3/+3
|
* rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)David Monniaux2019-05-031-22/+22
|
* more builtinsDavid Monniaux2019-04-111-0/+14
|
* afaddd / afaddwDavid Monniaux2019-04-111-0/+8
|
* instruction cache builtinsDavid Monniaux2019-04-111-0/+6
|
* data cache builtinsDavid Monniaux2019-04-111-0/+8
|
* some more builtinsDavid Monniaux2019-04-111-0/+10
|
* __builtin_k1_lduDavid Monniaux2019-04-111-1/+3
|
* wfxl / wfxmDavid Monniaux2019-04-111-3/+14
|
* __builtin_k1_get and __builtin_k1_set with safeguards, work for clockDavid Monniaux2019-04-111-3/+10
|
* get / set k1David Monniaux2019-04-101-0/+5
|
* Fixing missing features in Asmexpand.ml (EF_annot, EF_annot_val, EF_inline_asm)Cyril SIX2019-04-091-9/+6
|
* #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-051-58/+58
|
* Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yetCyril SIX2019-04-021-22/+22
|
* rm tests inherited from Risc-VDavid Monniaux2019-03-201-30/+5
|
* Psemi manquant dans l'expansion de PallocframeCyril SIX2019-03-191-0/+2
|
* The parent frame pointer is now R17 instead of R14Cyril SIX2019-03-181-10/+5
|
* Fix for frame pointer being destroyedCyril SIX2019-03-121-5/+10
|
* volatile storesDavid Monniaux2019-03-101-43/+40
|
* volatile loadDavid Monniaux2019-03-101-37/+37
|
* Remove unnecessary and error prone FR constructor for pregsCyril SIX2019-02-201-1/+0
|
* implemented builtin memcpyDavid Monniaux2019-02-011-95/+50
|
* give meaningful messages pleaseDavid Monniaux2019-01-271-2/+12
|
* Added sxwd and zxwd supportCyril SIX2019-01-221-4/+0
|
* Ommited a ;; in va_arg_start macroCyril SIX2019-01-171-0/+1
|
* Corrected a bug in Pallocframe expansion with va_argsCyril SIX2019-01-171-3/+6
|
* Added a simple postpass oracle that splits a bblock into single instruction ↵Cyril SIX2018-12-171-0/+2
| | | | bundles
* Finished implementation of va_arg + testing doneCyril SIX2018-11-301-4/+8
|
* Wrote some tests on va_arg, need to implement __compcert_va_int32 & cieCyril SIX2018-11-281-5/+4
|
* mppa_k1c compilesCyril SIX2018-11-281-3/+2
|
* Changed ABI to match GCC - interoperability not tested yetCyril SIX2018-11-231-4/+4
|
* Mise à jour vis à vis de CompCert 3.4Cyril SIX2018-11-211-5/+2
|
* Fixed BaR mentions in the ML filesCyril SIX2018-09-281-7/+4
|
* Rebase avec le commit qui fixe les tests + librairiesCyril SIX2018-09-061-6/+6
|
* Asmblock & cie - ça compileCyril SIX2018-09-061-18/+22
|
* Extraction issueCyril SIX2018-09-061-2/+2
|
* MPPA - Added Builtins support. Starting with clzll and stsudCyril SIX2018-06-051-60/+5
|
* WIP - Trying to add builtins support. They are not detected for now :(Cyril SIX2018-05-301-4/+4
|
* MPPA - refactored instructionsCyril SIX2018-05-111-6/+6
|
* MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32)Cyril SIX2018-04-261-3/+3
|
* MPPA - Ocast32signedCyril SIX2018-04-111-2/+3
|
* MPPA - bunch of ops added : lowlong, and, or, shr..Cyril SIX2018-04-101-2/+2
|
* MPPA - code cleaningCyril SIX2018-04-041-1/+1
|
* MPPA - The project compiles.Cyril SIX2018-04-041-73/+85
| | | | | | | | | | | | | Supports very simple programs that load integer immediates. It starts the main, loads integer in registers, and return correctly. Addition in Mach not yet supported, but should not be hard to add them. Function calls are not yet supported. The ABI for now is the same as the RiscV, with a small twist: $ra is first loaded in a user register, then this user register is pushed (instead of pushing $ra straight away).
generated by cgit (git 2.34.1) at 2024-07-14 05:47:54 +0000