diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-15 12:05:57 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:07 +0200 |
| commit | f677664f63ca17c0a514c449f62ad958b5f9eb68 (patch) | |
| tree | 689f66543dc81e413abe053d475b8c947e421abd /extraction | |
| parent | 74ce642ef4e223ef02369c290ca1625b7b7f912c (diff) | |
| download | compcert-kvx-f677664f63ca17c0a514c449f62ad958b5f9eb68.tar.gz compcert-kvx-f677664f63ca17c0a514c449f62ad958b5f9eb68.zip | |
MPPA - The project compiles.
Supports very simple programs that load integer immediates. It starts
the main, loads integer in registers, and return correctly.
Addition in Mach not yet supported, but should not be hard to add them.
Function calls are not yet supported.
The ABI for now is the same as the RiscV, with a small twist: $ra is
first loaded in a user register, then this user register is pushed
(instead of pushing $ra straight away).
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/extraction.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index a47a7237..8ac776ef 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -167,6 +167,7 @@ Set Extraction AccessOpaque. Cd "extraction". Separate Extraction + Asmgen.addptrofs Compiler.transf_c_program Compiler.transf_cminor_program Cexec.do_initial_state Cexec.do_step Cexec.at_final_state Ctypes.merge_attributes Ctypes.remove_attributes Ctypes.build_composite_env |