aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asmexpand.ml
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-636/+0
* Adding copyrightsCyril SIX2020-05-041-17/+14
* added EF_profilingDavid Monniaux2020-04-081-0/+1
* Breaking the prologue to satisfy resource constraintsCyril SIX2020-02-061-1/+1
* Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-241-2/+2
|\
| * (#161) - Fixing vararg bugCyril SIX2019-09-241-2/+2
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-201-30/+33
|\|
| * __builtin_bswap16, 32 and 64Cyril SIX2019-09-201-30/+33
* | notrap in mppa_k1c ML codeDavid Monniaux2019-09-081-17/+17
|/
* Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-031-2/+2
|\
| * various fixesDavid Monniaux2019-07-191-2/+2
* | (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-301-2/+2
|/
* 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
generated by cgit (git 2.34.1) at 2024-07-04 13:55:49 +0000