From f677664f63ca17c0a514c449f62ad958b5f9eb68 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Thu, 15 Mar 2018 12:05:57 +0100 Subject: 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). --- extraction/extraction.v | 1 + 1 file changed, 1 insertion(+) (limited to 'extraction') 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 -- cgit