diff options
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; |