aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asmexpand.ml
Commit message (Expand)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 b...Cyril SIX2018-12-171-0/+2
* 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
generated by cgit (git 2.34.1) at 2024-07-04 12:13:37 +0000