diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-20 17:57:46 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:09 +0200 |
commit | 482c4d6f63113ab8486ba1773694bc7756cd0f00 (patch) | |
tree | 2931c0b45db8362058214992cc246fd386c91998 /mppa_k1c/Asmgen.v | |
parent | 6bf497f210737fa30b54a69454f6f96d92d2a67a (diff) | |
download | compcert-kvx-482c4d6f63113ab8486ba1773694bc7756cd0f00.tar.gz compcert-kvx-482c4d6f63113ab8486ba1773694bc7756cd0f00.zip |
MPPA - Activated Mtailcall + Pcall
Diffstat (limited to 'mppa_k1c/Asmgen.v')
-rw-r--r-- | mppa_k1c/Asmgen.v | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/mppa_k1c/Asmgen.v b/mppa_k1c/Asmgen.v index 96246bc2..300f21a2 100644 --- a/mppa_k1c/Asmgen.v +++ b/mppa_k1c/Asmgen.v @@ -831,10 +831,10 @@ Definition transl_instr (f: Mach.function) (i: Mach.instruction) OK (Pjal_s symb sig :: k) | Mtailcall sig (inl r) => do r1 <- ireg_of r; - OK (make_epilogue f (Pj_r r1 sig :: k)) - | Mtailcall sig (inr symb) => - OK (make_epilogue f (Pj_s symb sig :: k)) -*)| Mbuiltin ef args res => + OK (make_epilogue f (Pcall :: k)) +*)| Mtailcall sig (inr symb) => + OK (make_epilogue f ((Pcall symb) :: k)) + | Mbuiltin ef args res => OK (Pbuiltin ef (List.map (map_builtin_arg preg_of) args) (map_builtin_res preg_of res) :: k) | Mlabel lbl => OK (Plabel lbl :: k) |