diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-02-21 17:45:44 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:06 +0200 |
| commit | 6a3f3a62452670380827f9e39dd28c5092741099 (patch) | |
| tree | 98f3ac276cec9c64d0b8ee030e65a41713295b34 /cparser | |
| parent | adbefdc338c921f1b05dcf4996d32a3ca8b5f486 (diff) | |
| download | compcert-kvx-6a3f3a62452670380827f9e39dd28c5092741099.tar.gz compcert-kvx-6a3f3a62452670380827f9e39dd28c5092741099.zip | |
Hook for MPPA_K1c (generates Risc-V code for now)
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Machine.ml | 5 | ||||
| -rw-r--r-- | cparser/Machine.mli | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/cparser/Machine.ml b/cparser/Machine.ml index 4d1e7588..7d5a7f77 100644 --- a/cparser/Machine.ml +++ b/cparser/Machine.ml @@ -224,6 +224,11 @@ let rv64 = struct_passing_style = SP_ref_callee; (* Wrong *) struct_return_style = SR_ref } (* to check *) +let mppa_k1c = + { ilp32ll64 with name = "k1c"; + char_signed = true; + supports_unaligned_accesses = true } + (* Add GCC extensions re: sizeof and alignof *) let gcc_extensions c = diff --git a/cparser/Machine.mli b/cparser/Machine.mli index 53c13b52..32f9a4de 100644 --- a/cparser/Machine.mli +++ b/cparser/Machine.mli @@ -82,6 +82,7 @@ val arm_littleendian : t val arm_bigendian : t val rv32 : t val rv64 : t +val mppa_k1c : t val gcc_extensions : t -> t val compcert_interpreter : t -> t |