diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-09-28 17:08:58 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-28 17:08:58 +0200 |
commit | 028a9a1a4ee8e79585a7123c72ffcc2bb6d94570 (patch) | |
tree | a483edd1a3eae316045d88522096bc0eafe2869a /mppa_k1c/TargetPrinter.ml | |
parent | 3482cce97fd40de8f2c34eaaf642a54a9f453b83 (diff) | |
download | compcert-kvx-028a9a1a4ee8e79585a7123c72ffcc2bb6d94570.tar.gz compcert-kvx-028a9a1a4ee8e79585a7123c72ffcc2bb6d94570.zip |
Fixed BaR mentions in the ML files
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index ec579bf9..143b7622 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -62,22 +62,16 @@ module Target : TARGET = let ireg = ireg - let breg oc = let open Asmblock in function + let preg oc = let open Asmblock in function | IR r -> ireg oc r | FR r -> ireg oc r | RA -> output_string oc "$ra" + | _ -> assert false - let breg_annot = let open Asmblock in function + let preg_annot = let open Asmblock in function | IR r -> int_reg_name r | FR r -> int_reg_name r | RA -> "$ra" - - let preg oc = let open Asmblock in function - | BaR r -> breg oc r - | _ -> assert false - - let preg_annot = let open Asmblock in function - | BaR r -> breg_annot r | _ -> assert false (* Names of sections *) |