From e11b3b885a6d359925b86743b89698cc6757157a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 27 Mar 2015 15:28:20 +0100
Subject: Updating the PowerPC and ARM ports. PowerPC: always use full register
 names to print annotations.

---
 powerpc/TargetPrinter.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'powerpc/TargetPrinter.ml')

diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml
index 70aec6c0..7e460f46 100644
--- a/powerpc/TargetPrinter.ml
+++ b/powerpc/TargetPrinter.ml
@@ -234,9 +234,12 @@ module Target (System : SYSTEM):TARGET =
     let ireg_or_zero oc r =
       if r = GPR0 then output_string oc "0" else ireg oc r
 
+    (* [preg] is only used for printing annotations.
+       Use the full register names [rN] and [fN] to avoid
+       ambiguity with constants. *)
     let preg oc = function
-      | IR r -> ireg oc r
-      | FR r -> freg oc r
+      | IR r -> fprintf oc "r%s" (int_reg_name r)
+      | FR r -> fprintf oc "f%s" (float_reg_name r)
       | _    -> assert false
 
     let section oc sec =
-- 
cgit