index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
mppa_k1c
/
Asmexpand.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
more builtins
David Monniaux
2019-04-11
1
-0
/
+14
*
afaddd / afaddw
David Monniaux
2019-04-11
1
-0
/
+8
*
instruction cache builtins
David Monniaux
2019-04-11
1
-0
/
+6
*
data cache builtins
David Monniaux
2019-04-11
1
-0
/
+8
*
some more builtins
David Monniaux
2019-04-11
1
-0
/
+10
*
__builtin_k1_ldu
David Monniaux
2019-04-11
1
-1
/
+3
*
wfxl / wfxm
David Monniaux
2019-04-11
1
-3
/
+14
*
__builtin_k1_get and __builtin_k1_set with safeguards, work for clock
David Monniaux
2019-04-11
1
-3
/
+10
*
get / set k1
David Monniaux
2019-04-10
1
-0
/
+5
*
Fixing missing features in Asmexpand.ml (EF_annot, EF_annot_val, EF_inline_asm)
Cyril SIX
2019-04-09
1
-9
/
+6
*
#90 Asmvliw/Asmblock refactoring attempt
Cyril SIX
2019-04-05
1
-58
/
+58
*
Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yet
Cyril SIX
2019-04-02
1
-22
/
+22
*
rm tests inherited from Risc-V
David Monniaux
2019-03-20
1
-30
/
+5
*
Psemi manquant dans l'expansion de Pallocframe
Cyril SIX
2019-03-19
1
-0
/
+2
*
The parent frame pointer is now R17 instead of R14
Cyril SIX
2019-03-18
1
-10
/
+5
*
Fix for frame pointer being destroyed
Cyril SIX
2019-03-12
1
-5
/
+10
*
volatile stores
David Monniaux
2019-03-10
1
-43
/
+40
*
volatile load
David Monniaux
2019-03-10
1
-37
/
+37
*
Remove unnecessary and error prone FR constructor for pregs
Cyril SIX
2019-02-20
1
-1
/
+0
*
implemented builtin memcpy
David Monniaux
2019-02-01
1
-95
/
+50
*
give meaningful messages please
David Monniaux
2019-01-27
1
-2
/
+12
*
Added sxwd and zxwd support
Cyril SIX
2019-01-22
1
-4
/
+0
*
Ommited a ;; in va_arg_start macro
Cyril SIX
2019-01-17
1
-0
/
+1
*
Corrected a bug in Pallocframe expansion with va_args
Cyril SIX
2019-01-17
1
-3
/
+6
*
Added a simple postpass oracle that splits a bblock into single instruction b...
Cyril SIX
2018-12-17
1
-0
/
+2
*
Finished implementation of va_arg + testing done
Cyril SIX
2018-11-30
1
-4
/
+8
*
Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie
Cyril SIX
2018-11-28
1
-5
/
+4
*
mppa_k1c compiles
Cyril SIX
2018-11-28
1
-3
/
+2
*
Changed ABI to match GCC - interoperability not tested yet
Cyril SIX
2018-11-23
1
-4
/
+4
*
Mise à jour vis à vis de CompCert 3.4
Cyril SIX
2018-11-21
1
-5
/
+2
*
Fixed BaR mentions in the ML files
Cyril SIX
2018-09-28
1
-7
/
+4
*
Rebase avec le commit qui fixe les tests + librairies
Cyril SIX
2018-09-06
1
-6
/
+6
*
Asmblock & cie - ça compile
Cyril SIX
2018-09-06
1
-18
/
+22
*
Extraction issue
Cyril SIX
2018-09-06
1
-2
/
+2
*
MPPA - Added Builtins support. Starting with clzll and stsud
Cyril SIX
2018-06-05
1
-60
/
+5
*
WIP - Trying to add builtins support. They are not detected for now :(
Cyril SIX
2018-05-30
1
-4
/
+4
*
MPPA - refactored instructions
Cyril SIX
2018-05-11
1
-6
/
+6
*
MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32)
Cyril SIX
2018-04-26
1
-3
/
+3
*
MPPA - Ocast32signed
Cyril SIX
2018-04-11
1
-2
/
+3
*
MPPA - bunch of ops added : lowlong, and, or, shr..
Cyril SIX
2018-04-10
1
-2
/
+2
*
MPPA - code cleaning
Cyril SIX
2018-04-04
1
-1
/
+1
*
MPPA - The project compiles.
Cyril SIX
2018-04-04
1
-73
/
+85
*
Hook for MPPA_K1c (generates Risc-V code for now)
Cyril SIX
2018-04-04
1
-0
/
+619