diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-03 17:07:09 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:10 +0200 |
| commit | 69813ed0107cd76caa322db5e1df1b7b969b7012 (patch) | |
| tree | 0a76a650c77d08556a6d0850f6f0b3259d94f210 /extraction/debug | |
| parent | 8d196f0f3193758a6371d9eb539af350202e0f4f (diff) | |
| download | compcert-kvx-69813ed0107cd76caa322db5e1df1b7b969b7012.tar.gz compcert-kvx-69813ed0107cd76caa322db5e1df1b7b969b7012.zip | |
MPPA - 32-bits immediate eq/neq branches
Diffstat (limited to 'extraction/debug')
| -rw-r--r-- | extraction/debug/Asmgen.ml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/extraction/debug/Asmgen.ml b/extraction/debug/Asmgen.ml index 84faf75a..2ccc5948 100644 --- a/extraction/debug/Asmgen.ml +++ b/extraction/debug/Asmgen.ml @@ -195,3 +195,19 @@ let 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) + +let transl_cbranch c a l k = + match c, a with + | Ccomp _, _ :: _ :: [] -> (Printf.eprintf "Ccomp\n"; thereal_transl_cbranch c a l k) + | Ccompu _, _ :: _ :: [] -> (Printf.eprintf "Ccompu\n"; thereal_transl_cbranch c a l k) + | Ccompimm (_, _), _ :: [] -> (Printf.eprintf "Ccompimm\n"; thereal_transl_cbranch c a l k) + | Ccompuimm (_, _), _ :: [] -> (Printf.eprintf "Ccompuimm\n"; thereal_transl_cbranch c a l k) + | Ccompl _, _ :: _ :: [] -> (Printf.eprintf "Ccompl\n"; thereal_transl_cbranch c a l k) + | Ccomplu _, _ :: _ :: [] -> (Printf.eprintf "Ccomplu\n"; thereal_transl_cbranch c a l k) + | Ccomplimm (_, _), _ :: [] -> (Printf.eprintf "Ccomplimm\n"; thereal_transl_cbranch c a l k) + | Ccompluimm (_, _), _ :: [] -> (Printf.eprintf "Ccompulimm\n"; thereal_transl_cbranch c a l k) + | Ccompf _, _ :: _ :: [] -> (Printf.eprintf "Ccompf\n"; thereal_transl_cbranch c a l k) + | Cnotcompf _, _ :: _ :: [] -> (Printf.eprintf "Cnotcompf\n"; thereal_transl_cbranch c a l k) + | Ccompfs _, _ :: _ :: [] -> (Printf.eprintf "Ccomps\n"; thereal_transl_cbranch c a l k) + | Cnotcompfs _, _ :: _ :: [] -> (Printf.eprintf "Cnotcomps\n"; thereal_transl_cbranch c a l k) + | _ -> (Printf.eprintf "OOPS\n"; thereal_transl_cbranch c a l k) |