diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-16 15:06:28 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:08 +0200 |
| commit | 348aa9268bb3f7f2fe4357586a4e1d3181e0c9b3 (patch) | |
| tree | f2b03f61284e350803a7dbd137cce34e106bf22e /mppa_k1c/TargetPrinter.ml | |
| parent | f677664f63ca17c0a514c449f62ad958b5f9eb68 (diff) | |
| download | compcert-kvx-348aa9268bb3f7f2fe4357586a4e1d3181e0c9b3.tar.gz compcert-kvx-348aa9268bb3f7f2fe4357586a4e1d3181e0c9b3.zip | |
MPPA - code cleaning
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 3d348655..e256661a 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -61,10 +61,7 @@ module Target : TARGET = let ireg oc r = output_string oc (int_reg_name r) let ireg0 = ireg -(* - let ireg0 oc = function - | GPR r -> ireg oc r -*) + let preg oc = function | IR r -> ireg oc r | FR r -> ireg oc r @@ -620,7 +617,7 @@ module Target : TARGET = let address = if Archi.ptr64 then ".quad" else ".long" let print_prologue oc = - (* fprintf oc " .option %s\n" (if Archi.pic_code() then "pic" else "nopic"); *) + (* fprintf oc " .option %s\n" (if Archi.pic_code() then "pic" else "nopic"); *) if !Clflags.option_g then begin section oc Section_text; end |