From c4bf668b018868e28c286e9aeb931deba2f5657c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 27 Oct 2014 13:57:45 +0000
Subject: Add printing for instruction form

---
 src/test/run_power.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/test')

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 66d05e00..e6a13c50 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -101,6 +101,10 @@ let init_reg () =
       init "VRSAVE" zero_big_int 32;
       init "FPSCR" zero_big_int 64;
       init "VSCR" zero_big_int 32;
+      init "SPRG4" zero_big_int 64;
+      init "SPRG5" zero_big_int 64;
+      init "SPRG6" zero_big_int 64;
+      init "SPRG7" zero_big_int 64;
     ] @
     (* Commonly read before written general purpose register *)
       [init "GPR0" zero_big_int 64;
-- 
cgit v1.2.3