1 # Move To Special Purpose Register
9 n <- spr[5:9] || spr[0:4]
11 case(13): see(Book_III_p974)
12 case(808, 809, 810, 811):
14 if length(SPR(n)) = 64 then
17 SPR(n) <- (RS) [32:63]
19 Special Registers Altered:
23 # Move From Special Purpose Register
31 n <- spr[5:9] || spr[0:4]
33 case(129): see(Book_III_p975)
34 case(808, 809, 810, 811):
36 if length(SPR(n)) = 64 then
39 RT <- [0]*32 || SPR(n)
41 Special Registers Altered:
45 # Move to CR from XER Extended
53 CR[4*BF+32:4*BF+35] <- XER[OV] || XER[OV32] || XER[CA] || XER[CA32]
55 Special Registers Altered:
59 # Move To One Condition Register Field
71 CR[4*n+32:4*n+35] <- (RS)[4*n+32:4*n+35]
73 Special Registers Altered:
75 CR field selected by FXM
77 # Move To Condition Register Fields
87 CR[4*n+32:4*n+35] <- (RS)[4*n+32:4*n+35]
89 Special Registers Altered:
91 CR fields selected by mask
93 # Move From One Condition Register Field
104 if (done = 0) & (FXM[n] = 1) then
105 RT[4*n+32:4*n+35] <- CR[4*n+32:4*n+35]
108 Special Registers Altered:
112 # Move From Condition Register
122 Special Registers Altered:
134 if CR[4*BFA+32] = 1 then
135 RT <- 0xFFFF_FFFF_FFFF_FFFF
136 else if CR[4*BFA+33]=1 then
137 RT <- 0x0000_0000_0000_0001
139 RT <- 0x0000_0000_0000_0000
141 Special Registers Altered:
145 # Move To Machine State Register
154 MSR[48] <- (RS)[48] | (RS)[49]
155 MSR[58] <- (RS)[58] | (RS)[49]
156 MSR[59] <- (RS)[59] | (RS)[49]
157 MSR[32:40] <- (RS)[32:40]
158 MSR[42:47] <- (RS)[42:47]
159 MSR[49:50] <- (RS)[49:50]
160 MSR[52:57] <- (RS)[52:57]
161 MSR[60:62] <- (RS)[60:62]
166 Special Registers Altered:
170 # Move To Machine State Register
179 if (MSR[29:31] != 0b010) | ((RS)[29:31] != 0b000) then
180 MSR[29:31] <- (RS)[29:31]
181 MSR[48] <- (RS)[48] | (RS)[49]
182 MSR[58] <- (RS)[58] | (RS)[49]
183 MSR[59] <- (RS)[59] | (RS)[49]
184 MSR[0:2] <- (RS)[0:2]
185 MSR[4:28] <- (RS)[4:28]
186 MSR[32:40] <- (RS)[32:40]
187 MSR[42:47] <- (RS)[42:47]
188 MSR[49:50] <- (RS)[49:50]
189 MSR[52:57] <- (RS)[52:57]
190 MSR[60:62] <- (RS)[60:62]
195 Special Registers Altered:
199 # Move From Machine State Register
209 Special Registers Altered: