d "add.s f0, f0, f0" 00000046 0x4
d "addi zero, zero, 0" 00000020 0x4 nop
d "addiu zero, t0, -0x19" e7ff0025 0x4 nop
d "addiu zero, t0, 0" 00000025 0x4 nop
d "andi zero, zero, 0" 00000030 0x4 nop
d "b 8" 00000010 0x4 (jmp (bv 64 0x8))
d "mftr zero, zero, 0, 0, 0" 00000041 0x4
d "bc1f 8" 00000045 0x4
dB "bc2f 8" 00000049 0x4
d "lwxc1 f0, zero(t0)" 0000004d 0x4
d "beq t0, s0, 0x444c" 11111011 0x4 (branch (== (var t0) (var s0)) (jmp (bv 64 0x444c)) nop)
d "beql sp, t8, 0x14008" 0050b853 0x4 (branch (== (var sp) (var t8)) (jmp (bv 64 0x14008)) nop)
d "beqz t0, 8" 00000011 0x4 (branch (is_zero (var t0)) (jmp (bv 64 0x8)) nop)
d "bgez v0, 0x10" 02004104 0x4 (branch (|| (! (sle (var v0) (bv 64 0x0))) (== (var v0) (bv 64 0x0))) (jmp (bv 64 0x10)) nop)
d "bgezal s1, 0x108" 40003106 0x4 (branch (|| (! (sle (var s1) (bv 64 0x0))) (== (var s1) (bv 64 0x0))) (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x108))) nop)
d "bgezall t3, 0x128" 48007305 0x4 (branch (|| (! (sle (var t3) (bv 64 0x0))) (== (var t3) (bv 64 0x0))) (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x128))) nop)
d "bgezl t6, 0x128" 4800c305 0x4 (branch (|| (! (sle (var t6) (bv 64 0x0))) (== (var t6) (bv 64 0x0))) (jmp (bv 64 0x128)) nop)
d "bgtz zero, 8" 0000001c 0x4 nop
d "bgtzl zero, 8" 0000005c 0x4 nop
d "blez zero, 8" 00000018 0x4 (jmp (bv 64 0x8))
d "blezl zero, 8" 00000058 0x4 (jmp (bv 64 0x8))
d "bltz zero, 8" 00000004 0x4 nop
d "bltzl s6, 0x118" 4400c206 0x4 (branch (&& (sle (var s6) (bv 64 0x0)) (! (== (var s6) (bv 64 0x0)))) (jmp (bv 64 0x118)) nop)
d "bne t0, s0, 0x440c" 01111015 0x4 (branch (! (== (var t0) (var s0))) (jmp (bv 64 0x440c)) nop)
d "bnel s0, s0, -0xbff8" 00d01056 0x4 (branch (! (== (var s0) (var s0))) (jmp (bv 64 0xffffffffffff4008)) nop)
d "bnez zero, 8" 00000014 0x4 nop
d "cache 0, 0(zero)" 000000bc 0x4 nop
d "daddi zero, zero, 0" 00000060 0x4 nop
d "daddiu zero, zero, 0" 00000064 0x4 nop
d "j 0" 00000008 0x4 (jmp (bv 64 0x0))
d "jal 0" 0000000c 0x4 (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x0)))
d "jalx 0" 00000074 0x4 (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x0)))
d "jalx 4" 01000074 0x4 (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x4)))
d "lb zero, 0(zero)" 00000080 0x4 nop
d "lbu zero, 0(zero)" 00000090 0x4 nop
d "ldc1 f0, 0(zero)" 000000d4 0x4
d "ldl zero, 0(zero)" 00000068 0x4
d "ldr zero, 0(zero)" 0000006c 0x4
d "lh zero, 0(zero)" 00000084 0x4 nop
d "lhu zero, 0(zero)" 00000094 0x4 nop
d "ll zero, 0(zero)" 000000c0 0x4
d "lld zero, 0(zero)" 000000d0 0x4
d "lui zero, 0" 0000003c 0x4 nop
d "lw zero, 0(zero)" 0000008c 0x4 nop
d "lwc1 f0, 0(zero)" 000000c4 0x4
d "lwl zero, 0(zero)" 00000088 0x4
d "lwr zero, 0(zero)" 00000098 0x4
d "lwu zero, 0(zero)" 0000009c 0x4 nop
d "lwxc1 f0, zero(zero)" 0000004c 0x4
d "mfc0 zero, 0, 0" 00000040 0x4
d "mfc1 zero, f0" 00000044 0x4
d "mfc2 zero, 0, 0" 00000048 0x4
d "nop" 00000000 0x4 nop
d "ori zero, t0, 0" 00000035 0x4 nop
d "sb zero, 0(zero)" 000000a0 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 8 0x0))
d "sc zero, (0)" 000000e0 0x4
d "scd zero, 0(zero)" 000000f0 0x4
d "sd zero, 0(zero)" 000000fc 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 64 0x0))
d "sdc1 f0, 0(zero)" 000000f4 0x4
d "sdl zero, 0(zero)" 000000b0 0x4
d "sdr zero, 0(zero)" 000000b4 0x4
d "sh zero, 0(zero)" 000000a4 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 16 0x0))
d "slti zero, zero, 0" 00000028 0x4 nop
d "sltiu zero, zero, 0" 0000002c 0x4 nop
d "sw zero, 0(zero)" 000000ac 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 32 0x0))
d "swc1 f0, 0(zero)" 000000e4 0x4
d "swl zero, 0(zero)" 000000a8 0x4
d "swr zero, 0(zero)" 000000b8 0x4
d "xori zero, zero, 0" 00000038 0x4 nop
d "beqzl zero, 8" 00000050 0x4 (jmp (bv 64 0x8))
d "bnezl t0, 8" 00000055 0x4 (branch (! (is_zero (var t0))) (jmp (bv 64 0x8)) nop)
dB "c0 0x0" 00000042 0x4
dB "c1 0x1000000" 00000047 0x4
dB "c2 0x0" 0000004a 0x4
d "ld zero, 0(zero)" 000000dc 0x4 nop
d "ldc2 0, 0(zero)" 000000d8 0x4
d "lwc2 0, 0(zero)" 000000c8 0x4
dB "paddsh f0, f0, f0" 0000004b 0x4
d "sdc2 0, 0(zero)" 000000f8 0x4
d "swc2 0, 0(zero)" 000000e8 0x4
dE "ddiv zero, s2, s0" 0250001e 0x80000000 (seq (set lo (sdiv (var s2) (var s0))) (set hi (smod (var s2) (var s0))))
dE "ddivu zero, t5, t0" 01a8001f 0x80000000 (seq (set lo (div (var t5) (var t0))) (set hi (mod (var t5) (var t0))))
dE "dmult s2, t2" 024a001c 0x80000000 (seq (set temp (* (cast 128 (msb (var s2)) (var s2)) (cast 128 (msb (var t2)) (var t2)))) (set hi (cast 64 false (>> (var temp) (bv 8 0x40) false))) (set lo (cast 64 false (var temp))))
dE "dmultu t1, s1" 0131001d 0x80000000 (seq (set temp (* (cast 128 false (var t1)) (cast 128 false (var s1)))) (set hi (cast 64 false (>> (var temp) (bv 8 0x40) false))) (set lo (cast 64 false (var temp))))
