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/Machine.mli | |
| 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/Machine.mli')
| -rw-r--r-- | cparser/Machine.mli | 1 |
1 files changed, 1 insertions, 0 deletions
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 |