diff options
| author | Kathy Gray | 2014-10-27 13:57:45 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-10-27 13:57:45 +0000 |
| commit | c4bf668b018868e28c286e9aeb931deba2f5657c (patch) | |
| tree | 46db169f252e072877e6fde7daa2289faac51fad /src/test | |
| parent | 937445f90d1f8dbd5d90fe22b99069f4cd53dd70 (diff) | |
Add printing for instruction form
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/run_power.ml | 4 |
1 files changed, 4 insertions, 0 deletions
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; |