diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-20 17:57:00 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:09 +0200 |
| commit | 6bf497f210737fa30b54a69454f6f96d92d2a67a (patch) | |
| tree | 5c9bb5b18e4d749ddb40a34d93ed3a6f4b9654e9 /extraction/debug | |
| parent | 1743687059d4376aace1c7f211087f0c23733ec9 (diff) | |
| download | compcert-kvx-6bf497f210737fa30b54a69454f6f96d92d2a67a.tar.gz compcert-kvx-6bf497f210737fa30b54a69454f6f96d92d2a67a.zip | |
MPPA - fixed typos in extraction/debug/Asmgen.ml
Diffstat (limited to 'extraction/debug')
| -rw-r--r-- | extraction/debug/Asmgen.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/extraction/debug/Asmgen.ml b/extraction/debug/Asmgen.ml index 26d105eb..84faf75a 100644 --- a/extraction/debug/Asmgen.ml +++ b/extraction/debug/Asmgen.ml @@ -179,7 +179,7 @@ let thereal_transl_instr f i _ k = (msg ('A'::('s'::('m'::('g'::('e'::('n'::('.'::('t'::('r'::('a'::('n'::('s'::('l'::('_'::('i'::('n'::('s'::('t'::('r'::[])))))))))))))))))))) -let transl_instr f i _ k = +let transl_instr f i x k = match i with | Mgetstack _ -> (Printf.eprintf "Mgetstack\n"; thereal_transl_instr f i x k) | Msetstack _ -> (Printf.eprintf "Msetstack\n"; thereal_transl_instr f i x k) @@ -194,5 +194,4 @@ let transl_instr f i _ k = | Mgoto _ -> (Printf.eprintf "Mgoto\n"; thereal_transl_instr f i x k) | Mcond _ -> (Printf.eprintf "Mcond\n"; thereal_transl_instr f i x k) | Mjumptable _ -> (Printf.eprintf "Mjumptable\n"; thereal_transl_instr f i x k) - | Mreturn _ -> (Printf.eprintf "Mreturn\n"; thereal_transl_instr f i x k) - | _ -> (Printf.eprintf "UNKNOWN\n"; thereal_transl_instr f i x k) + | Mreturn -> (Printf.eprintf "Mreturn\n"; thereal_transl_instr f i x k) |