diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-23 15:58:21 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:09 +0200 |
| commit | 8d196f0f3193758a6371d9eb539af350202e0f4f (patch) | |
| tree | 3a434028437588a39c0b6220b85e4732f112dbfc /mppa_k1c/Asmgen.v | |
| parent | c81c303db03ba732bda8612381e8569db181a541 (diff) | |
| download | compcert-kvx-8d196f0f3193758a6371d9eb539af350202e0f4f.tar.gz compcert-kvx-8d196f0f3193758a6371d9eb539af350202e0f4f.zip | |
MPPA - Added Mgoto + Pj_l
Diffstat (limited to 'mppa_k1c/Asmgen.v')
| -rw-r--r-- | mppa_k1c/Asmgen.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/Asmgen.v b/mppa_k1c/Asmgen.v index c6f7ef11..69faf1f9 100644 --- a/mppa_k1c/Asmgen.v +++ b/mppa_k1c/Asmgen.v @@ -837,9 +837,9 @@ Definition transl_instr (f: Mach.function) (i: Mach.instruction) OK (Pbuiltin ef (List.map (map_builtin_arg preg_of) args) (map_builtin_res preg_of res) :: k) | Mlabel lbl => OK (Plabel lbl :: k) -(*| Mgoto lbl => + | Mgoto lbl => OK (Pj_l lbl :: k) - | Mcond cond args lbl => +(*| Mcond cond args lbl => transl_cbranch cond args lbl k | Mjumptable arg tbl => do r <- ireg_of arg; OK (Pbtbl r tbl :: k) *)| Mreturn => |