| blob | 3d2548d9ca3b5096f265a4d12f6471463e6152c9 |
1 balc
2 balc :: fffffffb, RSval: 0
3 balc :: fffffffc, RSval: 1
4 balc :: fffffffd, RSval: 2
5 balc :: fffffffe, RSval: 3
6 balc :: ffffffff, RSval: 4
7 balc :: 5, RSval: 5
8 balc :: 4, RSval: 6
9 balc :: 3, RSval: 7
10 balc :: 2, RSval: 8
11 balc :: 1, RSval: 9
12 bc
13 bc :: fffffffb, RSval: a
14 bc :: fffffffc, RSval: b
15 bc :: fffffffd, RSval: c
16 bc :: fffffffe, RSval: d
17 bc :: ffffffff, RSval: e
18 bc :: 5, RSval: f
19 bc :: 4, RSval: 10
20 bc :: 3, RSval: 11
21 bc :: 2, RSval: 12
22 bc :: 1, RSval: 13
23 bgezalc
24 bgezalc :: 6, RSval: 0
25 bgezalc :: 7, RSval: 1
26 bgezalc :: 7, RSval: ffffffff
27 bgezalc :: 8, RSval: ffffffff
28 bgezalc :: 9, RSval: fffffffe
29 bgezalc :: a, RSval: ffffffff
30 bgezalc :: c, RSval: 5
31 bgezalc :: c, RSval: fffffffd
32 bgezalc :: e, RSval: 7d
33 bgezalc :: e, RSval: 80000000
34 bgezalc :: f, RSval: ffffffff
35 bgezalc :: 11, RSval: 256
36 bgezalc :: 12, RSval: 55
37 bgezalc :: 13, RSval: fff
38 bgezalc :: 13, RSval: ffffffff
39 bgezalc :: 14, RSval: ffffffff
40 bgtzalc
41 bgtzalc :: 5, RSval: 0
42 bgtzalc :: 7, RSval: 1
43 bgtzalc :: 7, RSval: ffffffff
44 bgtzalc :: 8, RSval: ffffffff
45 bgtzalc :: 9, RSval: fffffffe
46 bgtzalc :: a, RSval: ffffffff
47 bgtzalc :: c, RSval: 5
48 bgtzalc :: c, RSval: fffffffd
49 bgtzalc :: e, RSval: 7d
50 bgtzalc :: e, RSval: 80000000
51 bgtzalc :: f, RSval: ffffffff
52 bgtzalc :: 11, RSval: 256
53 bgtzalc :: 12, RSval: 55
54 bgtzalc :: 13, RSval: fff
55 bgtzalc :: 13, RSval: ffffffff
56 bgtzalc :: 14, RSval: ffffffff
57 blezalc
58 blezalc :: 6, RSval: 0
59 blezalc :: 6, RSval: 1
60 blezalc :: 8, RSval: ffffffff
61 blezalc :: 9, RSval: ffffffff
62 blezalc :: a, RSval: fffffffe
63 blezalc :: b, RSval: ffffffff
64 blezalc :: b, RSval: 5
65 blezalc :: d, RSval: fffffffd
66 blezalc :: d, RSval: 7d
67 blezalc :: f, RSval: 80000000
68 blezalc :: 10, RSval: ffffffff
69 blezalc :: 10, RSval: 256
70 blezalc :: 11, RSval: 55
71 blezalc :: 12, RSval: fff
72 blezalc :: 14, RSval: ffffffff
73 blezalc :: 15, RSval: ffffffff
74 bltzalc
75 bltzalc :: 5, RSval: 0
76 bltzalc :: 6, RSval: 1
77 bltzalc :: 8, RSval: ffffffff
78 bltzalc :: 9, RSval: ffffffff
79 bltzalc :: a, RSval: fffffffe
80 bltzalc :: b, RSval: ffffffff
81 bltzalc :: b, RSval: 5
82 bltzalc :: d, RSval: fffffffd
83 bltzalc :: d, RSval: 7d
84 bltzalc :: f, RSval: 80000000
85 bltzalc :: 10, RSval: ffffffff
86 bltzalc :: 10, RSval: 256
87 bltzalc :: 11, RSval: 55
88 bltzalc :: 12, RSval: fff
89 bltzalc :: 14, RSval: ffffffff
90 bltzalc :: 15, RSval: ffffffff
91 beqzalc
92 beqzalc :: 6, RSval: 0
93 beqzalc :: 6, RSval: 1
94 beqzalc :: 7, RSval: ffffffff
95 beqzalc :: 8, RSval: ffffffff
96 beqzalc :: 9, RSval: fffffffe
97 beqzalc :: a, RSval: ffffffff
98 beqzalc :: b, RSval: 5
99 beqzalc :: c, RSval: fffffffd
100 beqzalc :: d, RSval: 7d
101 beqzalc :: e, RSval: 80000000
102 beqzalc :: f, RSval: ffffffff
103 beqzalc :: 10, RSval: 256
104 beqzalc :: 11, RSval: 55
105 beqzalc :: 12, RSval: fff
106 beqzalc :: 13, RSval: ffffffff
107 beqzalc :: 14, RSval: ffffffff
108 bnezalc
109 bnezalc :: 5, RSval: 0
110 bnezalc :: 7, RSval: 1
111 bnezalc :: 8, RSval: ffffffff
112 bnezalc :: 9, RSval: ffffffff
113 bnezalc :: a, RSval: fffffffe
114 bnezalc :: b, RSval: ffffffff
115 bnezalc :: c, RSval: 5
116 bnezalc :: d, RSval: fffffffd
117 bnezalc :: e, RSval: 7d
118 bnezalc :: f, RSval: 80000000
119 bnezalc :: 10, RSval: ffffffff
120 bnezalc :: 11, RSval: 256
121 bnezalc :: 12, RSval: 55
122 bnezalc :: 13, RSval: fff
123 bnezalc :: 14, RSval: ffffffff
124 bnezalc :: 15, RSval: ffffffff
125 blezc
126 blezc :: 1, RSval: 0
127 blezc :: 7, RSval: 1
128 blezc :: 3, RSval: ffffffff
129 blezc :: 4, RSval: ffffffff
130 blezc :: 5, RSval: fffffffe
131 blezc :: 6, RSval: ffffffff
132 blezc :: c, RSval: 5
133 blezc :: 8, RSval: fffffffd
134 blezc :: e, RSval: 7d
135 blezc :: a, RSval: 80000000
136 blezc :: b, RSval: ffffffff
137 blezc :: 11, RSval: 256
138 blezc :: 12, RSval: 55
139 blezc :: 13, RSval: fff
140 blezc :: f, RSval: ffffffff
141 blezc :: 10, RSval: ffffffff
142 bgezc
143 bgezc :: 1, RSval: 0
144 bgezc :: 2, RSval: 1
145 bgezc :: 8, RSval: ffffffff
146 bgezc :: 9, RSval: ffffffff
147 bgezc :: a, RSval: fffffffe
148 bgezc :: b, RSval: ffffffff
149 bgezc :: 7, RSval: 5
150 bgezc :: d, RSval: fffffffd
151 bgezc :: 9, RSval: 7d
152 bgezc :: f, RSval: 80000000
153 bgezc :: 10, RSval: ffffffff
154 bgezc :: c, RSval: 256
155 bgezc :: d, RSval: 55
156 bgezc :: e, RSval: fff
157 bgezc :: 14, RSval: ffffffff
158 bgezc :: 15, RSval: ffffffff
159 bgtzc
160 bgtzc :: 6, RSval: 0
161 bgtzc :: 2, RSval: 1
162 bgtzc :: 8, RSval: ffffffff
163 bgtzc :: 9, RSval: ffffffff
164 bgtzc :: a, RSval: fffffffe
165 bgtzc :: b, RSval: ffffffff
166 bgtzc :: 7, RSval: 5
167 bgtzc :: d, RSval: fffffffd
168 bgtzc :: 9, RSval: 7d
169 bgtzc :: f, RSval: 80000000
170 bgtzc :: 10, RSval: ffffffff
171 bgtzc :: c, RSval: 256
172 bgtzc :: d, RSval: 55
173 bgtzc :: e, RSval: fff
174 bgtzc :: 14, RSval: ffffffff
175 bgtzc :: 15, RSval: ffffffff
176 bgec
177 bgec :: 6, RSval: 0, RTval: 1
178 bgec :: 2, RSval: 1, RTval: 1
179 bgec :: 3, RSval: ffffffff, RTval: ffffffff
180 bgec :: 4, RSval: ffffffff, RTval: fffffffe
181 bgec :: a, RSval: fffffffe, RTval: ffffffff
182 bgec :: 6, RSval: ffffffff, RTval: ffffffff
183 bgec :: 7, RSval: 5, RTval: 5
184 bgec :: 8, RSval: fffffffd, RTval: fffffffc
185 bgec :: 9, RSval: 7d, RTval: 7d
186 bgec :: a, RSval: 80000000, RTval: 80000000
187 bgec :: b, RSval: ffffffff, RTval: 80000000
188 bgec :: c, RSval: 256, RTval: 256
189 bgec :: d, RSval: 55, RTval: 55
190 bgec :: e, RSval: fff, RTval: dd
191 bgec :: 14, RSval: ffffffff, RTval: 5
192 bgec :: 10, RSval: ffffffff, RTval: ffffffff
193 bltc
194 bltc :: 1, RSval: 0, RTval: 1
195 bltc :: 7, RSval: 1, RTval: 1
196 bltc :: 8, RSval: ffffffff, RTval: ffffffff
197 bltc :: 9, RSval: ffffffff, RTval: fffffffe
198 bltc :: 5, RSval: fffffffe, RTval: ffffffff
199 bltc :: b, RSval: ffffffff, RTval: ffffffff
200 bltc :: c, RSval: 5, RTval: 5
201 bltc :: d, RSval: fffffffd, RTval: fffffffc
202 bltc :: e, RSval: 7d, RTval: 7d
203 bltc :: f, RSval: 80000000, RTval: 80000000
204 bltc :: 10, RSval: ffffffff, RTval: 80000000
205 bltc :: 11, RSval: 256, RTval: 256
206 bltc :: 12, RSval: 55, RTval: 55
207 bltc :: 13, RSval: fff, RTval: dd
208 bltc :: f, RSval: ffffffff, RTval: 5
209 bltc :: 15, RSval: ffffffff, RTval: ffffffff
210 bltzc
211 bltzc :: 6, RSval: 0
212 bltzc :: 7, RSval: 1
213 bltzc :: 3, RSval: ffffffff
214 bltzc :: 4, RSval: ffffffff
215 bltzc :: 5, RSval: fffffffe
216 bltzc :: 6, RSval: ffffffff
217 bltzc :: c, RSval: 5
218 bltzc :: 8, RSval: fffffffd
219 bltzc :: e, RSval: 7d
220 bltzc :: a, RSval: 80000000
221 bltzc :: b, RSval: ffffffff
222 bltzc :: 11, RSval: 256
223 bltzc :: 12, RSval: 55
224 bltzc :: 13, RSval: fff
225 bltzc :: f, RSval: ffffffff
226 bltzc :: 10, RSval: ffffffff
227 bgeuc
228 bgeuc :: 6, RSval: 0, RTval: 1
229 bgeuc :: 2, RSval: 1, RTval: 1
230 bgeuc :: 3, RSval: ffffffff, RTval: ffffffff
231 bgeuc :: 4, RSval: ffffffff, RTval: fffffffe
232 bgeuc :: a, RSval: fffffffe, RTval: ffffffff
233 bgeuc :: 6, RSval: ffffffff, RTval: ffffffff
234 bgeuc :: 7, RSval: 5, RTval: 5
235 bgeuc :: 8, RSval: fffffffd, RTval: fffffffc
236 bgeuc :: 9, RSval: 7d, RTval: 7d
237 bgeuc :: a, RSval: 80000000, RTval: 80000000
238 bgeuc :: b, RSval: ffffffff, RTval: 80000000
239 bgeuc :: c, RSval: 256, RTval: 256
240 bgeuc :: d, RSval: 55, RTval: 55
241 bgeuc :: e, RSval: fff, RTval: dd
242 bgeuc :: f, RSval: ffffffff, RTval: 5
243 bgeuc :: 10, RSval: ffffffff, RTval: ffffffff
244 bltuc
245 bltuc :: 1, RSval: 0, RTval: 1
246 bltuc :: 7, RSval: 1, RTval: 1
247 bltuc :: 8, RSval: ffffffff, RTval: ffffffff
248 bltuc :: 9, RSval: ffffffff, RTval: fffffffe
249 bltuc :: 5, RSval: fffffffe, RTval: ffffffff
250 bltuc :: b, RSval: ffffffff, RTval: ffffffff
251 bltuc :: c, RSval: 5, RTval: 5
252 bltuc :: d, RSval: fffffffd, RTval: fffffffc
253 bltuc :: e, RSval: 7d, RTval: 7d
254 bltuc :: f, RSval: 80000000, RTval: 80000000
255 bltuc :: 10, RSval: ffffffff, RTval: 80000000
256 bltuc :: 11, RSval: 256, RTval: 256
257 bltuc :: 12, RSval: 55, RTval: 55
258 bltuc :: 13, RSval: fff, RTval: dd
259 bltuc :: 14, RSval: ffffffff, RTval: 5
260 bltuc :: 15, RSval: ffffffff, RTval: ffffffff
261 beqc
262 beqc :: 6, RSval: 0, RTval: 1
263 beqc :: 2, RSval: 1, RTval: 1
264 beqc :: 3, RSval: ffffffff, RTval: ffffffff
265 beqc :: 9, RSval: ffffffff, RTval: fffffffe
266 beqc :: a, RSval: fffffffe, RTval: ffffffff
267 beqc :: 6, RSval: ffffffff, RTval: ffffffff
268 beqc :: 7, RSval: 5, RTval: 5
269 beqc :: d, RSval: fffffffd, RTval: fffffffc
270 beqc :: 9, RSval: 7d, RTval: 7d
271 beqc :: a, RSval: 80000000, RTval: 80000000
272 beqc :: 10, RSval: ffffffff, RTval: 80000000
273 beqc :: c, RSval: 256, RTval: 256
274 beqc :: d, RSval: 55, RTval: 55
275 beqc :: 13, RSval: fff, RTval: dd
276 beqc :: 14, RSval: ffffffff, RTval: 5
277 beqc :: 10, RSval: ffffffff, RTval: ffffffff
278 bnec
279 bnec :: 1, RSval: 0, RTval: 1
280 bnec :: 7, RSval: 1, RTval: 1
281 bnec :: 8, RSval: ffffffff, RTval: ffffffff
282 bnec :: 4, RSval: ffffffff, RTval: fffffffe
283 bnec :: 5, RSval: fffffffe, RTval: ffffffff
284 bnec :: b, RSval: ffffffff, RTval: ffffffff
285 bnec :: c, RSval: 5, RTval: 5
286 bnec :: 8, RSval: fffffffd, RTval: fffffffc
287 bnec :: e, RSval: 7d, RTval: 7d
288 bnec :: f, RSval: 80000000, RTval: 80000000
289 bnec :: b, RSval: ffffffff, RTval: 80000000
290 bnec :: 11, RSval: 256, RTval: 256
291 bnec :: 12, RSval: 55, RTval: 55
292 bnec :: e, RSval: fff, RTval: dd
293 bnec :: f, RSval: ffffffff, RTval: 5
294 bnec :: 15, RSval: ffffffff, RTval: ffffffff
295 beqzc
296 beqzc :: 1, RSval: 0
297 beqzc :: 7, RSval: 1
298 beqzc :: 8, RSval: ffffffff
299 beqzc :: 9, RSval: ffffffff
300 beqzc :: a, RSval: fffffffe
301 beqzc :: b, RSval: ffffffff
302 beqzc :: c, RSval: 5
303 beqzc :: d, RSval: fffffffd
304 beqzc :: e, RSval: 7d
305 beqzc :: f, RSval: 80000000
306 beqzc :: 10, RSval: ffffffff
307 beqzc :: 11, RSval: 256
308 beqzc :: 12, RSval: 55
309 beqzc :: 13, RSval: fff
310 beqzc :: 14, RSval: ffffffff
311 beqzc :: 15, RSval: ffffffff
312 bnezc
313 bnezc :: 6, RSval: 0
314 bnezc :: 2, RSval: 1
315 bnezc :: 3, RSval: ffffffff
316 bnezc :: 4, RSval: ffffffff
317 bnezc :: 5, RSval: fffffffe
318 bnezc :: 6, RSval: ffffffff
319 bnezc :: 7, RSval: 5
320 bnezc :: 8, RSval: fffffffd
321 bnezc :: 9, RSval: 7d
322 bnezc :: a, RSval: 80000000
323 bnezc :: b, RSval: ffffffff
324 bnezc :: c, RSval: 256
325 bnezc :: d, RSval: 55
326 bnezc :: e, RSval: fff
327 bnezc :: f, RSval: ffffffff
328 bnezc :: 10, RSval: ffffffff
329 bovc
330 bovc :: 6, RSval: 0, RTval: 1
331 bovc :: 7, RSval: 1, RTval: 1
332 bovc :: 8, RSval: ffffffff, RTval: ffffffff
333 bovc :: 9, RSval: ffffffff, RTval: fffffffe
334 bovc :: a, RSval: fffffffe, RTval: ffffffff
335 bovc :: b, RSval: ffffffff, RTval: ffffffff
336 bovc :: c, RSval: 5, RTval: 5
337 bovc :: d, RSval: fffffffd, RTval: fffffffc
338 bovc :: e, RSval: 7d, RTval: 7d
339 bovc :: a, RSval: 80000000, RTval: 80000000
340 bovc :: b, RSval: ffffffff, RTval: 80000000
341 bovc :: 11, RSval: 256, RTval: 256
342 bovc :: 12, RSval: 55, RTval: 55
343 bovc :: 13, RSval: fff, RTval: dd
344 bovc :: 14, RSval: ffffffff, RTval: 5
345 bovc :: 15, RSval: ffffffff, RTval: ffffffff
346 bnvc
347 bnvc :: 1, RSval: 0, RTval: 1
348 bnvc :: 2, RSval: 1, RTval: 1
349 bnvc :: 3, RSval: ffffffff, RTval: ffffffff
350 bnvc :: 4, RSval: ffffffff, RTval: fffffffe
351 bnvc :: 5, RSval: fffffffe, RTval: ffffffff
352 bnvc :: 6, RSval: ffffffff, RTval: ffffffff
353 bnvc :: 7, RSval: 5, RTval: 5
354 bnvc :: 8, RSval: fffffffd, RTval: fffffffc
355 bnvc :: 9, RSval: 7d, RTval: 7d
356 bnvc :: f, RSval: 80000000, RTval: 80000000
357 bnvc :: 10, RSval: ffffffff, RTval: 80000000
358 bnvc :: c, RSval: 256, RTval: 256
359 bnvc :: d, RSval: 55, RTval: 55
360 bnvc :: e, RSval: fff, RTval: dd
361 bnvc :: f, RSval: ffffffff, RTval: 5
362 bnvc :: 10, RSval: ffffffff, RTval: ffffffff
363 jialc
364 jialc:: 1, RSval: 0, $t1 == $ra: 1
365 jialc:: 4, RSval: 4, $t1 == $ra: 1
366 jialc:: 1, RSval: 8, $t1 == $ra: 1
367 jialc:: 1, RSval: 10, $t1 == $ra: 0
368 jialc:: 0, RSval: 20, $t1 == $ra: 0
369 jic
370 jic:: 1, RSval: 0, $t1 == $ra: 0
371 jic:: 4, RSval: 4, $t1 == $ra: 0
372 jic:: 1, RSval: 8, $t1 == $ra: 0
373 jic:: 1, RSval: 10, $t1 == $ra: 0
374 jic:: 0, RSval: 20, $t1 == $ra: 0