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 /mppa_k1c/AsmToJSON.ml | |
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 'mppa_k1c/AsmToJSON.ml')
-rw-r--r-- | mppa_k1c/AsmToJSON.ml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/mppa_k1c/AsmToJSON.ml b/mppa_k1c/AsmToJSON.ml new file mode 100644 index 00000000..8a6a97a7 --- /dev/null +++ b/mppa_k1c/AsmToJSON.ml @@ -0,0 +1,23 @@ +(* *********************************************************************) +(* *) +(* The Compcert verified compiler *) +(* *) +(* Bernhard Schommer, AbsInt Angewandte Informatik GmbH *) +(* *) +(* AbsInt Angewandte Informatik GmbH. All rights reserved. This file *) +(* is distributed under the terms of the INRIA Non-Commercial *) +(* License Agreement. *) +(* *) +(* *********************************************************************) + +(* Simple functions to serialize RISC-V Asm to JSON *) + +(* Dummy function *) +let destination: string option ref = ref None + +let sdump_folder = ref "" + +let print_if prog sourcename = + () + +let pp_mnemonics pp = () |