Lines Matching refs:sra

22273 sra $t0, $t1, 0x00 :: rt 0x0, rs 0x0, imm 0x0000
22274 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x0, imm 0x001f
22275 sra $a0, $a1, 0x0f :: rt 0x0, rs 0x0, imm 0x000f
22276 sra $s0, $s1, 0x03 :: rt 0x0, rs 0x0, imm 0x0003
22277 sra $t0, $t1, 0x00 :: rt 0x0, rs 0x0, imm 0x0000
22278 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x0, imm 0x001f
22279 sra $a0, $a1, 0x0f :: rt 0x0, rs 0x0, imm 0x000f
22280 sra $s0, $s1, 0x03 :: rt 0x0, rs 0x0, imm 0x0003
22281 sra $t0, $t1, 0x00 :: rt 0x9823b6e, rs 0x9823b6e, imm 0x0000
22282 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x9823b6e, imm 0x001f
22283 sra $a0, $a1, 0x0f :: rt 0x1304, rs 0x9823b6e, imm 0x000f
22284 sra $s0, $s1, 0x03 :: rt 0x130476d, rs 0x9823b6e, imm 0x0003
22285 sra $t0, $t1, 0x00 :: rt 0xd4326d9, rs 0xd4326d9, imm 0x0000
22286 sra $t2, $t3, 0x1f :: rt 0x0, rs 0xd4326d9, imm 0x001f
22287 sra $a0, $a1, 0x0f :: rt 0x1a86, rs 0xd4326d9, imm 0x000f
22288 sra $s0, $s1, 0x03 :: rt 0x1a864db, rs 0xd4326d9, imm 0x0003
22289 sra $t0, $t1, 0x00 :: rt 0x130476dc, rs 0x130476dc, imm 0x0000
22290 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x130476dc, imm 0x001f
22291 sra $a0, $a1, 0x0f :: rt 0x2608, rs 0x130476dc, imm 0x000f
22292 sra $s0, $s1, 0x03 :: rt 0x2608edb, rs 0x130476dc, imm 0x0003
22293 sra $t0, $t1, 0x00 :: rt 0x17c56b6b, rs 0x17c56b6b, imm 0x0000
22294 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x17c56b6b, imm 0x001f
22295 sra $a0, $a1, 0x0f :: rt 0x2f8a, rs 0x17c56b6b, imm 0x000f
22296 sra $s0, $s1, 0x03 :: rt 0x2f8ad6d, rs 0x17c56b6b, imm 0x0003
22297 sra $t0, $t1, 0x00 :: rt 0x1a864db2, rs 0x1a864db2, imm 0x0000
22298 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1a864db2, imm 0x001f
22299 sra $a0, $a1, 0x0f :: rt 0x350c, rs 0x1a864db2, imm 0x000f
22300 sra $s0, $s1, 0x03 :: rt 0x350c9b6, rs 0x1a864db2, imm 0x0003
22301 sra $t0, $t1, 0x00 :: rt 0x1e475005, rs 0x1e475005, imm 0x0000
22302 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1e475005, imm 0x001f
22303 sra $a0, $a1, 0x0f :: rt 0x3c8e, rs 0x1e475005, imm 0x000f
22304 sra $s0, $s1, 0x03 :: rt 0x3c8ea00, rs 0x1e475005, imm 0x0003
22305 sra $t0, $t1, 0x00 :: rt 0x2608edb8, rs 0x2608edb8, imm 0x0000
22306 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2608edb8, imm 0x001f
22307 sra $a0, $a1, 0x0f :: rt 0x4c11, rs 0x2608edb8, imm 0x000f
22308 sra $s0, $s1, 0x03 :: rt 0x4c11db7, rs 0x2608edb8, imm 0x0003
22309 sra $t0, $t1, 0x00 :: rt 0x22c9f00f, rs 0x22c9f00f, imm 0x0000
22310 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x22c9f00f, imm 0x001f
22311 sra $a0, $a1, 0x0f :: rt 0x4593, rs 0x22c9f00f, imm 0x000f
22312 sra $s0, $s1, 0x03 :: rt 0x4593e01, rs 0x22c9f00f, imm 0x0003
22313 sra $t0, $t1, 0x00 :: rt 0x2f8ad6d6, rs 0x2f8ad6d6, imm 0x0000
22314 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2f8ad6d6, imm 0x001f
22315 sra $a0, $a1, 0x0f :: rt 0x5f15, rs 0x2f8ad6d6, imm 0x000f
22316 sra $s0, $s1, 0x03 :: rt 0x5f15ada, rs 0x2f8ad6d6, imm 0x0003
22317 sra $t0, $t1, 0x00 :: rt 0x2b4bcb61, rs 0x2b4bcb61, imm 0x0000
22318 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2b4bcb61, imm 0x001f
22319 sra $a0, $a1, 0x0f :: rt 0x5697, rs 0x2b4bcb61, imm 0x000f
22320 sra $s0, $s1, 0x03 :: rt 0x569796c, rs 0x2b4bcb61, imm 0x0003
22321 sra $t0, $t1, 0x00 :: rt 0x350c9b64, rs 0x350c9b64, imm 0x0000
22322 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x350c9b64, imm 0x001f
22323 sra $a0, $a1, 0x0f :: rt 0x6a19, rs 0x350c9b64, imm 0x000f
22324 sra $s0, $s1, 0x03 :: rt 0x6a1936c, rs 0x350c9b64, imm 0x0003
22325 sra $t0, $t1, 0x00 :: rt 0x31cd86d3, rs 0x31cd86d3, imm 0x0000
22326 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x31cd86d3, imm 0x001f
22327 sra $a0, $a1, 0x0f :: rt 0x639b, rs 0x31cd86d3, imm 0x000f
22328 sra $s0, $s1, 0x03 :: rt 0x639b0da, rs 0x31cd86d3, imm 0x0003
22329 sra $t0, $t1, 0x00 :: rt 0x3c8ea00a, rs 0x3c8ea00a, imm 0x0000
22330 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3c8ea00a, imm 0x001f
22331 sra $a0, $a1, 0x0f :: rt 0x791d, rs 0x3c8ea00a, imm 0x000f
22332 sra $s0, $s1, 0x03 :: rt 0x791d401, rs 0x3c8ea00a, imm 0x0003
22333 sra $t0, $t1, 0x00 :: rt 0x384fbdbd, rs 0x384fbdbd, imm 0x0000
22334 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x384fbdbd, imm 0x001f
22335 sra $a0, $a1, 0x0f :: rt 0x709f, rs 0x384fbdbd, imm 0x000f
22336 sra $s0, $s1, 0x03 :: rt 0x709f7b7, rs 0x384fbdbd, imm 0x0003
22337 sra $t0, $t1, 0x00 :: rt 0x4c11db70, rs 0x4c11db70, imm 0x0000
22338 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4c11db70, imm 0x001f
22339 sra $a0, $a1, 0x0f :: rt 0x9823, rs 0x4c11db70, imm 0x000f
22340 sra $s0, $s1, 0x03 :: rt 0x9823b6e, rs 0x4c11db70, imm 0x0003
22341 sra $t0, $t1, 0x00 :: rt 0x48d0c6c7, rs 0x48d0c6c7, imm 0x0000
22342 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x48d0c6c7, imm 0x001f
22343 sra $a0, $a1, 0x0f :: rt 0x91a1, rs 0x48d0c6c7, imm 0x000f
22344 sra $s0, $s1, 0x03 :: rt 0x91a18d8, rs 0x48d0c6c7, imm 0x0003
22345 sra $t0, $t1, 0x00 :: rt 0x4593e01e, rs 0x4593e01e, imm 0x0000
22346 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4593e01e, imm 0x001f
22347 sra $a0, $a1, 0x0f :: rt 0x8b27, rs 0x4593e01e, imm 0x000f
22348 sra $s0, $s1, 0x03 :: rt 0x8b27c03, rs 0x4593e01e, imm 0x0003
22349 sra $t0, $t1, 0x00 :: rt 0x4152fda9, rs 0x4152fda9, imm 0x0000
22350 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4152fda9, imm 0x001f
22351 sra $a0, $a1, 0x0f :: rt 0x82a5, rs 0x4152fda9, imm 0x000f
22352 sra $s0, $s1, 0x03 :: rt 0x82a5fb5, rs 0x4152fda9, imm 0x0003
22353 sra $t0, $t1, 0x00 :: rt 0x5f15adac, rs 0x5f15adac, imm 0x0000
22354 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5f15adac, imm 0x001f
22355 sra $a0, $a1, 0x0f :: rt 0xbe2b, rs 0x5f15adac, imm 0x000f
22356 sra $s0, $s1, 0x03 :: rt 0xbe2b5b5, rs 0x5f15adac, imm 0x0003
22357 sra $t0, $t1, 0x00 :: rt 0x5bd4b01b, rs 0x5bd4b01b, imm 0x0000
22358 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5bd4b01b, imm 0x001f
22359 sra $a0, $a1, 0x0f :: rt 0xb7a9, rs 0x5bd4b01b, imm 0x000f
22360 sra $s0, $s1, 0x03 :: rt 0xb7a9603, rs 0x5bd4b01b, imm 0x0003
22361 sra $t0, $t1, 0x00 :: rt 0x569796c2, rs 0x569796c2, imm 0x0000
22362 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x569796c2, imm 0x001f
22363 sra $a0, $a1, 0x0f :: rt 0xad2f, rs 0x569796c2, imm 0x000f
22364 sra $s0, $s1, 0x03 :: rt 0xad2f2d8, rs 0x569796c2, imm 0x0003
22365 sra $t0, $t1, 0x00 :: rt 0x52568b75, rs 0x52568b75, imm 0x0000
22366 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x52568b75, imm 0x001f
22367 sra $a0, $a1, 0x0f :: rt 0xa4ad, rs 0x52568b75, imm 0x000f
22368 sra $s0, $s1, 0x03 :: rt 0xa4ad16e, rs 0x52568b75, imm 0x0003
22369 sra $t0, $t1, 0x00 :: rt 0x6a1936c8, rs 0x6a1936c8, imm 0x0000
22370 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6a1936c8, imm 0x001f
22371 sra $a0, $a1, 0x0f :: rt 0xd432, rs 0x6a1936c8, imm 0x000f
22372 sra $s0, $s1, 0x03 :: rt 0xd4326d9, rs 0x6a1936c8, imm 0x0003
22373 sra $t0, $t1, 0x00 :: rt 0x6ed82b7f, rs 0x6ed82b7f, imm 0x0000
22374 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6ed82b7f, imm 0x001f
22375 sra $a0, $a1, 0x0f :: rt 0xddb0, rs 0x6ed82b7f, imm 0x000f
22376 sra $s0, $s1, 0x03 :: rt 0xddb056f, rs 0x6ed82b7f, imm 0x0003
22377 sra $t0, $t1, 0x00 :: rt 0x639b0da6, rs 0x639b0da6, imm 0x0000
22378 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x639b0da6, imm 0x001f
22379 sra $a0, $a1, 0x0f :: rt 0xc736, rs 0x639b0da6, imm 0x000f
22380 sra $s0, $s1, 0x03 :: rt 0xc7361b4, rs 0x639b0da6, imm 0x0003
22381 sra $t0, $t1, 0x00 :: rt 0x675a1011, rs 0x675a1011, imm 0x0000
22382 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x675a1011, imm 0x001f
22383 sra $a0, $a1, 0x0f :: rt 0xceb4, rs 0x675a1011, imm 0x000f
22384 sra $s0, $s1, 0x03 :: rt 0xceb4202, rs 0x675a1011, imm 0x0003
22385 sra $t0, $t1, 0x00 :: rt 0x791d4014, rs 0x791d4014, imm 0x0000
22386 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x791d4014, imm 0x001f
22387 sra $a0, $a1, 0x0f :: rt 0xf23a, rs 0x791d4014, imm 0x000f
22388 sra $s0, $s1, 0x03 :: rt 0xf23a802, rs 0x791d4014, imm 0x0003
22389 sra $t0, $t1, 0x00 :: rt 0x7ddc5da3, rs 0x7ddc5da3, imm 0x0000
22390 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7ddc5da3, imm 0x001f
22391 sra $a0, $a1, 0x0f :: rt 0xfbb8, rs 0x7ddc5da3, imm 0x000f
22392 sra $s0, $s1, 0x03 :: rt 0xfbb8bb4, rs 0x7ddc5da3, imm 0x0003
22393 sra $t0, $t1, 0x00 :: rt 0x709f7b7a, rs 0x709f7b7a, imm 0x0000
22394 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x709f7b7a, imm 0x001f
22395 sra $a0, $a1, 0x0f :: rt 0xe13e, rs 0x709f7b7a, imm 0x000f
22396 sra $s0, $s1, 0x03 :: rt 0xe13ef6f, rs 0x709f7b7a, imm 0x0003
22397 sra $t0, $t1, 0x00 :: rt 0x745e66cd, rs 0x745e66cd, imm 0x0000
22398 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x745e66cd, imm 0x001f
22399 sra $a0, $a1, 0x0f :: rt 0xe8bc, rs 0x745e66cd, imm 0x000f
22400 sra $s0, $s1, 0x03 :: rt 0xe8bccd9, rs 0x745e66cd, imm 0x0003
22401 sra $t0, $t1, 0x00 :: rt 0xffffffff9823b6e0, rs 0xffffffff9823b6e0, imm 0x0000
22402 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9823b6e0, imm 0x001f
22403 sra $a0, $a1, 0x0f :: rt 0xffffffffffff3047, rs 0xffffffff9823b6e0, imm 0x000f
22404 sra $s0, $s1, 0x03 :: rt 0xfffffffff30476dc, rs 0xffffffff9823b6e0, imm 0x0003
22405 sra $t0, $t1, 0x00 :: rt 0xffffffff9ce2ab57, rs 0xffffffff9ce2ab57, imm 0x0000
22406 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9ce2ab57, imm 0x001f
22407 sra $a0, $a1, 0x0f :: rt 0xffffffffffff39c5, rs 0xffffffff9ce2ab57, imm 0x000f
22408 sra $s0, $s1, 0x03 :: rt 0xfffffffff39c556a, rs 0xffffffff9ce2ab57, imm 0x0003
22409 sra $t0, $t1, 0x00 :: rt 0xffffffff91a18d8e, rs 0xffffffff91a18d8e, imm 0x0000
22410 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff91a18d8e, imm 0x001f
22411 sra $a0, $a1, 0x0f :: rt 0xffffffffffff2343, rs 0xffffffff91a18d8e, imm 0x000f
22412 sra $s0, $s1, 0x03 :: rt 0xfffffffff23431b1, rs 0xffffffff91a18d8e, imm 0x0003
22413 sra $t0, $t1, 0x00 :: rt 0xffffffff95609039, rs 0xffffffff95609039, imm 0x0000
22414 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff95609039, imm 0x001f
22415 sra $a0, $a1, 0x0f :: rt 0xffffffffffff2ac1, rs 0xffffffff95609039, imm 0x000f
22416 sra $s0, $s1, 0x03 :: rt 0xfffffffff2ac1207, rs 0xffffffff95609039, imm 0x0003
22417 sra $t0, $t1, 0x00 :: rt 0xffffffff8b27c03c, rs 0xffffffff8b27c03c, imm 0x0000
22418 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8b27c03c, imm 0x001f
22419 sra $a0, $a1, 0x0f :: rt 0xffffffffffff164f, rs 0xffffffff8b27c03c, imm 0x000f
22420 sra $s0, $s1, 0x03 :: rt 0xfffffffff164f807, rs 0xffffffff8b27c03c, imm 0x0003
22421 sra $t0, $t1, 0x00 :: rt 0xffffffff8fe6dd8b, rs 0xffffffff8fe6dd8b, imm 0x0000
22422 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8fe6dd8b, imm 0x001f
22423 sra $a0, $a1, 0x0f :: rt 0xffffffffffff1fcd, rs 0xffffffff8fe6dd8b, imm 0x000f
22424 sra $s0, $s1, 0x03 :: rt 0xfffffffff1fcdbb1, rs 0xffffffff8fe6dd8b, imm 0x0003
22425 sra $t0, $t1, 0x00 :: rt 0xffffffff82a5fb52, rs 0xffffffff82a5fb52, imm 0x0000
22426 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff82a5fb52, imm 0x001f
22427 sra $a0, $a1, 0x0f :: rt 0xffffffffffff054b, rs 0xffffffff82a5fb52, imm 0x000f
22428 sra $s0, $s1, 0x03 :: rt 0xfffffffff054bf6a, rs 0xffffffff82a5fb52, imm 0x0003
22429 sra $t0, $t1, 0x00 :: rt 0xffffffff8664e6e5, rs 0xffffffff8664e6e5, imm 0x0000
22430 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8664e6e5, imm 0x001f
22431 sra $a0, $a1, 0x0f :: rt 0xffffffffffff0cc9, rs 0xffffffff8664e6e5, imm 0x000f
22432 sra $s0, $s1, 0x03 :: rt 0xfffffffff0cc9cdc, rs 0xffffffff8664e6e5, imm 0x0003
22433 sra $t0, $t1, 0x00 :: rt 0xffffffffbe2b5b58, rs 0xffffffffbe2b5b58, imm 0x0000
22434 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffbe2b5b58, imm 0x001f
22435 sra $a0, $a1, 0x0f :: rt 0xffffffffffff7c56, rs 0xffffffffbe2b5b58, imm 0x000f
22436 sra $s0, $s1, 0x03 :: rt 0xfffffffff7c56b6b, rs 0xffffffffbe2b5b58, imm 0x0003
22437 sra $t0, $t1, 0x00 :: rt 0xffffffffbaea46ef, rs 0xffffffffbaea46ef, imm 0x0000
22438 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffbaea46ef, imm 0x001f
22439 sra $a0, $a1, 0x0f :: rt 0xffffffffffff75d4, rs 0xffffffffbaea46ef, imm 0x000f
22440 sra $s0, $s1, 0x03 :: rt 0xfffffffff75d48dd, rs 0xffffffffbaea46ef, imm 0x0003
22441 sra $t0, $t1, 0x00 :: rt 0xffffffffb7a96036, rs 0xffffffffb7a96036, imm 0x0000
22442 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb7a96036, imm 0x001f
22443 sra $a0, $a1, 0x0f :: rt 0xffffffffffff6f52, rs 0xffffffffb7a96036, imm 0x000f
22444 sra $s0, $s1, 0x03 :: rt 0xfffffffff6f52c06, rs 0xffffffffb7a96036, imm 0x0003
22445 sra $t0, $t1, 0x00 :: rt 0xffffffffb3687d81, rs 0xffffffffb3687d81, imm 0x0000
22446 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb3687d81, imm 0x001f
22447 sra $a0, $a1, 0x0f :: rt 0xffffffffffff66d0, rs 0xffffffffb3687d81, imm 0x000f
22448 sra $s0, $s1, 0x03 :: rt 0xfffffffff66d0fb0, rs 0xffffffffb3687d81, imm 0x0003
22449 sra $t0, $t1, 0x00 :: rt 0xffffffffad2f2d84, rs 0xffffffffad2f2d84, imm 0x0000
22450 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffad2f2d84, imm 0x001f
22451 sra $a0, $a1, 0x0f :: rt 0xffffffffffff5a5e, rs 0xffffffffad2f2d84, imm 0x000f
22452 sra $s0, $s1, 0x03 :: rt 0xfffffffff5a5e5b0, rs 0xffffffffad2f2d84, imm 0x0003
22453 sra $t0, $t1, 0x00 :: rt 0xffffffffa9ee3033, rs 0xffffffffa9ee3033, imm 0x0000
22454 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa9ee3033, imm 0x001f
22455 sra $a0, $a1, 0x0f :: rt 0xffffffffffff53dc, rs 0xffffffffa9ee3033, imm 0x000f
22456 sra $s0, $s1, 0x03 :: rt 0xfffffffff53dc606, rs 0xffffffffa9ee3033, imm 0x0003
22457 sra $t0, $t1, 0x00 :: rt 0xffffffffa4ad16ea, rs 0xffffffffa4ad16ea, imm 0x0000
22458 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa4ad16ea, imm 0x001f
22459 sra $a0, $a1, 0x0f :: rt 0xffffffffffff495a, rs 0xffffffffa4ad16ea, imm 0x000f
22460 sra $s0, $s1, 0x03 :: rt 0xfffffffff495a2dd, rs 0xffffffffa4ad16ea, imm 0x0003
22461 sra $t0, $t1, 0x00 :: rt 0xffffffffa06c0b5d, rs 0xffffffffa06c0b5d, imm 0x0000
22462 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa06c0b5d, imm 0x001f
22463 sra $a0, $a1, 0x0f :: rt 0xffffffffffff40d8, rs 0xffffffffa06c0b5d, imm 0x000f
22464 sra $s0, $s1, 0x03 :: rt 0xfffffffff40d816b, rs 0xffffffffa06c0b5d, imm 0x0003
22465 sra $t0, $t1, 0x00 :: rt 0xffffffffd4326d90, rs 0xffffffffd4326d90, imm 0x0000
22466 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd4326d90, imm 0x001f
22467 sra $a0, $a1, 0x0f :: rt 0xffffffffffffa864, rs 0xffffffffd4326d90, imm 0x000f
22468 sra $s0, $s1, 0x03 :: rt 0xfffffffffa864db2, rs 0xffffffffd4326d90, imm 0x0003
22469 sra $t0, $t1, 0x00 :: rt 0xffffffffd0f37027, rs 0xffffffffd0f37027, imm 0x0000
22470 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd0f37027, imm 0x001f
22471 sra $a0, $a1, 0x0f :: rt 0xffffffffffffa1e6, rs 0xffffffffd0f37027, imm 0x000f
22472 sra $s0, $s1, 0x03 :: rt 0xfffffffffa1e6e04, rs 0xffffffffd0f37027, imm 0x0003
22473 sra $t0, $t1, 0x00 :: rt 0xffffffffddb056fe, rs 0xffffffffddb056fe, imm 0x0000
22474 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffddb056fe, imm 0x001f
22475 sra $a0, $a1, 0x0f :: rt 0xffffffffffffbb60, rs 0xffffffffddb056fe, imm 0x000f
22476 sra $s0, $s1, 0x03 :: rt 0xfffffffffbb60adf, rs 0xffffffffddb056fe, imm 0x0003
22477 sra $t0, $t1, 0x00 :: rt 0xffffffffd9714b49, rs 0xffffffffd9714b49, imm 0x0000
22478 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd9714b49, imm 0x001f
22479 sra $a0, $a1, 0x0f :: rt 0xffffffffffffb2e2, rs 0xffffffffd9714b49, imm 0x000f
22480 sra $s0, $s1, 0x03 :: rt 0xfffffffffb2e2969, rs 0xffffffffd9714b49, imm 0x0003
22481 sra $t0, $t1, 0x00 :: rt 0xffffffffc7361b4c, rs 0xffffffffc7361b4c, imm 0x0000
22482 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc7361b4c, imm 0x001f
22483 sra $a0, $a1, 0x0f :: rt 0xffffffffffff8e6c, rs 0xffffffffc7361b4c, imm 0x000f
22484 sra $s0, $s1, 0x03 :: rt 0xfffffffff8e6c369, rs 0xffffffffc7361b4c, imm 0x0003
22485 sra $t0, $t1, 0x00 :: rt 0xffffffffc3f706fb, rs 0xffffffffc3f706fb, imm 0x0000
22486 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc3f706fb, imm 0x001f
22487 sra $a0, $a1, 0x0f :: rt 0xffffffffffff87ee, rs 0xffffffffc3f706fb, imm 0x000f
22488 sra $s0, $s1, 0x03 :: rt 0xfffffffff87ee0df, rs 0xffffffffc3f706fb, imm 0x0003
22489 sra $t0, $t1, 0x00 :: rt 0xffffffffceb42022, rs 0xffffffffceb42022, imm 0x0000
22490 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffceb42022, imm 0x001f
22491 sra $a0, $a1, 0x0f :: rt 0xffffffffffff9d68, rs 0xffffffffceb42022, imm 0x000f
22492 sra $s0, $s1, 0x03 :: rt 0xfffffffff9d68404, rs 0xffffffffceb42022, imm 0x0003
22493 sra $t0, $t1, 0x00 :: rt 0xffffffffca753d95, rs 0xffffffffca753d95, imm 0x0000
22494 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffca753d95, imm 0x001f
22495 sra $a0, $a1, 0x0f :: rt 0xffffffffffff94ea, rs 0xffffffffca753d95, imm 0x000f
22496 sra $s0, $s1, 0x03 :: rt 0xfffffffff94ea7b2, rs 0xffffffffca753d95, imm 0x0003
22497 sra $t0, $t1, 0x00 :: rt 0xfffffffff23a8028, rs 0xfffffffff23a8028, imm 0x0000
22498 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff23a8028, imm 0x001f
22499 sra $a0, $a1, 0x0f :: rt 0xffffffffffffe475, rs 0xfffffffff23a8028, imm 0x000f
22500 sra $s0, $s1, 0x03 :: rt 0xfffffffffe475005, rs 0xfffffffff23a8028, imm 0x0003
22501 sra $t0, $t1, 0x00 :: rt 0xfffffffff6fb9d9f, rs 0xfffffffff6fb9d9f, imm 0x0000
22502 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff6fb9d9f, imm 0x001f
22503 sra $a0, $a1, 0x0f :: rt 0xffffffffffffedf7, rs 0xfffffffff6fb9d9f, imm 0x000f
22504 sra $s0, $s1, 0x03 :: rt 0xfffffffffedf73b3, rs 0xfffffffff6fb9d9f, imm 0x0003
22505 sra $t0, $t1, 0x00 :: rt 0xfffffffffbb8bb46, rs 0xfffffffffbb8bb46, imm 0x0000
22506 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffffbb8bb46, imm 0x001f
22507 sra $a0, $a1, 0x0f :: rt 0xfffffffffffff771, rs 0xfffffffffbb8bb46, imm 0x000f
22508 sra $s0, $s1, 0x03 :: rt 0xffffffffff771768, rs 0xfffffffffbb8bb46, imm 0x0003
22509 sra $t0, $t1, 0x00 :: rt 0xffffffffff79a6f1, rs 0xffffffffff79a6f1, imm 0x0000
22510 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffff79a6f1, imm 0x001f
22511 sra $a0, $a1, 0x0f :: rt 0xfffffffffffffef3, rs 0xffffffffff79a6f1, imm 0x000f
22512 sra $s0, $s1, 0x03 :: rt 0xffffffffffef34de, rs 0xffffffffff79a6f1, imm 0x0003
22513 sra $t0, $t1, 0x00 :: rt 0xffffffffe13ef6f4, rs 0xffffffffe13ef6f4, imm 0x0000
22514 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe13ef6f4, imm 0x001f
22515 sra $a0, $a1, 0x0f :: rt 0xffffffffffffc27d, rs 0xffffffffe13ef6f4, imm 0x000f
22516 sra $s0, $s1, 0x03 :: rt 0xfffffffffc27dede, rs 0xffffffffe13ef6f4, imm 0x0003
22517 sra $t0, $t1, 0x00 :: rt 0xffffffffe5ffeb43, rs 0xffffffffe5ffeb43, imm 0x0000
22518 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe5ffeb43, imm 0x001f
22519 sra $a0, $a1, 0x0f :: rt 0xffffffffffffcbff, rs 0xffffffffe5ffeb43, imm 0x000f
22520 sra $s0, $s1, 0x03 :: rt 0xfffffffffcbffd68, rs 0xffffffffe5ffeb43, imm 0x0003
22521 sra $t0, $t1, 0x00 :: rt 0xffffffffe8bccd9a, rs 0xffffffffe8bccd9a, imm 0x0000
22522 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe8bccd9a, imm 0x001f
22523 sra $a0, $a1, 0x0f :: rt 0xffffffffffffd179, rs 0xffffffffe8bccd9a, imm 0x000f
22524 sra $s0, $s1, 0x03 :: rt 0xfffffffffd1799b3, rs 0xffffffffe8bccd9a, imm 0x0003
22525 sra $t0, $t1, 0x00 :: rt 0xffffffffec7dd02d, rs 0xffffffffec7dd02d, imm 0x0000
22526 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffec7dd02d, imm 0x001f
22527 sra $a0, $a1, 0x0f :: rt 0xffffffffffffd8fb, rs 0xffffffffec7dd02d, imm 0x000f
22528 sra $s0, $s1, 0x03 :: rt 0xfffffffffd8fba05, rs 0xffffffffec7dd02d, imm 0x0003
22529 sra $t0, $t1, 0x00 :: rt 0x34867077, rs 0x34867077, imm 0x0000
22530 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x34867077, imm 0x001f
22531 sra $a0, $a1, 0x0f :: rt 0x690c, rs 0x34867077, imm 0x000f
22532 sra $s0, $s1, 0x03 :: rt 0x690ce0e, rs 0x34867077, imm 0x0003
22533 sra $t0, $t1, 0x00 :: rt 0x30476dc0, rs 0x30476dc0, imm 0x0000
22534 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x30476dc0, imm 0x001f
22535 sra $a0, $a1, 0x0f :: rt 0x608e, rs 0x30476dc0, imm 0x000f
22536 sra $s0, $s1, 0x03 :: rt 0x608edb8, rs 0x30476dc0, imm 0x0003
22537 sra $t0, $t1, 0x00 :: rt 0x3d044b19, rs 0x3d044b19, imm 0x0000
22538 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3d044b19, imm 0x001f
22539 sra $a0, $a1, 0x0f :: rt 0x7a08, rs 0x3d044b19, imm 0x000f
22540 sra $s0, $s1, 0x03 :: rt 0x7a08963, rs 0x3d044b19, imm 0x0003
22541 sra $t0, $t1, 0x00 :: rt 0x39c556ae, rs 0x39c556ae, imm 0x0000
22542 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x39c556ae, imm 0x001f
22543 sra $a0, $a1, 0x0f :: rt 0x738a, rs 0x39c556ae, imm 0x000f
22544 sra $s0, $s1, 0x03 :: rt 0x738aad5, rs 0x39c556ae, imm 0x0003
22545 sra $t0, $t1, 0x00 :: rt 0x278206ab, rs 0x278206ab, imm 0x0000
22546 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x278206ab, imm 0x001f
22547 sra $a0, $a1, 0x0f :: rt 0x4f04, rs 0x278206ab, imm 0x000f
22548 sra $s0, $s1, 0x03 :: rt 0x4f040d5, rs 0x278206ab, imm 0x0003
22549 sra $t0, $t1, 0x00 :: rt 0x23431b1c, rs 0x23431b1c, imm 0x0000
22550 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x23431b1c, imm 0x001f
22551 sra $a0, $a1, 0x0f :: rt 0x4686, rs 0x23431b1c, imm 0x000f
22552 sra $s0, $s1, 0x03 :: rt 0x4686363, rs 0x23431b1c, imm 0x0003
22553 sra $t0, $t1, 0x00 :: rt 0x2e003dc5, rs 0x2e003dc5, imm 0x0000
22554 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2e003dc5, imm 0x001f
22555 sra $a0, $a1, 0x0f :: rt 0x5c00, rs 0x2e003dc5, imm 0x000f
22556 sra $s0, $s1, 0x03 :: rt 0x5c007b8, rs 0x2e003dc5, imm 0x0003
22557 sra $t0, $t1, 0x00 :: rt 0x2ac12072, rs 0x2ac12072, imm 0x0000
22558 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2ac12072, imm 0x001f
22559 sra $a0, $a1, 0x0f :: rt 0x5582, rs 0x2ac12072, imm 0x000f
22560 sra $s0, $s1, 0x03 :: rt 0x558240e, rs 0x2ac12072, imm 0x0003
22561 sra $t0, $t1, 0x00 :: rt 0x128e9dcf, rs 0x128e9dcf, imm 0x0000
22562 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x128e9dcf, imm 0x001f
22563 sra $a0, $a1, 0x0f :: rt 0x251d, rs 0x128e9dcf, imm 0x000f
22564 sra $s0, $s1, 0x03 :: rt 0x251d3b9, rs 0x128e9dcf, imm 0x0003
22565 sra $t0, $t1, 0x00 :: rt 0x164f8078, rs 0x164f8078, imm 0x0000
22566 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x164f8078, imm 0x001f
22567 sra $a0, $a1, 0x0f :: rt 0x2c9f, rs 0x164f8078, imm 0x000f
22568 sra $s0, $s1, 0x03 :: rt 0x2c9f00f, rs 0x164f8078, imm 0x0003
22569 sra $t0, $t1, 0x00 :: rt 0x1b0ca6a1, rs 0x1b0ca6a1, imm 0x0000
22570 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1b0ca6a1, imm 0x001f
22571 sra $a0, $a1, 0x0f :: rt 0x3619, rs 0x1b0ca6a1, imm 0x000f
22572 sra $s0, $s1, 0x03 :: rt 0x36194d4, rs 0x1b0ca6a1, imm 0x0003
22573 sra $t0, $t1, 0x00 :: rt 0x1fcdbb16, rs 0x1fcdbb16, imm 0x0000
22574 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1fcdbb16, imm 0x001f
22575 sra $a0, $a1, 0x0f :: rt 0x3f9b, rs 0x1fcdbb16, imm 0x000f
22576 sra $s0, $s1, 0x03 :: rt 0x3f9b762, rs 0x1fcdbb16, imm 0x0003
22577 sra $t0, $t1, 0x00 :: rt 0x18aeb13, rs 0x18aeb13, imm 0x0000
22578 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x18aeb13, imm 0x001f
22579 sra $a0, $a1, 0x0f :: rt 0x315, rs 0x18aeb13, imm 0x000f
22580 sra $s0, $s1, 0x03 :: rt 0x315d62, rs 0x18aeb13, imm 0x0003
22581 sra $t0, $t1, 0x00 :: rt 0x54bf6a4, rs 0x54bf6a4, imm 0x0000
22582 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x54bf6a4, imm 0x001f
22583 sra $a0, $a1, 0x0f :: rt 0xa97, rs 0x54bf6a4, imm 0x000f
22584 sra $s0, $s1, 0x03 :: rt 0xa97ed4, rs 0x54bf6a4, imm 0x0003
22585 sra $t0, $t1, 0x00 :: rt 0x808d07d, rs 0x808d07d, imm 0x0000
22586 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x808d07d, imm 0x001f
22587 sra $a0, $a1, 0x0f :: rt 0x1011, rs 0x808d07d, imm 0x000f
22588 sra $s0, $s1, 0x03 :: rt 0x1011a0f, rs 0x808d07d, imm 0x0003
22589 sra $t0, $t1, 0x00 :: rt 0xcc9cdca, rs 0xcc9cdca, imm 0x0000
22590 sra $t2, $t3, 0x1f :: rt 0x0, rs 0xcc9cdca, imm 0x001f
22591 sra $a0, $a1, 0x0f :: rt 0x1993, rs 0xcc9cdca, imm 0x000f
22592 sra $s0, $s1, 0x03 :: rt 0x19939b9, rs 0xcc9cdca, imm 0x0003
22593 sra $t0, $t1, 0x00 :: rt 0x7897ab07, rs 0x7897ab07, imm 0x0000
22594 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7897ab07, imm 0x001f
22595 sra $a0, $a1, 0x0f :: rt 0xf12f, rs 0x7897ab07, imm 0x000f
22596 sra $s0, $s1, 0x03 :: rt 0xf12f560, rs 0x7897ab07, imm 0x0003
22597 sra $t0, $t1, 0x00 :: rt 0x7c56b6b0, rs 0x7c56b6b0, imm 0x0000
22598 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7c56b6b0, imm 0x001f
22599 sra $a0, $a1, 0x0f :: rt 0xf8ad, rs 0x7c56b6b0, imm 0x000f
22600 sra $s0, $s1, 0x03 :: rt 0xf8ad6d6, rs 0x7c56b6b0, imm 0x0003
22601 sra $t0, $t1, 0x00 :: rt 0x71159069, rs 0x71159069, imm 0x0000
22602 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x71159069, imm 0x001f
22603 sra $a0, $a1, 0x0f :: rt 0xe22b, rs 0x71159069, imm 0x000f
22604 sra $s0, $s1, 0x03 :: rt 0xe22b20d, rs 0x71159069, imm 0x0003
22605 sra $t0, $t1, 0x00 :: rt 0x75d48dde, rs 0x75d48dde, imm 0x0000
22606 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x75d48dde, imm 0x001f
22607 sra $a0, $a1, 0x0f :: rt 0xeba9, rs 0x75d48dde, imm 0x000f
22608 sra $s0, $s1, 0x03 :: rt 0xeba91bb, rs 0x75d48dde, imm 0x0003
22609 sra $t0, $t1, 0x00 :: rt 0x6b93dddb, rs 0x6b93dddb, imm 0x0000
22610 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6b93dddb, imm 0x001f
22611 sra $a0, $a1, 0x0f :: rt 0xd727, rs 0x6b93dddb, imm 0x000f
22612 sra $s0, $s1, 0x03 :: rt 0xd727bbb, rs 0x6b93dddb, imm 0x0003
22613 sra $t0, $t1, 0x00 :: rt 0x6f52c06c, rs 0x6f52c06c, imm 0x0000
22614 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6f52c06c, imm 0x001f
22615 sra $a0, $a1, 0x0f :: rt 0xdea5, rs 0x6f52c06c, imm 0x000f
22616 sra $s0, $s1, 0x03 :: rt 0xdea580d, rs 0x6f52c06c, imm 0x0003
22617 sra $t0, $t1, 0x00 :: rt 0x6211e6b5, rs 0x6211e6b5, imm 0x0000
22618 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6211e6b5, imm 0x001f
22619 sra $a0, $a1, 0x0f :: rt 0xc423, rs 0x6211e6b5, imm 0x000f
22620 sra $s0, $s1, 0x03 :: rt 0xc423cd6, rs 0x6211e6b5, imm 0x0003
22621 sra $t0, $t1, 0x00 :: rt 0x66d0fb02, rs 0x66d0fb02, imm 0x0000
22622 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x66d0fb02, imm 0x001f
22623 sra $a0, $a1, 0x0f :: rt 0xcda1, rs 0x66d0fb02, imm 0x000f
22624 sra $s0, $s1, 0x03 :: rt 0xcda1f60, rs 0x66d0fb02, imm 0x0003
22625 sra $t0, $t1, 0x00 :: rt 0x5e9f46bf, rs 0x5e9f46bf, imm 0x0000
22626 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5e9f46bf, imm 0x001f
22627 sra $a0, $a1, 0x0f :: rt 0xbd3e, rs 0x5e9f46bf, imm 0x000f
22628 sra $s0, $s1, 0x03 :: rt 0xbd3e8d7, rs 0x5e9f46bf, imm 0x0003
22629 sra $t0, $t1, 0x00 :: rt 0x5a5e5b08, rs 0x5a5e5b08, imm 0x0000
22630 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5a5e5b08, imm 0x001f
22631 sra $a0, $a1, 0x0f :: rt 0xb4bc, rs 0x5a5e5b08, imm 0x000f
22632 sra $s0, $s1, 0x03 :: rt 0xb4bcb61, rs 0x5a5e5b08, imm 0x0003
22633 sra $t0, $t1, 0x00 :: rt 0x571d7dd1, rs 0x571d7dd1, imm 0x0000
22634 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x571d7dd1, imm 0x001f
22635 sra $a0, $a1, 0x0f :: rt 0xae3a, rs 0x571d7dd1, imm 0x000f
22636 sra $s0, $s1, 0x03 :: rt 0xae3afba, rs 0x571d7dd1, imm 0x0003
22637 sra $t0, $t1, 0x00 :: rt 0x53dc6066, rs 0x53dc6066, imm 0x0000
22638 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x53dc6066, imm 0x001f
22639 sra $a0, $a1, 0x0f :: rt 0xa7b8, rs 0x53dc6066, imm 0x000f
22640 sra $s0, $s1, 0x03 :: rt 0xa7b8c0c, rs 0x53dc6066, imm 0x0003
22641 sra $t0, $t1, 0x00 :: rt 0x4d9b3063, rs 0x4d9b3063, imm 0x0000
22642 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4d9b3063, imm 0x001f
22643 sra $a0, $a1, 0x0f :: rt 0x9b36, rs 0x4d9b3063, imm 0x000f
22644 sra $s0, $s1, 0x03 :: rt 0x9b3660c, rs 0x4d9b3063, imm 0x0003
22645 sra $t0, $t1, 0x00 :: rt 0x495a2dd4, rs 0x495a2dd4, imm 0x0000
22646 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x495a2dd4, imm 0x001f
22647 sra $a0, $a1, 0x0f :: rt 0x92b4, rs 0x495a2dd4, imm 0x000f
22648 sra $s0, $s1, 0x03 :: rt 0x92b45ba, rs 0x495a2dd4, imm 0x0003
22649 sra $t0, $t1, 0x00 :: rt 0x44190b0d, rs 0x44190b0d, imm 0x0000
22650 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x44190b0d, imm 0x001f
22651 sra $a0, $a1, 0x0f :: rt 0x8832, rs 0x44190b0d, imm 0x000f
22652 sra $s0, $s1, 0x03 :: rt 0x8832161, rs 0x44190b0d, imm 0x0003
22653 sra $t0, $t1, 0x00 :: rt 0x40d816ba, rs 0x40d816ba, imm 0x0000
22654 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x40d816ba, imm 0x001f
22655 sra $a0, $a1, 0x0f :: rt 0x81b0, rs 0x40d816ba, imm 0x000f
22656 sra $s0, $s1, 0x03 :: rt 0x81b02d7, rs 0x40d816ba, imm 0x0003
22657 sra $t0, $t1, 0x00 :: rt 0xffffffffaca5c697, rs 0xffffffffaca5c697, imm 0x0000
22658 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffaca5c697, imm 0x001f
22659 sra $a0, $a1, 0x0f :: rt 0xffffffffffff594b, rs 0xffffffffaca5c697, imm 0x000f
22660 sra $s0, $s1, 0x03 :: rt 0xfffffffff594b8d2, rs 0xffffffffaca5c697, imm 0x0003
22661 sra $t0, $t1, 0x00 :: rt 0xffffffffa864db20, rs 0xffffffffa864db20, imm 0x0000
22662 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa864db20, imm 0x001f
22663 sra $a0, $a1, 0x0f :: rt 0xffffffffffff50c9, rs 0xffffffffa864db20, imm 0x000f
22664 sra $s0, $s1, 0x03 :: rt 0xfffffffff50c9b64, rs 0xffffffffa864db20, imm 0x0003
22665 sra $t0, $t1, 0x00 :: rt 0xffffffffa527fdf9, rs 0xffffffffa527fdf9, imm 0x0000
22666 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa527fdf9, imm 0x001f
22667 sra $a0, $a1, 0x0f :: rt 0xffffffffffff4a4f, rs 0xffffffffa527fdf9, imm 0x000f
22668 sra $s0, $s1, 0x03 :: rt 0xfffffffff4a4ffbf, rs 0xffffffffa527fdf9, imm 0x0003
22669 sra $t0, $t1, 0x00 :: rt 0xffffffffa1e6e04e, rs 0xffffffffa1e6e04e, imm 0x0000
22670 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa1e6e04e, imm 0x001f
22671 sra $a0, $a1, 0x0f :: rt 0xffffffffffff43cd, rs 0xffffffffa1e6e04e, imm 0x000f
22672 sra $s0, $s1, 0x03 :: rt 0xfffffffff43cdc09, rs 0xffffffffa1e6e04e, imm 0x0003
22673 sra $t0, $t1, 0x00 :: rt 0xffffffffbfa1b04b, rs 0xffffffffbfa1b04b, imm 0x0000
22674 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffbfa1b04b, imm 0x001f
22675 sra $a0, $a1, 0x0f :: rt 0xffffffffffff7f43, rs 0xffffffffbfa1b04b, imm 0x000f
22676 sra $s0, $s1, 0x03 :: rt 0xfffffffff7f43609, rs 0xffffffffbfa1b04b, imm 0x0003
22677 sra $t0, $t1, 0x00 :: rt 0xffffffffbb60adfc, rs 0xffffffffbb60adfc, imm 0x0000
22678 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffbb60adfc, imm 0x001f
22679 sra $a0, $a1, 0x0f :: rt 0xffffffffffff76c1, rs 0xffffffffbb60adfc, imm 0x000f
22680 sra $s0, $s1, 0x03 :: rt 0xfffffffff76c15bf, rs 0xffffffffbb60adfc, imm 0x0003
22681 sra $t0, $t1, 0x00 :: rt 0xffffffffb6238b25, rs 0xffffffffb6238b25, imm 0x0000
22682 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb6238b25, imm 0x001f
22683 sra $a0, $a1, 0x0f :: rt 0xffffffffffff6c47, rs 0xffffffffb6238b25, imm 0x000f
22684 sra $s0, $s1, 0x03 :: rt 0xfffffffff6c47164, rs 0xffffffffb6238b25, imm 0x0003
22685 sra $t0, $t1, 0x00 :: rt 0xffffffffb2e29692, rs 0xffffffffb2e29692, imm 0x0000
22686 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb2e29692, imm 0x001f
22687 sra $a0, $a1, 0x0f :: rt 0xffffffffffff65c5, rs 0xffffffffb2e29692, imm 0x000f
22688 sra $s0, $s1, 0x03 :: rt 0xfffffffff65c52d2, rs 0xffffffffb2e29692, imm 0x0003
22689 sra $t0, $t1, 0x00 :: rt 0xffffffff8aad2b2f, rs 0xffffffff8aad2b2f, imm 0x0000
22690 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8aad2b2f, imm 0x001f
22691 sra $a0, $a1, 0x0f :: rt 0xffffffffffff155a, rs 0xffffffff8aad2b2f, imm 0x000f
22692 sra $s0, $s1, 0x03 :: rt 0xfffffffff155a565, rs 0xffffffff8aad2b2f, imm 0x0003
22693 sra $t0, $t1, 0x00 :: rt 0x0, rs 0x0, imm 0x0000
22694 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x0, imm 0x001f
22695 sra $a0, $a1, 0x0f :: rt 0x0, rs 0x0, imm 0x000f
22696 sra $s0, $s1, 0x03 :: rt 0x0, rs 0x0, imm 0x0003
22697 sra $t0, $t1, 0x00 :: rt 0x0, rs 0x0, imm 0x0000
22698 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x0, imm 0x001f
22699 sra $a0, $a1, 0x0f :: rt 0x0, rs 0x0, imm 0x000f
22700 sra $s0, $s1, 0x03 :: rt 0x0, rs 0x0, imm 0x0003
22701 sra $t0, $t1, 0x00 :: rt 0xffffffff87ee0df6, rs 0xffffffff87ee0df6, imm 0x0000
22702 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff87ee0df6, imm 0x001f
22703 sra $a0, $a1, 0x0f :: rt 0xffffffffffff0fdc, rs 0xffffffff87ee0df6, imm 0x000f
22704 sra $s0, $s1, 0x03 :: rt 0xfffffffff0fdc1be, rs 0xffffffff87ee0df6, imm 0x0003
22705 sra $t0, $t1, 0x00 :: rt 0xffffffff99a95df3, rs 0xffffffff99a95df3, imm 0x0000
22706 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff99a95df3, imm 0x001f
22707 sra $a0, $a1, 0x0f :: rt 0xffffffffffff3352, rs 0xffffffff99a95df3, imm 0x000f
22708 sra $s0, $s1, 0x03 :: rt 0xfffffffff3352bbe, rs 0xffffffff99a95df3, imm 0x0003
22709 sra $t0, $t1, 0x00 :: rt 0xffffffff9d684044, rs 0xffffffff9d684044, imm 0x0000
22710 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9d684044, imm 0x001f
22711 sra $a0, $a1, 0x0f :: rt 0xffffffffffff3ad0, rs 0xffffffff9d684044, imm 0x000f
22712 sra $s0, $s1, 0x03 :: rt 0xfffffffff3ad0808, rs 0xffffffff9d684044, imm 0x0003
22713 sra $t0, $t1, 0x00 :: rt 0xffffffff902b669d, rs 0xffffffff902b669d, imm 0x0000
22714 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff902b669d, imm 0x001f
22715 sra $a0, $a1, 0x0f :: rt 0xffffffffffff2056, rs 0xffffffff902b669d, imm 0x000f
22716 sra $s0, $s1, 0x03 :: rt 0xfffffffff2056cd3, rs 0xffffffff902b669d, imm 0x0003
22717 sra $t0, $t1, 0x00 :: rt 0xffffffff94ea7b2a, rs 0xffffffff94ea7b2a, imm 0x0000
22718 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff94ea7b2a, imm 0x001f
22719 sra $a0, $a1, 0x0f :: rt 0xffffffffffff29d4, rs 0xffffffff94ea7b2a, imm 0x000f
22720 sra $s0, $s1, 0x03 :: rt 0xfffffffff29d4f65, rs 0xffffffff94ea7b2a, imm 0x0003
22721 sra $t0, $t1, 0x00 :: rt 0xffffffffe0b41de7, rs 0xffffffffe0b41de7, imm 0x0000
22722 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe0b41de7, imm 0x001f
22723 sra $a0, $a1, 0x0f :: rt 0xffffffffffffc168, rs 0xffffffffe0b41de7, imm 0x000f
22724 sra $s0, $s1, 0x03 :: rt 0xfffffffffc1683bc, rs 0xffffffffe0b41de7, imm 0x0003
22725 sra $t0, $t1, 0x00 :: rt 0xffffffffe4750050, rs 0xffffffffe4750050, imm 0x0000
22726 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe4750050, imm 0x001f
22727 sra $a0, $a1, 0x0f :: rt 0xffffffffffffc8ea, rs 0xffffffffe4750050, imm 0x000f
22728 sra $s0, $s1, 0x03 :: rt 0xfffffffffc8ea00a, rs 0xffffffffe4750050, imm 0x0003
22729 sra $t0, $t1, 0x00 :: rt 0xffffffffe9362689, rs 0xffffffffe9362689, imm 0x0000
22730 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe9362689, imm 0x001f
22731 sra $a0, $a1, 0x0f :: rt 0xffffffffffffd26c, rs 0xffffffffe9362689, imm 0x000f
22732 sra $s0, $s1, 0x03 :: rt 0xfffffffffd26c4d1, rs 0xffffffffe9362689, imm 0x0003
22733 sra $t0, $t1, 0x00 :: rt 0xffffffffedf73b3e, rs 0xffffffffedf73b3e, imm 0x0000
22734 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffedf73b3e, imm 0x001f
22735 sra $a0, $a1, 0x0f :: rt 0xffffffffffffdbee, rs 0xffffffffedf73b3e, imm 0x000f
22736 sra $s0, $s1, 0x03 :: rt 0xfffffffffdbee767, rs 0xffffffffedf73b3e, imm 0x0003
22737 sra $t0, $t1, 0x00 :: rt 0xfffffffff3b06b3b, rs 0xfffffffff3b06b3b, imm 0x0000
22738 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff3b06b3b, imm 0x001f
22739 sra $a0, $a1, 0x0f :: rt 0xffffffffffffe760, rs 0xfffffffff3b06b3b, imm 0x000f
22740 sra $s0, $s1, 0x03 :: rt 0xfffffffffe760d67, rs 0xfffffffff3b06b3b, imm 0x0003
22741 sra $t0, $t1, 0x00 :: rt 0xfffffffff771768c, rs 0xfffffffff771768c, imm 0x0000
22742 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff771768c, imm 0x001f
22743 sra $a0, $a1, 0x0f :: rt 0xffffffffffffeee2, rs 0xfffffffff771768c, imm 0x000f
22744 sra $s0, $s1, 0x03 :: rt 0xfffffffffeee2ed1, rs 0xfffffffff771768c, imm 0x0003
22745 sra $t0, $t1, 0x00 :: rt 0xfffffffffa325055, rs 0xfffffffffa325055, imm 0x0000
22746 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffffa325055, imm 0x001f
22747 sra $a0, $a1, 0x0f :: rt 0xfffffffffffff464, rs 0xfffffffffa325055, imm 0x000f
22748 sra $s0, $s1, 0x03 :: rt 0xffffffffff464a0a, rs 0xfffffffffa325055, imm 0x0003
22749 sra $t0, $t1, 0x00 :: rt 0xfffffffffef34de2, rs 0xfffffffffef34de2, imm 0x0000
22750 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffffef34de2, imm 0x001f
22751 sra $a0, $a1, 0x0f :: rt 0xfffffffffffffde6, rs 0xfffffffffef34de2, imm 0x000f
22752 sra $s0, $s1, 0x03 :: rt 0xffffffffffde69bc, rs 0xfffffffffef34de2, imm 0x0003
22753 sra $t0, $t1, 0x00 :: rt 0xffffffffc6bcf05f, rs 0xffffffffc6bcf05f, imm 0x0000
22754 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc6bcf05f, imm 0x001f
22755 sra $a0, $a1, 0x0f :: rt 0xffffffffffff8d79, rs 0xffffffffc6bcf05f, imm 0x000f
22756 sra $s0, $s1, 0x03 :: rt 0xfffffffff8d79e0b, rs 0xffffffffc6bcf05f, imm 0x0003
22757 sra $t0, $t1, 0x00 :: rt 0xffffffffc27dede8, rs 0xffffffffc27dede8, imm 0x0000
22758 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc27dede8, imm 0x001f
22759 sra $a0, $a1, 0x0f :: rt 0xffffffffffff84fb, rs 0xffffffffc27dede8, imm 0x000f
22760 sra $s0, $s1, 0x03 :: rt 0xfffffffff84fbdbd, rs 0xffffffffc27dede8, imm 0x0003
22761 sra $t0, $t1, 0x00 :: rt 0xffffffffcf3ecb31, rs 0xffffffffcf3ecb31, imm 0x0000
22762 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffcf3ecb31, imm 0x001f
22763 sra $a0, $a1, 0x0f :: rt 0xffffffffffff9e7d, rs 0xffffffffcf3ecb31, imm 0x000f
22764 sra $s0, $s1, 0x03 :: rt 0xfffffffff9e7d966, rs 0xffffffffcf3ecb31, imm 0x0003
22765 sra $t0, $t1, 0x00 :: rt 0xffffffffcbffd686, rs 0xffffffffcbffd686, imm 0x0000
22766 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffcbffd686, imm 0x001f
22767 sra $a0, $a1, 0x0f :: rt 0xffffffffffff97ff, rs 0xffffffffcbffd686, imm 0x000f
22768 sra $s0, $s1, 0x03 :: rt 0xfffffffff97ffad0, rs 0xffffffffcbffd686, imm 0x0003
22769 sra $t0, $t1, 0x00 :: rt 0xffffffffd5b88683, rs 0xffffffffd5b88683, imm 0x0000
22770 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd5b88683, imm 0x001f
22771 sra $a0, $a1, 0x0f :: rt 0xffffffffffffab71, rs 0xffffffffd5b88683, imm 0x000f
22772 sra $s0, $s1, 0x03 :: rt 0xfffffffffab710d0, rs 0xffffffffd5b88683, imm 0x0003
22773 sra $t0, $t1, 0x00 :: rt 0xffffffffd1799b34, rs 0xffffffffd1799b34, imm 0x0000
22774 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd1799b34, imm 0x001f
22775 sra $a0, $a1, 0x0f :: rt 0xffffffffffffa2f3, rs 0xffffffffd1799b34, imm 0x000f
22776 sra $s0, $s1, 0x03 :: rt 0xfffffffffa2f3366, rs 0xffffffffd1799b34, imm 0x0003
22777 sra $t0, $t1, 0x00 :: rt 0xffffffffdc3abded, rs 0xffffffffdc3abded, imm 0x0000
22778 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffdc3abded, imm 0x001f
22779 sra $a0, $a1, 0x0f :: rt 0xffffffffffffb875, rs 0xffffffffdc3abded, imm 0x000f
22780 sra $s0, $s1, 0x03 :: rt 0xfffffffffb8757bd, rs 0xffffffffdc3abded, imm 0x0003
22781 sra $t0, $t1, 0x00 :: rt 0xffffffffd8fba05a, rs 0xffffffffd8fba05a, imm 0x0000
22782 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd8fba05a, imm 0x001f
22783 sra $a0, $a1, 0x0f :: rt 0xffffffffffffb1f7, rs 0xffffffffd8fba05a, imm 0x000f
22784 sra $s0, $s1, 0x03 :: rt 0xfffffffffb1f740b, rs 0xffffffffd8fba05a, imm 0x0003
22785 sra $t0, $t1, 0x00 :: rt 0x690ce0ee, rs 0x690ce0ee, imm 0x0000
22786 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x690ce0ee, imm 0x001f
22787 sra $a0, $a1, 0x0f :: rt 0xd219, rs 0x690ce0ee, imm 0x000f
22788 sra $s0, $s1, 0x03 :: rt 0xd219c1d, rs 0x690ce0ee, imm 0x0003
22789 sra $t0, $t1, 0x00 :: rt 0x6dcdfd59, rs 0x6dcdfd59, imm 0x0000
22790 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6dcdfd59, imm 0x001f
22791 sra $a0, $a1, 0x0f :: rt 0xdb9b, rs 0x6dcdfd59, imm 0x000f
22792 sra $s0, $s1, 0x03 :: rt 0xdb9bfab, rs 0x6dcdfd59, imm 0x0003
22793 sra $t0, $t1, 0x00 :: rt 0x608edb80, rs 0x608edb80, imm 0x0000
22794 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x608edb80, imm 0x001f
22795 sra $a0, $a1, 0x0f :: rt 0xc11d, rs 0x608edb80, imm 0x000f
22796 sra $s0, $s1, 0x03 :: rt 0xc11db70, rs 0x608edb80, imm 0x0003
22797 sra $t0, $t1, 0x00 :: rt 0x644fc637, rs 0x644fc637, imm 0x0000
22798 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x644fc637, imm 0x001f
22799 sra $a0, $a1, 0x0f :: rt 0xc89f, rs 0x644fc637, imm 0x000f
22800 sra $s0, $s1, 0x03 :: rt 0xc89f8c6, rs 0x644fc637, imm 0x0003
22801 sra $t0, $t1, 0x00 :: rt 0x7a089632, rs 0x7a089632, imm 0x0000
22802 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7a089632, imm 0x001f
22803 sra $a0, $a1, 0x0f :: rt 0xf411, rs 0x7a089632, imm 0x000f
22804 sra $s0, $s1, 0x03 :: rt 0xf4112c6, rs 0x7a089632, imm 0x0003
22805 sra $t0, $t1, 0x00 :: rt 0x7ec98b85, rs 0x7ec98b85, imm 0x0000
22806 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7ec98b85, imm 0x001f
22807 sra $a0, $a1, 0x0f :: rt 0xfd93, rs 0x7ec98b85, imm 0x000f
22808 sra $s0, $s1, 0x03 :: rt 0xfd93170, rs 0x7ec98b85, imm 0x0003
22809 sra $t0, $t1, 0x00 :: rt 0x738aad5c, rs 0x738aad5c, imm 0x0000
22810 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x738aad5c, imm 0x001f
22811 sra $a0, $a1, 0x0f :: rt 0xe715, rs 0x738aad5c, imm 0x000f
22812 sra $s0, $s1, 0x03 :: rt 0xe7155ab, rs 0x738aad5c, imm 0x0003
22813 sra $t0, $t1, 0x00 :: rt 0x774bb0eb, rs 0x774bb0eb, imm 0x0000
22814 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x774bb0eb, imm 0x001f
22815 sra $a0, $a1, 0x0f :: rt 0xee97, rs 0x774bb0eb, imm 0x000f
22816 sra $s0, $s1, 0x03 :: rt 0xee9761d, rs 0x774bb0eb, imm 0x0003
22817 sra $t0, $t1, 0x00 :: rt 0x4f040d56, rs 0x4f040d56, imm 0x0000
22818 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4f040d56, imm 0x001f
22819 sra $a0, $a1, 0x0f :: rt 0x9e08, rs 0x4f040d56, imm 0x000f
22820 sra $s0, $s1, 0x03 :: rt 0x9e081aa, rs 0x4f040d56, imm 0x0003
22821 sra $t0, $t1, 0x00 :: rt 0x4bc510e1, rs 0x4bc510e1, imm 0x0000
22822 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4bc510e1, imm 0x001f
22823 sra $a0, $a1, 0x0f :: rt 0x978a, rs 0x4bc510e1, imm 0x000f
22824 sra $s0, $s1, 0x03 :: rt 0x978a21c, rs 0x4bc510e1, imm 0x0003
22825 sra $t0, $t1, 0x00 :: rt 0x46863638, rs 0x46863638, imm 0x0000
22826 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x46863638, imm 0x001f
22827 sra $a0, $a1, 0x0f :: rt 0x8d0c, rs 0x46863638, imm 0x000f
22828 sra $s0, $s1, 0x03 :: rt 0x8d0c6c7, rs 0x46863638, imm 0x0003
22829 sra $t0, $t1, 0x00 :: rt 0x42472b8f, rs 0x42472b8f, imm 0x0000
22830 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x42472b8f, imm 0x001f
22831 sra $a0, $a1, 0x0f :: rt 0x848e, rs 0x42472b8f, imm 0x000f
22832 sra $s0, $s1, 0x03 :: rt 0x848e571, rs 0x42472b8f, imm 0x0003
22833 sra $t0, $t1, 0x00 :: rt 0x5c007b8a, rs 0x5c007b8a, imm 0x0000
22834 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5c007b8a, imm 0x001f
22835 sra $a0, $a1, 0x0f :: rt 0xb800, rs 0x5c007b8a, imm 0x000f
22836 sra $s0, $s1, 0x03 :: rt 0xb800f71, rs 0x5c007b8a, imm 0x0003
22837 sra $t0, $t1, 0x00 :: rt 0x58c1663d, rs 0x58c1663d, imm 0x0000
22838 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x58c1663d, imm 0x001f
22839 sra $a0, $a1, 0x0f :: rt 0xb182, rs 0x58c1663d, imm 0x000f
22840 sra $s0, $s1, 0x03 :: rt 0xb182cc7, rs 0x58c1663d, imm 0x0003
22841 sra $t0, $t1, 0x00 :: rt 0x558240e4, rs 0x558240e4, imm 0x0000
22842 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x558240e4, imm 0x001f
22843 sra $a0, $a1, 0x0f :: rt 0xab04, rs 0x558240e4, imm 0x000f
22844 sra $s0, $s1, 0x03 :: rt 0xab0481c, rs 0x558240e4, imm 0x0003
22845 sra $t0, $t1, 0x00 :: rt 0x51435d53, rs 0x51435d53, imm 0x0000
22846 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x51435d53, imm 0x001f
22847 sra $a0, $a1, 0x0f :: rt 0xa286, rs 0x51435d53, imm 0x000f
22848 sra $s0, $s1, 0x03 :: rt 0xa286baa, rs 0x51435d53, imm 0x0003
22849 sra $t0, $t1, 0x00 :: rt 0x251d3b9e, rs 0x251d3b9e, imm 0x0000
22850 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x251d3b9e, imm 0x001f
22851 sra $a0, $a1, 0x0f :: rt 0x4a3a, rs 0x251d3b9e, imm 0x000f
22852 sra $s0, $s1, 0x03 :: rt 0x4a3a773, rs 0x251d3b9e, imm 0x0003
22853 sra $t0, $t1, 0x00 :: rt 0x21dc2629, rs 0x21dc2629, imm 0x0000
22854 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x21dc2629, imm 0x001f
22855 sra $a0, $a1, 0x0f :: rt 0x43b8, rs 0x21dc2629, imm 0x000f
22856 sra $s0, $s1, 0x03 :: rt 0x43b84c5, rs 0x21dc2629, imm 0x0003
22857 sra $t0, $t1, 0x00 :: rt 0x2c9f00f0, rs 0x2c9f00f0, imm 0x0000
22858 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2c9f00f0, imm 0x001f
22859 sra $a0, $a1, 0x0f :: rt 0x593e, rs 0x2c9f00f0, imm 0x000f
22860 sra $s0, $s1, 0x03 :: rt 0x593e01e, rs 0x2c9f00f0, imm 0x0003
22861 sra $t0, $t1, 0x00 :: rt 0x285e1d47, rs 0x285e1d47, imm 0x0000
22862 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x285e1d47, imm 0x001f
22863 sra $a0, $a1, 0x0f :: rt 0x50bc, rs 0x285e1d47, imm 0x000f
22864 sra $s0, $s1, 0x03 :: rt 0x50bc3a8, rs 0x285e1d47, imm 0x0003
22865 sra $t0, $t1, 0x00 :: rt 0x36194d42, rs 0x36194d42, imm 0x0000
22866 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x36194d42, imm 0x001f
22867 sra $a0, $a1, 0x0f :: rt 0x6c32, rs 0x36194d42, imm 0x000f
22868 sra $s0, $s1, 0x03 :: rt 0x6c329a8, rs 0x36194d42, imm 0x0003
22869 sra $t0, $t1, 0x00 :: rt 0x32d850f5, rs 0x32d850f5, imm 0x0000
22870 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x32d850f5, imm 0x001f
22871 sra $a0, $a1, 0x0f :: rt 0x65b0, rs 0x32d850f5, imm 0x000f
22872 sra $s0, $s1, 0x03 :: rt 0x65b0a1e, rs 0x32d850f5, imm 0x0003
22873 sra $t0, $t1, 0x00 :: rt 0x3f9b762c, rs 0x3f9b762c, imm 0x0000
22874 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3f9b762c, imm 0x001f
22875 sra $a0, $a1, 0x0f :: rt 0x7f36, rs 0x3f9b762c, imm 0x000f
22876 sra $s0, $s1, 0x03 :: rt 0x7f36ec5, rs 0x3f9b762c, imm 0x0003
22877 sra $t0, $t1, 0x00 :: rt 0x3b5a6b9b, rs 0x3b5a6b9b, imm 0x0000
22878 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3b5a6b9b, imm 0x001f
22879 sra $a0, $a1, 0x0f :: rt 0x76b4, rs 0x3b5a6b9b, imm 0x000f
22880 sra $s0, $s1, 0x03 :: rt 0x76b4d73, rs 0x3b5a6b9b, imm 0x0003
22881 sra $t0, $t1, 0x00 :: rt 0x315d626, rs 0x315d626, imm 0x0000
22882 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x315d626, imm 0x001f
22883 sra $a0, $a1, 0x0f :: rt 0x62b, rs 0x315d626, imm 0x000f
22884 sra $s0, $s1, 0x03 :: rt 0x62bac4, rs 0x315d626, imm 0x0003
22885 sra $t0, $t1, 0x00 :: rt 0x7d4cb91, rs 0x7d4cb91, imm 0x0000
22886 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7d4cb91, imm 0x001f
22887 sra $a0, $a1, 0x0f :: rt 0xfa9, rs 0x7d4cb91, imm 0x000f
22888 sra $s0, $s1, 0x03 :: rt 0xfa9972, rs 0x7d4cb91, imm 0x0003
22889 sra $t0, $t1, 0x00 :: rt 0xa97ed48, rs 0xa97ed48, imm 0x0000
22890 sra $t2, $t3, 0x1f :: rt 0x0, rs 0xa97ed48, imm 0x001f
22891 sra $a0, $a1, 0x0f :: rt 0x152f, rs 0xa97ed48, imm 0x000f
22892 sra $s0, $s1, 0x03 :: rt 0x152fda9, rs 0xa97ed48, imm 0x0003
22893 sra $t0, $t1, 0x00 :: rt 0xe56f0ff, rs 0xe56f0ff, imm 0x0000
22894 sra $t2, $t3, 0x1f :: rt 0x0, rs 0xe56f0ff, imm 0x001f
22895 sra $a0, $a1, 0x0f :: rt 0x1cad, rs 0xe56f0ff, imm 0x000f
22896 sra $s0, $s1, 0x03 :: rt 0x1cade1f, rs 0xe56f0ff, imm 0x0003
22897 sra $t0, $t1, 0x00 :: rt 0x1011a0fa, rs 0x1011a0fa, imm 0x0000
22898 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1011a0fa, imm 0x001f
22899 sra $a0, $a1, 0x0f :: rt 0x2023, rs 0x1011a0fa, imm 0x000f
22900 sra $s0, $s1, 0x03 :: rt 0x202341f, rs 0x1011a0fa, imm 0x0003
22901 sra $t0, $t1, 0x00 :: rt 0x14d0bd4d, rs 0x14d0bd4d, imm 0x0000
22902 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x14d0bd4d, imm 0x001f
22903 sra $a0, $a1, 0x0f :: rt 0x29a1, rs 0x14d0bd4d, imm 0x000f
22904 sra $s0, $s1, 0x03 :: rt 0x29a17a9, rs 0x14d0bd4d, imm 0x0003
22905 sra $t0, $t1, 0x00 :: rt 0x19939b94, rs 0x19939b94, imm 0x0000
22906 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x19939b94, imm 0x001f
22907 sra $a0, $a1, 0x0f :: rt 0x3327, rs 0x19939b94, imm 0x000f
22908 sra $s0, $s1, 0x03 :: rt 0x3327372, rs 0x19939b94, imm 0x0003
22909 sra $t0, $t1, 0x00 :: rt 0x1d528623, rs 0x1d528623, imm 0x0000
22910 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1d528623, imm 0x001f
22911 sra $a0, $a1, 0x0f :: rt 0x3aa5, rs 0x1d528623, imm 0x000f
22912 sra $s0, $s1, 0x03 :: rt 0x3aa50c4, rs 0x1d528623, imm 0x0003
22913 sra $t0, $t1, 0x00 :: rt 0xfffffffff12f560e, rs 0xfffffffff12f560e, imm 0x0000
22914 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff12f560e, imm 0x001f
22915 sra $a0, $a1, 0x0f :: rt 0xffffffffffffe25e, rs 0xfffffffff12f560e, imm 0x000f
22916 sra $s0, $s1, 0x03 :: rt 0xfffffffffe25eac1, rs 0xfffffffff12f560e, imm 0x0003
22917 sra $t0, $t1, 0x00 :: rt 0xfffffffff5ee4bb9, rs 0xfffffffff5ee4bb9, imm 0x0000
22918 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff5ee4bb9, imm 0x001f
22919 sra $a0, $a1, 0x0f :: rt 0xffffffffffffebdc, rs 0xfffffffff5ee4bb9, imm 0x000f
22920 sra $s0, $s1, 0x03 :: rt 0xfffffffffebdc977, rs 0xfffffffff5ee4bb9, imm 0x0003
22921 sra $t0, $t1, 0x00 :: rt 0xfffffffff8ad6d60, rs 0xfffffffff8ad6d60, imm 0x0000
22922 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff8ad6d60, imm 0x001f
22923 sra $a0, $a1, 0x0f :: rt 0xfffffffffffff15a, rs 0xfffffffff8ad6d60, imm 0x000f
22924 sra $s0, $s1, 0x03 :: rt 0xffffffffff15adac, rs 0xfffffffff8ad6d60, imm 0x0003
22925 sra $t0, $t1, 0x00 :: rt 0xfffffffffc6c70d7, rs 0xfffffffffc6c70d7, imm 0x0000
22926 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffffc6c70d7, imm 0x001f
22927 sra $a0, $a1, 0x0f :: rt 0xfffffffffffff8d8, rs 0xfffffffffc6c70d7, imm 0x000f
22928 sra $s0, $s1, 0x03 :: rt 0xffffffffff8d8e1a, rs 0xfffffffffc6c70d7, imm 0x0003
22929 sra $t0, $t1, 0x00 :: rt 0xffffffffe22b20d2, rs 0xffffffffe22b20d2, imm 0x0000
22930 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe22b20d2, imm 0x001f
22931 sra $a0, $a1, 0x0f :: rt 0xffffffffffffc456, rs 0xffffffffe22b20d2, imm 0x000f
22932 sra $s0, $s1, 0x03 :: rt 0xfffffffffc45641a, rs 0xffffffffe22b20d2, imm 0x0003
22933 sra $t0, $t1, 0x00 :: rt 0xffffffffe6ea3d65, rs 0xffffffffe6ea3d65, imm 0x0000
22934 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe6ea3d65, imm 0x001f
22935 sra $a0, $a1, 0x0f :: rt 0xffffffffffffcdd4, rs 0xffffffffe6ea3d65, imm 0x000f
22936 sra $s0, $s1, 0x03 :: rt 0xfffffffffcdd47ac, rs 0xffffffffe6ea3d65, imm 0x0003
22937 sra $t0, $t1, 0x00 :: rt 0xffffffffeba91bbc, rs 0xffffffffeba91bbc, imm 0x0000
22938 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffeba91bbc, imm 0x001f
22939 sra $a0, $a1, 0x0f :: rt 0xffffffffffffd752, rs 0xffffffffeba91bbc, imm 0x000f
22940 sra $s0, $s1, 0x03 :: rt 0xfffffffffd752377, rs 0xffffffffeba91bbc, imm 0x0003
22941 sra $t0, $t1, 0x00 :: rt 0xffffffffef68060b, rs 0xffffffffef68060b, imm 0x0000
22942 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffef68060b, imm 0x001f
22943 sra $a0, $a1, 0x0f :: rt 0xffffffffffffded0, rs 0xffffffffef68060b, imm 0x000f
22944 sra $s0, $s1, 0x03 :: rt 0xfffffffffded00c1, rs 0xffffffffef68060b, imm 0x0003
22945 sra $t0, $t1, 0x00 :: rt 0xffffffffd727bbb6, rs 0xffffffffd727bbb6, imm 0x0000
22946 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd727bbb6, imm 0x001f
22947 sra $a0, $a1, 0x0f :: rt 0xffffffffffffae4f, rs 0xffffffffd727bbb6, imm 0x000f
22948 sra $s0, $s1, 0x03 :: rt 0xfffffffffae4f776, rs 0xffffffffd727bbb6, imm 0x0003
22949 sra $t0, $t1, 0x00 :: rt 0xffffffffd3e6a601, rs 0xffffffffd3e6a601, imm 0x0000
22950 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd3e6a601, imm 0x001f
22951 sra $a0, $a1, 0x0f :: rt 0xffffffffffffa7cd, rs 0xffffffffd3e6a601, imm 0x000f
22952 sra $s0, $s1, 0x03 :: rt 0xfffffffffa7cd4c0, rs 0xffffffffd3e6a601, imm 0x0003
22953 sra $t0, $t1, 0x00 :: rt 0xffffffffdea580d8, rs 0xffffffffdea580d8, imm 0x0000
22954 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffdea580d8, imm 0x001f
22955 sra $a0, $a1, 0x0f :: rt 0xffffffffffffbd4b, rs 0xffffffffdea580d8, imm 0x000f
22956 sra $s0, $s1, 0x03 :: rt 0xfffffffffbd4b01b, rs 0xffffffffdea580d8, imm 0x0003
22957 sra $t0, $t1, 0x00 :: rt 0xffffffffda649d6f, rs 0xffffffffda649d6f, imm 0x0000
22958 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffda649d6f, imm 0x001f
22959 sra $a0, $a1, 0x0f :: rt 0xffffffffffffb4c9, rs 0xffffffffda649d6f, imm 0x000f
22960 sra $s0, $s1, 0x03 :: rt 0xfffffffffb4c93ad, rs 0xffffffffda649d6f, imm 0x0003
22961 sra $t0, $t1, 0x00 :: rt 0xffffffffc423cd6a, rs 0xffffffffc423cd6a, imm 0x0000
22962 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc423cd6a, imm 0x001f
22963 sra $a0, $a1, 0x0f :: rt 0xffffffffffff8847, rs 0xffffffffc423cd6a, imm 0x000f
22964 sra $s0, $s1, 0x03 :: rt 0xfffffffff88479ad, rs 0xffffffffc423cd6a, imm 0x0003
22965 sra $t0, $t1, 0x00 :: rt 0x0, rs 0x0, imm 0x0000
22966 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x0, imm 0x001f
22967 sra $a0, $a1, 0x0f :: rt 0x0, rs 0x0, imm 0x000f
22968 sra $s0, $s1, 0x03 :: rt 0x0, rs 0x0, imm 0x0003
22969 sra $t0, $t1, 0x00 :: rt 0xffffffffcda1f604, rs 0xffffffffcda1f604, imm 0x0000
22970 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffcda1f604, imm 0x001f
22971 sra $a0, $a1, 0x0f :: rt 0xffffffffffff9b43, rs 0xffffffffcda1f604, imm 0x000f
22972 sra $s0, $s1, 0x03 :: rt 0xfffffffff9b43ec0, rs 0xffffffffcda1f604, imm 0x0003
22973 sra $t0, $t1, 0x00 :: rt 0x0, rs 0x0, imm 0x0000
22974 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x0, imm 0x001f
22975 sra $a0, $a1, 0x0f :: rt 0x0, rs 0x0, imm 0x000f
22976 sra $s0, $s1, 0x03 :: rt 0x0, rs 0x0, imm 0x0003
22977 sra $t0, $t1, 0x00 :: rt 0xffffffffbd3e8d7e, rs 0xffffffffbd3e8d7e, imm 0x0000
22978 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffbd3e8d7e, imm 0x001f
22979 sra $a0, $a1, 0x0f :: rt 0xffffffffffff7a7d, rs 0xffffffffbd3e8d7e, imm 0x000f
22980 sra $s0, $s1, 0x03 :: rt 0xfffffffff7a7d1af, rs 0xffffffffbd3e8d7e, imm 0x0003
22981 sra $t0, $t1, 0x00 :: rt 0xffffffffb9ff90c9, rs 0xffffffffb9ff90c9, imm 0x0000
22982 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb9ff90c9, imm 0x001f
22983 sra $a0, $a1, 0x0f :: rt 0xffffffffffff73ff, rs 0xffffffffb9ff90c9, imm 0x000f
22984 sra $s0, $s1, 0x03 :: rt 0xfffffffff73ff219, rs 0xffffffffb9ff90c9, imm 0x0003
22985 sra $t0, $t1, 0x00 :: rt 0xffffffffb4bcb610, rs 0xffffffffb4bcb610, imm 0x0000
22986 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb4bcb610, imm 0x001f
22987 sra $a0, $a1, 0x0f :: rt 0xffffffffffff6979, rs 0xffffffffb4bcb610, imm 0x000f
22988 sra $s0, $s1, 0x03 :: rt 0xfffffffff69796c2, rs 0xffffffffb4bcb610, imm 0x0003
22989 sra $t0, $t1, 0x00 :: rt 0xffffffffb07daba7, rs 0xffffffffb07daba7, imm 0x0000
22990 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb07daba7, imm 0x001f
22991 sra $a0, $a1, 0x0f :: rt 0xffffffffffff60fb, rs 0xffffffffb07daba7, imm 0x000f
22992 sra $s0, $s1, 0x03 :: rt 0xfffffffff60fb574, rs 0xffffffffb07daba7, imm 0x0003
22993 sra $t0, $t1, 0x00 :: rt 0xffffffffae3afba2, rs 0xffffffffae3afba2, imm 0x0000
22994 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffae3afba2, imm 0x001f
22995 sra $a0, $a1, 0x0f :: rt 0xffffffffffff5c75, rs 0xffffffffae3afba2, imm 0x000f
22996 sra $s0, $s1, 0x03 :: rt 0xfffffffff5c75f74, rs 0xffffffffae3afba2, imm 0x0003
22997 sra $t0, $t1, 0x00 :: rt 0xffffffffaafbe615, rs 0xffffffffaafbe615, imm 0x0000
22998 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffaafbe615, imm 0x001f
22999 sra $a0, $a1, 0x0f :: rt 0xffffffffffff55f7, rs 0xffffffffaafbe615, imm 0x000f
23000 sra $s0, $s1, 0x03 :: rt 0xfffffffff55f7cc2, rs 0xffffffffaafbe615, imm 0x0003
23001 sra $t0, $t1, 0x00 :: rt 0xffffffffa7b8c0cc, rs 0xffffffffa7b8c0cc, imm 0x0000
23002 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa7b8c0cc, imm 0x001f
23003 sra $a0, $a1, 0x0f :: rt 0xffffffffffff4f71, rs 0xffffffffa7b8c0cc, imm 0x000f
23004 sra $s0, $s1, 0x03 :: rt 0xfffffffff4f71819, rs 0xffffffffa7b8c0cc, imm 0x0003
23005 sra $t0, $t1, 0x00 :: rt 0xffffffffa379dd7b, rs 0xffffffffa379dd7b, imm 0x0000
23006 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa379dd7b, imm 0x001f
23007 sra $a0, $a1, 0x0f :: rt 0xffffffffffff46f3, rs 0xffffffffa379dd7b, imm 0x000f
23008 sra $s0, $s1, 0x03 :: rt 0xfffffffff46f3baf, rs 0xffffffffa379dd7b, imm 0x0003
23009 sra $t0, $t1, 0x00 :: rt 0xffffffff9b3660c6, rs 0xffffffff9b3660c6, imm 0x0000
23010 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9b3660c6, imm 0x001f
23011 sra $a0, $a1, 0x0f :: rt 0xffffffffffff366c, rs 0xffffffff9b3660c6, imm 0x000f
23012 sra $s0, $s1, 0x03 :: rt 0xfffffffff366cc18, rs 0xffffffff9b3660c6, imm 0x0003
23013 sra $t0, $t1, 0x00 :: rt 0xffffffff9ff77d71, rs 0xffffffff9ff77d71, imm 0x0000
23014 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9ff77d71, imm 0x001f
23015 sra $a0, $a1, 0x0f :: rt 0xffffffffffff3fee, rs 0xffffffff9ff77d71, imm 0x000f
23016 sra $s0, $s1, 0x03 :: rt 0xfffffffff3feefae, rs 0xffffffff9ff77d71, imm 0x0003
23017 sra $t0, $t1, 0x00 :: rt 0xffffffff92b45ba8, rs 0xffffffff92b45ba8, imm 0x0000
23018 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff92b45ba8, imm 0x001f
23019 sra $a0, $a1, 0x0f :: rt 0xffffffffffff2568, rs 0xffffffff92b45ba8, imm 0x000f
23020 sra $s0, $s1, 0x03 :: rt 0xfffffffff2568b75, rs 0xffffffff92b45ba8, imm 0x0003
23021 sra $t0, $t1, 0x00 :: rt 0xffffffff9675461f, rs 0xffffffff9675461f, imm 0x0000
23022 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9675461f, imm 0x001f
23023 sra $a0, $a1, 0x0f :: rt 0xffffffffffff2cea, rs 0xffffffff9675461f, imm 0x000f
23024 sra $s0, $s1, 0x03 :: rt 0xfffffffff2cea8c3, rs 0xffffffff9675461f, imm 0x0003
23025 sra $t0, $t1, 0x00 :: rt 0xffffffff8832161a, rs 0xffffffff8832161a, imm 0x0000
23026 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8832161a, imm 0x001f
23027 sra $a0, $a1, 0x0f :: rt 0xffffffffffff1064, rs 0xffffffff8832161a, imm 0x000f
23028 sra $s0, $s1, 0x03 :: rt 0xfffffffff10642c3, rs 0xffffffff8832161a, imm 0x0003
23029 sra $t0, $t1, 0x00 :: rt 0xffffffff8cf30bad, rs 0xffffffff8cf30bad, imm 0x0000
23030 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8cf30bad, imm 0x001f
23031 sra $a0, $a1, 0x0f :: rt 0xffffffffffff19e6, rs 0xffffffff8cf30bad, imm 0x000f
23032 sra $s0, $s1, 0x03 :: rt 0xfffffffff19e6175, rs 0xffffffff8cf30bad, imm 0x0003
23033 sra $t0, $t1, 0x00 :: rt 0xffffffff81b02d74, rs 0xffffffff81b02d74, imm 0x0000
23034 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff81b02d74, imm 0x001f
23035 sra $a0, $a1, 0x0f :: rt 0xffffffffffff0360, rs 0xffffffff81b02d74, imm 0x000f
23036 sra $s0, $s1, 0x03 :: rt 0xfffffffff03605ae, rs 0xffffffff81b02d74, imm 0x0003
23037 sra $t0, $t1, 0x00 :: rt 0xffffffff857130c3, rs 0xffffffff857130c3, imm 0x0000
23038 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff857130c3, imm 0x001f
23039 sra $a0, $a1, 0x0f :: rt 0xffffffffffff0ae2, rs 0xffffffff857130c3, imm 0x000f
23040 sra $s0, $s1, 0x03 :: rt 0xfffffffff0ae2618, rs 0xffffffff857130c3, imm 0x0003
23041 sra $t0, $t1, 0x00 :: rt 0x5d8a9099, rs 0x5d8a9099, imm 0x0000
23042 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5d8a9099, imm 0x001f
23043 sra $a0, $a1, 0x0f :: rt 0xbb15, rs 0x5d8a9099, imm 0x000f
23044 sra $s0, $s1, 0x03 :: rt 0xbb15213, rs 0x5d8a9099, imm 0x0003
23045 sra $t0, $t1, 0x00 :: rt 0x594b8d2e, rs 0x594b8d2e, imm 0x0000
23046 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x594b8d2e, imm 0x001f
23047 sra $a0, $a1, 0x0f :: rt 0xb297, rs 0x594b8d2e, imm 0x000f
23048 sra $s0, $s1, 0x03 :: rt 0xb2971a5, rs 0x594b8d2e, imm 0x0003
23049 sra $t0, $t1, 0x00 :: rt 0x5408abf7, rs 0x5408abf7, imm 0x0000
23050 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x5408abf7, imm 0x001f
23051 sra $a0, $a1, 0x0f :: rt 0xa811, rs 0x5408abf7, imm 0x000f
23052 sra $s0, $s1, 0x03 :: rt 0xa81157e, rs 0x5408abf7, imm 0x0003
23053 sra $t0, $t1, 0x00 :: rt 0x50c9b640, rs 0x50c9b640, imm 0x0000
23054 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x50c9b640, imm 0x001f
23055 sra $a0, $a1, 0x0f :: rt 0xa193, rs 0x50c9b640, imm 0x000f
23056 sra $s0, $s1, 0x03 :: rt 0xa1936c8, rs 0x50c9b640, imm 0x0003
23057 sra $t0, $t1, 0x00 :: rt 0x4e8ee645, rs 0x4e8ee645, imm 0x0000
23058 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4e8ee645, imm 0x001f
23059 sra $a0, $a1, 0x0f :: rt 0x9d1d, rs 0x4e8ee645, imm 0x000f
23060 sra $s0, $s1, 0x03 :: rt 0x9d1dcc8, rs 0x4e8ee645, imm 0x0003
23061 sra $t0, $t1, 0x00 :: rt 0x4a4ffbf2, rs 0x4a4ffbf2, imm 0x0000
23062 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x4a4ffbf2, imm 0x001f
23063 sra $a0, $a1, 0x0f :: rt 0x949f, rs 0x4a4ffbf2, imm 0x000f
23064 sra $s0, $s1, 0x03 :: rt 0x949ff7e, rs 0x4a4ffbf2, imm 0x0003
23065 sra $t0, $t1, 0x00 :: rt 0x470cdd2b, rs 0x470cdd2b, imm 0x0000
23066 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x470cdd2b, imm 0x001f
23067 sra $a0, $a1, 0x0f :: rt 0x8e19, rs 0x470cdd2b, imm 0x000f
23068 sra $s0, $s1, 0x03 :: rt 0x8e19ba5, rs 0x470cdd2b, imm 0x0003
23069 sra $t0, $t1, 0x00 :: rt 0x43cdc09c, rs 0x43cdc09c, imm 0x0000
23070 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x43cdc09c, imm 0x001f
23071 sra $a0, $a1, 0x0f :: rt 0x879b, rs 0x43cdc09c, imm 0x000f
23072 sra $s0, $s1, 0x03 :: rt 0x879b813, rs 0x43cdc09c, imm 0x0003
23073 sra $t0, $t1, 0x00 :: rt 0x7b827d21, rs 0x7b827d21, imm 0x0000
23074 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7b827d21, imm 0x001f
23075 sra $a0, $a1, 0x0f :: rt 0xf704, rs 0x7b827d21, imm 0x000f
23076 sra $s0, $s1, 0x03 :: rt 0xf704fa4, rs 0x7b827d21, imm 0x0003
23077 sra $t0, $t1, 0x00 :: rt 0x7f436096, rs 0x7f436096, imm 0x0000
23078 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7f436096, imm 0x001f
23079 sra $a0, $a1, 0x0f :: rt 0xfe86, rs 0x7f436096, imm 0x000f
23080 sra $s0, $s1, 0x03 :: rt 0xfe86c12, rs 0x7f436096, imm 0x0003
23081 sra $t0, $t1, 0x00 :: rt 0x7200464f, rs 0x7200464f, imm 0x0000
23082 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x7200464f, imm 0x001f
23083 sra $a0, $a1, 0x0f :: rt 0xe400, rs 0x7200464f, imm 0x000f
23084 sra $s0, $s1, 0x03 :: rt 0xe4008c9, rs 0x7200464f, imm 0x0003
23085 sra $t0, $t1, 0x00 :: rt 0x76c15bf8, rs 0x76c15bf8, imm 0x0000
23086 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x76c15bf8, imm 0x001f
23087 sra $a0, $a1, 0x0f :: rt 0xed82, rs 0x76c15bf8, imm 0x000f
23088 sra $s0, $s1, 0x03 :: rt 0xed82b7f, rs 0x76c15bf8, imm 0x0003
23089 sra $t0, $t1, 0x00 :: rt 0x68860bfd, rs 0x68860bfd, imm 0x0000
23090 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x68860bfd, imm 0x001f
23091 sra $a0, $a1, 0x0f :: rt 0xd10c, rs 0x68860bfd, imm 0x000f
23092 sra $s0, $s1, 0x03 :: rt 0xd10c17f, rs 0x68860bfd, imm 0x0003
23093 sra $t0, $t1, 0x00 :: rt 0x6c47164a, rs 0x6c47164a, imm 0x0000
23094 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x6c47164a, imm 0x001f
23095 sra $a0, $a1, 0x0f :: rt 0xd88e, rs 0x6c47164a, imm 0x000f
23096 sra $s0, $s1, 0x03 :: rt 0xd88e2c9, rs 0x6c47164a, imm 0x0003
23097 sra $t0, $t1, 0x00 :: rt 0x61043093, rs 0x61043093, imm 0x0000
23098 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x61043093, imm 0x001f
23099 sra $a0, $a1, 0x0f :: rt 0xc208, rs 0x61043093, imm 0x000f
23100 sra $s0, $s1, 0x03 :: rt 0xc208612, rs 0x61043093, imm 0x0003
23101 sra $t0, $t1, 0x00 :: rt 0x65c52d24, rs 0x65c52d24, imm 0x0000
23102 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x65c52d24, imm 0x001f
23103 sra $a0, $a1, 0x0f :: rt 0xcb8a, rs 0x65c52d24, imm 0x000f
23104 sra $s0, $s1, 0x03 :: rt 0xcb8a5a4, rs 0x65c52d24, imm 0x0003
23105 sra $t0, $t1, 0x00 :: rt 0x119b4be9, rs 0x119b4be9, imm 0x0000
23106 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x119b4be9, imm 0x001f
23107 sra $a0, $a1, 0x0f :: rt 0x2336, rs 0x119b4be9, imm 0x000f
23108 sra $s0, $s1, 0x03 :: rt 0x233697d, rs 0x119b4be9, imm 0x0003
23109 sra $t0, $t1, 0x00 :: rt 0x155a565e, rs 0x155a565e, imm 0x0000
23110 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x155a565e, imm 0x001f
23111 sra $a0, $a1, 0x0f :: rt 0x2ab4, rs 0x155a565e, imm 0x000f
23112 sra $s0, $s1, 0x03 :: rt 0x2ab4acb, rs 0x155a565e, imm 0x0003
23113 sra $t0, $t1, 0x00 :: rt 0x18197087, rs 0x18197087, imm 0x0000
23114 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x18197087, imm 0x001f
23115 sra $a0, $a1, 0x0f :: rt 0x3032, rs 0x18197087, imm 0x000f
23116 sra $s0, $s1, 0x03 :: rt 0x3032e10, rs 0x18197087, imm 0x0003
23117 sra $t0, $t1, 0x00 :: rt 0x1cd86d30, rs 0x1cd86d30, imm 0x0000
23118 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x1cd86d30, imm 0x001f
23119 sra $a0, $a1, 0x0f :: rt 0x39b0, rs 0x1cd86d30, imm 0x000f
23120 sra $s0, $s1, 0x03 :: rt 0x39b0da6, rs 0x1cd86d30, imm 0x0003
23121 sra $t0, $t1, 0x00 :: rt 0x29f3d35, rs 0x29f3d35, imm 0x0000
23122 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x29f3d35, imm 0x001f
23123 sra $a0, $a1, 0x0f :: rt 0x53e, rs 0x29f3d35, imm 0x000f
23124 sra $s0, $s1, 0x03 :: rt 0x53e7a6, rs 0x29f3d35, imm 0x0003
23125 sra $t0, $t1, 0x00 :: rt 0x65e2082, rs 0x65e2082, imm 0x0000
23126 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x65e2082, imm 0x001f
23127 sra $a0, $a1, 0x0f :: rt 0xcbc, rs 0x65e2082, imm 0x000f
23128 sra $s0, $s1, 0x03 :: rt 0xcbc410, rs 0x65e2082, imm 0x0003
23129 sra $t0, $t1, 0x00 :: rt 0xb1d065b, rs 0xb1d065b, imm 0x0000
23130 sra $t2, $t3, 0x1f :: rt 0x0, rs 0xb1d065b, imm 0x001f
23131 sra $a0, $a1, 0x0f :: rt 0x163a, rs 0xb1d065b, imm 0x000f
23132 sra $s0, $s1, 0x03 :: rt 0x163a0cb, rs 0xb1d065b, imm 0x0003
23133 sra $t0, $t1, 0x00 :: rt 0xfdc1bec, rs 0xfdc1bec, imm 0x0000
23134 sra $t2, $t3, 0x1f :: rt 0x0, rs 0xfdc1bec, imm 0x001f
23135 sra $a0, $a1, 0x0f :: rt 0x1fb8, rs 0xfdc1bec, imm 0x000f
23136 sra $s0, $s1, 0x03 :: rt 0x1fb837d, rs 0xfdc1bec, imm 0x0003
23137 sra $t0, $t1, 0x00 :: rt 0x3793a651, rs 0x3793a651, imm 0x0000
23138 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3793a651, imm 0x001f
23139 sra $a0, $a1, 0x0f :: rt 0x6f27, rs 0x3793a651, imm 0x000f
23140 sra $s0, $s1, 0x03 :: rt 0x6f274ca, rs 0x3793a651, imm 0x0003
23141 sra $t0, $t1, 0x00 :: rt 0x3352bbe6, rs 0x3352bbe6, imm 0x0000
23142 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3352bbe6, imm 0x001f
23143 sra $a0, $a1, 0x0f :: rt 0x66a5, rs 0x3352bbe6, imm 0x000f
23144 sra $s0, $s1, 0x03 :: rt 0x66a577c, rs 0x3352bbe6, imm 0x0003
23145 sra $t0, $t1, 0x00 :: rt 0x3e119d3f, rs 0x3e119d3f, imm 0x0000
23146 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3e119d3f, imm 0x001f
23147 sra $a0, $a1, 0x0f :: rt 0x7c23, rs 0x3e119d3f, imm 0x000f
23148 sra $s0, $s1, 0x03 :: rt 0x7c233a7, rs 0x3e119d3f, imm 0x0003
23149 sra $t0, $t1, 0x00 :: rt 0x3ad08088, rs 0x3ad08088, imm 0x0000
23150 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x3ad08088, imm 0x001f
23151 sra $a0, $a1, 0x0f :: rt 0x75a1, rs 0x3ad08088, imm 0x000f
23152 sra $s0, $s1, 0x03 :: rt 0x75a1011, rs 0x3ad08088, imm 0x0003
23153 sra $t0, $t1, 0x00 :: rt 0x2497d08d, rs 0x2497d08d, imm 0x0000
23154 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2497d08d, imm 0x001f
23155 sra $a0, $a1, 0x0f :: rt 0x492f, rs 0x2497d08d, imm 0x000f
23156 sra $s0, $s1, 0x03 :: rt 0x492fa11, rs 0x2497d08d, imm 0x0003
23157 sra $t0, $t1, 0x00 :: rt 0x2056cd3a, rs 0x2056cd3a, imm 0x0000
23158 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2056cd3a, imm 0x001f
23159 sra $a0, $a1, 0x0f :: rt 0x40ad, rs 0x2056cd3a, imm 0x000f
23160 sra $s0, $s1, 0x03 :: rt 0x40ad9a7, rs 0x2056cd3a, imm 0x0003
23161 sra $t0, $t1, 0x00 :: rt 0x2d15ebe3, rs 0x2d15ebe3, imm 0x0000
23162 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x2d15ebe3, imm 0x001f
23163 sra $a0, $a1, 0x0f :: rt 0x5a2b, rs 0x2d15ebe3, imm 0x000f
23164 sra $s0, $s1, 0x03 :: rt 0x5a2bd7c, rs 0x2d15ebe3, imm 0x0003
23165 sra $t0, $t1, 0x00 :: rt 0x29d4f654, rs 0x29d4f654, imm 0x0000
23166 sra $t2, $t3, 0x1f :: rt 0x0, rs 0x29d4f654, imm 0x001f
23167 sra $a0, $a1, 0x0f :: rt 0x53a9, rs 0x29d4f654, imm 0x000f
23168 sra $s0, $s1, 0x03 :: rt 0x53a9eca, rs 0x29d4f654, imm 0x0003
23169 sra $t0, $t1, 0x00 :: rt 0xffffffffc5a92679, rs 0xffffffffc5a92679, imm 0x0000
23170 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc5a92679, imm 0x001f
23171 sra $a0, $a1, 0x0f :: rt 0xffffffffffff8b52, rs 0xffffffffc5a92679, imm 0x000f
23172 sra $s0, $s1, 0x03 :: rt 0xfffffffff8b524cf, rs 0xffffffffc5a92679, imm 0x0003
23173 sra $t0, $t1, 0x00 :: rt 0xffffffffc1683bce, rs 0xffffffffc1683bce, imm 0x0000
23174 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc1683bce, imm 0x001f
23175 sra $a0, $a1, 0x0f :: rt 0xffffffffffff82d0, rs 0xffffffffc1683bce, imm 0x000f
23176 sra $s0, $s1, 0x03 :: rt 0xfffffffff82d0779, rs 0xffffffffc1683bce, imm 0x0003
23177 sra $t0, $t1, 0x00 :: rt 0xffffffffcc2b1d17, rs 0xffffffffcc2b1d17, imm 0x0000
23178 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffcc2b1d17, imm 0x001f
23179 sra $a0, $a1, 0x0f :: rt 0xffffffffffff9856, rs 0xffffffffcc2b1d17, imm 0x000f
23180 sra $s0, $s1, 0x03 :: rt 0xfffffffff98563a2, rs 0xffffffffcc2b1d17, imm 0x0003
23181 sra $t0, $t1, 0x00 :: rt 0xffffffffc8ea00a0, rs 0xffffffffc8ea00a0, imm 0x0000
23182 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffc8ea00a0, imm 0x001f
23183 sra $a0, $a1, 0x0f :: rt 0xffffffffffff91d4, rs 0xffffffffc8ea00a0, imm 0x000f
23184 sra $s0, $s1, 0x03 :: rt 0xfffffffff91d4014, rs 0xffffffffc8ea00a0, imm 0x0003
23185 sra $t0, $t1, 0x00 :: rt 0xffffffffd6ad50a5, rs 0xffffffffd6ad50a5, imm 0x0000
23186 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd6ad50a5, imm 0x001f
23187 sra $a0, $a1, 0x0f :: rt 0xffffffffffffad5a, rs 0xffffffffd6ad50a5, imm 0x000f
23188 sra $s0, $s1, 0x03 :: rt 0xfffffffffad5aa14, rs 0xffffffffd6ad50a5, imm 0x0003
23189 sra $t0, $t1, 0x00 :: rt 0xffffffffd26c4d12, rs 0xffffffffd26c4d12, imm 0x0000
23190 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffd26c4d12, imm 0x001f
23191 sra $a0, $a1, 0x0f :: rt 0xffffffffffffa4d8, rs 0xffffffffd26c4d12, imm 0x000f
23192 sra $s0, $s1, 0x03 :: rt 0xfffffffffa4d89a2, rs 0xffffffffd26c4d12, imm 0x0003
23193 sra $t0, $t1, 0x00 :: rt 0xffffffffdf2f6bcb, rs 0xffffffffdf2f6bcb, imm 0x0000
23194 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffdf2f6bcb, imm 0x001f
23195 sra $a0, $a1, 0x0f :: rt 0xffffffffffffbe5e, rs 0xffffffffdf2f6bcb, imm 0x000f
23196 sra $s0, $s1, 0x03 :: rt 0xfffffffffbe5ed79, rs 0xffffffffdf2f6bcb, imm 0x0003
23197 sra $t0, $t1, 0x00 :: rt 0xffffffffdbee767c, rs 0xffffffffdbee767c, imm 0x0000
23198 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffdbee767c, imm 0x001f
23199 sra $a0, $a1, 0x0f :: rt 0xffffffffffffb7dc, rs 0xffffffffdbee767c, imm 0x000f
23200 sra $s0, $s1, 0x03 :: rt 0xfffffffffb7dcecf, rs 0xffffffffdbee767c, imm 0x0003
23201 sra $t0, $t1, 0x00 :: rt 0xffffffffe3a1cbc1, rs 0xffffffffe3a1cbc1, imm 0x0000
23202 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe3a1cbc1, imm 0x001f
23203 sra $a0, $a1, 0x0f :: rt 0xffffffffffffc743, rs 0xffffffffe3a1cbc1, imm 0x000f
23204 sra $s0, $s1, 0x03 :: rt 0xfffffffffc743978, rs 0xffffffffe3a1cbc1, imm 0x0003
23205 sra $t0, $t1, 0x00 :: rt 0xffffffffe760d676, rs 0xffffffffe760d676, imm 0x0000
23206 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffe760d676, imm 0x001f
23207 sra $a0, $a1, 0x0f :: rt 0xffffffffffffcec1, rs 0xffffffffe760d676, imm 0x000f
23208 sra $s0, $s1, 0x03 :: rt 0xfffffffffcec1ace, rs 0xffffffffe760d676, imm 0x0003
23209 sra $t0, $t1, 0x00 :: rt 0xffffffffea23f0af, rs 0xffffffffea23f0af, imm 0x0000
23210 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffea23f0af, imm 0x001f
23211 sra $a0, $a1, 0x0f :: rt 0xffffffffffffd447, rs 0xffffffffea23f0af, imm 0x000f
23212 sra $s0, $s1, 0x03 :: rt 0xfffffffffd447e15, rs 0xffffffffea23f0af, imm 0x0003
23213 sra $t0, $t1, 0x00 :: rt 0xffffffffeee2ed18, rs 0xffffffffeee2ed18, imm 0x0000
23214 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffeee2ed18, imm 0x001f
23215 sra $a0, $a1, 0x0f :: rt 0xffffffffffffddc5, rs 0xffffffffeee2ed18, imm 0x000f
23216 sra $s0, $s1, 0x03 :: rt 0xfffffffffddc5da3, rs 0xffffffffeee2ed18, imm 0x0003
23217 sra $t0, $t1, 0x00 :: rt 0xfffffffff0a5bd1d, rs 0xfffffffff0a5bd1d, imm 0x0000
23218 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff0a5bd1d, imm 0x001f
23219 sra $a0, $a1, 0x0f :: rt 0xffffffffffffe14b, rs 0xfffffffff0a5bd1d, imm 0x000f
23220 sra $s0, $s1, 0x03 :: rt 0xfffffffffe14b7a3, rs 0xfffffffff0a5bd1d, imm 0x0003
23221 sra $t0, $t1, 0x00 :: rt 0xfffffffff464a0aa, rs 0xfffffffff464a0aa, imm 0x0000
23222 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff464a0aa, imm 0x001f
23223 sra $a0, $a1, 0x0f :: rt 0xffffffffffffe8c9, rs 0xfffffffff464a0aa, imm 0x000f
23224 sra $s0, $s1, 0x03 :: rt 0xfffffffffe8c9415, rs 0xfffffffff464a0aa, imm 0x0003
23225 sra $t0, $t1, 0x00 :: rt 0xfffffffff9278673, rs 0xfffffffff9278673, imm 0x0000
23226 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffff9278673, imm 0x001f
23227 sra $a0, $a1, 0x0f :: rt 0xfffffffffffff24f, rs 0xfffffffff9278673, imm 0x000f
23228 sra $s0, $s1, 0x03 :: rt 0xffffffffff24f0ce, rs 0xfffffffff9278673, imm 0x0003
23229 sra $t0, $t1, 0x00 :: rt 0xfffffffffde69bc4, rs 0xfffffffffde69bc4, imm 0x0000
23230 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xfffffffffde69bc4, imm 0x001f
23231 sra $a0, $a1, 0x0f :: rt 0xfffffffffffffbcd, rs 0xfffffffffde69bc4, imm 0x000f
23232 sra $s0, $s1, 0x03 :: rt 0xffffffffffbcd378, rs 0xfffffffffde69bc4, imm 0x0003
23233 sra $t0, $t1, 0x00 :: rt 0xffffffff89b8fd09, rs 0xffffffff89b8fd09, imm 0x0000
23234 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff89b8fd09, imm 0x001f
23235 sra $a0, $a1, 0x0f :: rt 0xffffffffffff1371, rs 0xffffffff89b8fd09, imm 0x000f
23236 sra $s0, $s1, 0x03 :: rt 0xfffffffff1371fa1, rs 0xffffffff89b8fd09, imm 0x0003
23237 sra $t0, $t1, 0x00 :: rt 0xffffffff8d79e0be, rs 0xffffffff8d79e0be, imm 0x0000
23238 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff8d79e0be, imm 0x001f
23239 sra $a0, $a1, 0x0f :: rt 0xffffffffffff1af3, rs 0xffffffff8d79e0be, imm 0x000f
23240 sra $s0, $s1, 0x03 :: rt 0xfffffffff1af3c17, rs 0xffffffff8d79e0be, imm 0x0003
23241 sra $t0, $t1, 0x00 :: rt 0xffffffff803ac667, rs 0xffffffff803ac667, imm 0x0000
23242 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff803ac667, imm 0x001f
23243 sra $a0, $a1, 0x0f :: rt 0xffffffffffff0075, rs 0xffffffff803ac667, imm 0x000f
23244 sra $s0, $s1, 0x03 :: rt 0xfffffffff00758cc, rs 0xffffffff803ac667, imm 0x0003
23245 sra $t0, $t1, 0x00 :: rt 0xffffffff84fbdbd0, rs 0xffffffff84fbdbd0, imm 0x0000
23246 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff84fbdbd0, imm 0x001f
23247 sra $a0, $a1, 0x0f :: rt 0xffffffffffff09f7, rs 0xffffffff84fbdbd0, imm 0x000f
23248 sra $s0, $s1, 0x03 :: rt 0xfffffffff09f7b7a, rs 0xffffffff84fbdbd0, imm 0x0003
23249 sra $t0, $t1, 0x00 :: rt 0xffffffff9abc8bd5, rs 0xffffffff9abc8bd5, imm 0x0000
23250 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9abc8bd5, imm 0x001f
23251 sra $a0, $a1, 0x0f :: rt 0xffffffffffff3579, rs 0xffffffff9abc8bd5, imm 0x000f
23252 sra $s0, $s1, 0x03 :: rt 0xfffffffff357917a, rs 0xffffffff9abc8bd5, imm 0x0003
23253 sra $t0, $t1, 0x00 :: rt 0xffffffff9e7d9662, rs 0xffffffff9e7d9662, imm 0x0000
23254 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff9e7d9662, imm 0x001f
23255 sra $a0, $a1, 0x0f :: rt 0xffffffffffff3cfb, rs 0xffffffff9e7d9662, imm 0x000f
23256 sra $s0, $s1, 0x03 :: rt 0xfffffffff3cfb2cc, rs 0xffffffff9e7d9662, imm 0x0003
23257 sra $t0, $t1, 0x00 :: rt 0xffffffff933eb0bb, rs 0xffffffff933eb0bb, imm 0x0000
23258 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff933eb0bb, imm 0x001f
23259 sra $a0, $a1, 0x0f :: rt 0xffffffffffff267d, rs 0xffffffff933eb0bb, imm 0x000f
23260 sra $s0, $s1, 0x03 :: rt 0xfffffffff267d617, rs 0xffffffff933eb0bb, imm 0x0003
23261 sra $t0, $t1, 0x00 :: rt 0xffffffff97ffad0c, rs 0xffffffff97ffad0c, imm 0x0000
23262 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffff97ffad0c, imm 0x001f
23263 sra $a0, $a1, 0x0f :: rt 0xffffffffffff2fff, rs 0xffffffff97ffad0c, imm 0x000f
23264 sra $s0, $s1, 0x03 :: rt 0xfffffffff2fff5a1, rs 0xffffffff97ffad0c, imm 0x0003
23265 sra $t0, $t1, 0x00 :: rt 0xffffffffafb010b1, rs 0xffffffffafb010b1, imm 0x0000
23266 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffafb010b1, imm 0x001f
23267 sra $a0, $a1, 0x0f :: rt 0xffffffffffff5f60, rs 0xffffffffafb010b1, imm 0x000f
23268 sra $s0, $s1, 0x03 :: rt 0xfffffffff5f60216, rs 0xffffffffafb010b1, imm 0x0003
23269 sra $t0, $t1, 0x00 :: rt 0xffffffffab710d06, rs 0xffffffffab710d06, imm 0x0000
23270 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffab710d06, imm 0x001f
23271 sra $a0, $a1, 0x0f :: rt 0xffffffffffff56e2, rs 0xffffffffab710d06, imm 0x000f
23272 sra $s0, $s1, 0x03 :: rt 0xfffffffff56e21a0, rs 0xffffffffab710d06, imm 0x0003
23273 sra $t0, $t1, 0x00 :: rt 0xffffffffa6322bdf, rs 0xffffffffa6322bdf, imm 0x0000
23274 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa6322bdf, imm 0x001f
23275 sra $a0, $a1, 0x0f :: rt 0xffffffffffff4c64, rs 0xffffffffa6322bdf, imm 0x000f
23276 sra $s0, $s1, 0x03 :: rt 0xfffffffff4c6457b, rs 0xffffffffa6322bdf, imm 0x0003
23277 sra $t0, $t1, 0x00 :: rt 0xffffffffa2f33668, rs 0xffffffffa2f33668, imm 0x0000
23278 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffa2f33668, imm 0x001f
23279 sra $a0, $a1, 0x0f :: rt 0xffffffffffff45e6, rs 0xffffffffa2f33668, imm 0x000f
23280 sra $s0, $s1, 0x03 :: rt 0xfffffffff45e66cd, rs 0xffffffffa2f33668, imm 0x0003
23281 sra $t0, $t1, 0x00 :: rt 0xffffffffbcb4666d, rs 0xffffffffbcb4666d, imm 0x0000
23282 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffbcb4666d, imm 0x001f
23283 sra $a0, $a1, 0x0f :: rt 0xffffffffffff7968, rs 0xffffffffbcb4666d, imm 0x000f
23284 sra $s0, $s1, 0x03 :: rt 0xfffffffff7968ccd, rs 0xffffffffbcb4666d, imm 0x0003
23285 sra $t0, $t1, 0x00 :: rt 0xffffffffb8757bda, rs 0xffffffffb8757bda, imm 0x0000
23286 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb8757bda, imm 0x001f
23287 sra $a0, $a1, 0x0f :: rt 0xffffffffffff70ea, rs 0xffffffffb8757bda, imm 0x000f
23288 sra $s0, $s1, 0x03 :: rt 0xfffffffff70eaf7b, rs 0xffffffffb8757bda, imm 0x0003
23289 sra $t0, $t1, 0x00 :: rt 0xffffffffb5365d03, rs 0xffffffffb5365d03, imm 0x0000
23290 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb5365d03, imm 0x001f
23291 sra $a0, $a1, 0x0f :: rt 0xffffffffffff6a6c, rs 0xffffffffb5365d03, imm 0x000f
23292 sra $s0, $s1, 0x03 :: rt 0xfffffffff6a6cba0, rs 0xffffffffb5365d03, imm 0x0003
23293 sra $t0, $t1, 0x00 :: rt 0xffffffffb1f740b4, rs 0xffffffffb1f740b4, imm 0x0000
23294 sra $t2, $t3, 0x1f :: rt 0xffffffffffffffff, rs 0xffffffffb1f740b4, imm 0x001f
23295 sra $a0, $a1, 0x0f :: rt 0xffffffffffff63ee, rs 0xffffffffb1f740b4, imm 0x000f
23296 sra $s0, $s1, 0x03 :: rt 0xfffffffff63ee816, rs 0xffffffffb1f740b4, imm 0x0003