diff options
Diffstat (limited to 'aarch64/TargetPrinter.ml')
-rw-r--r-- | aarch64/TargetPrinter.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml index b1425d56..a5b1465b 100644 --- a/aarch64/TargetPrinter.ml +++ b/aarch64/TargetPrinter.ml @@ -120,13 +120,13 @@ module Target : TARGET = output_string oc (match sz with D -> dreg_name r | S -> sreg_name r) let preg_asm oc ty = function - | DR (IR' (RR1 r)) -> if ty = Tint then wreg oc r else xreg oc r - | DR (FR' r) -> if ty = Tsingle then sreg oc r else dreg oc r + | DR (IR (RR1 r)) -> if ty = Tint then wreg oc r else xreg oc r + | DR (FR r) -> if ty = Tsingle then sreg oc r else dreg oc r | _ -> assert false let preg_annot = function - | DR (IR' (RR1 r)) -> xreg_name r - | DR (FR' r) -> dreg_name r + | DR (IR (RR1 r)) -> xreg_name r + | DR (FR r) -> dreg_name r | _ -> assert false (* Names of sections *) |