From abb704f93055a572a5078e04c5212ff051309730 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Feb 2016 11:14:28 +0100
Subject: Also print braces around the registers.

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

(limited to 'powerpc/AsmToJSON.ml')

diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml
index 724f8753..75a629c5 100644
--- a/powerpc/AsmToJSON.ml
+++ b/powerpc/AsmToJSON.ml
@@ -55,7 +55,9 @@ let p_ireg oc reg =
   | GPR29 -> 29
   | GPR30 -> 30
   | GPR31 -> 31
-  in p_jmember oc "Register" (fun oc d -> p_jstring oc ("r"^(string_of_int d))) num
+  in output_string oc "{";
+    p_jmember oc "Register" (fun oc d -> p_jstring oc ("r"^(string_of_int d))) num;
+    output_string oc "}"
 
 let p_freg oc reg =
   let num = match reg with
@@ -91,7 +93,10 @@ let p_freg oc reg =
   | FPR29 -> 29
   | FPR30 -> 30
   | FPR31 -> 31
-  in p_jmember oc "Register" (fun oc d -> p_jstring oc ("f"^(string_of_int d))) num
+  in output_string oc "{";
+  p_jmember oc "Register" (fun oc d -> p_jstring oc ("f"^(string_of_int d))) num;
+  output_string oc "}"
+
 
 let p_preg oc = function
   | IR ir -> p_ireg oc ir
-- 
cgit