d "lapc v0, 0x64" 190040ec 0x80012580 (set v0 (bv 32 0x800125e4))
d "align a0, a2, t0, 3" e022c87c 0x4 (set a0 (| (<< (var t0) (bv 32 0x18) false) (>> (var a2) (bv 32 0x18) false)))
d "aluipc s2, -0x270" 90fd5fee 0x84012580 (set s2 (bv 32 0x81910000))
d "aui s2, t7, 0xf770" 70f7f23d 0x4 (set s2 (+ (var t7) (bv 32 0xf7700000)))
d "aui t3, a3, 0x520" 2005eb3c 0x4 (set t3 (+ (var a3) (bv 32 0x5200000)))
d "aui s2, zero, 0xff7f" 7fff123c 0x4 (set s2 (bv 32 0xff7f0000))
d "aui a0, zero, 0x100" 0001043c 0x4 (set a0 (bv 32 0x1000000))
dE "auipc s2, -0x145" 0xee5efebb 0x80012580 (set s2 (bv 32 0x7ebc2580))
dE "auipc t3, 0x10" 0xed7e0010 0x80012580 (set t3 (bv 32 0x80112580))
dE "balc 0x80048724" e80121c8 0x80000000 (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x80048724)))
dE "bc 0x80047858" c8011e15 0x80000000 (jmp (bv 32 0x80047858))
dE "bitswap v1, s6" 7c161820 0x4
dE "bovc s6, v1, 0x7ffffebc" 22c3ffae 0x80000000 (branch (== (>> (& (cast 32 (msb (+ (var s6) (var v1))) (+ (var s6) (var v1))) (bv 32 0x80000000)) (bv 32 0x1f) false) (>> (& (cast 32 (msb (+ (var s6) (var v1))) (+ (var s6) (var v1))) (bv 32 0x40000000)) (bv 32 0x1e) false)) (jmp (bv 32 0x7ffffebc)) nop)
dE "blezalc t0, 0x800005d4" 18080174 0x80000000 (branch (sle (var t0) (bv 32 0x0)) (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x800005d4))) nop)
dE "bltzalc s7, 0x80000774" 1ef701dc 0x80000000 (branch (&& (sle (var s7) (bv 32 0x0)) (! (== (var s7) (bv 32 0x0)))) (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x80000774))) nop)
dE "bgezalc t3, 0x800005b8" 196b016d 0x80000000 (branch (|| (! (sle (var t3) (bv 32 0x0))) (== (var t3) (bv 32 0x0))) (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x800005b8))) nop)
dE "bgtzalc t4, 0x80000568" 1c0c0159 0x80000000 (branch (! (sle (var t4) (bv 32 0x0))) (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x80000568))) nop)
dE "beqzalc s0, 0x80000410" 20100103 0x80000000 (branch (is_zero (var s0)) (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x80000410))) nop)
dE "bnezalc s6, 0x80000438" 6016010d 0x80000000 (branch (! (is_zero (var s6))) (seq (set ra (bv 32 0x80000008)) (jmp (bv 32 0x80000438))) nop)
dE "lsa t7, s2, t5, 2" 024d7845 0x80000000 (set t7 (+ (<< (var s2) (bv 8 0x2) false) (var t5)))
dE "lsa t7, s2, t5, 1" 024d7805 0x80000000 (set t7 (+ (<< (var s2) (bv 8 0x1) false) (var t5)))
dE "mod t0, t7, t4" 01ec40da 0x80000000 (set t0 (smod (var t7) (var t4)))
dE "modu s3, t0, s1" 011198db 0x80000000 (set s3 (mod (var t0) (var s1)))
dE "mul s5, t1, t7" 012fa898 0x80000000 (set s5 (cast 32 false (* (cast 64 (msb (var t1)) (var t1)) (cast 64 (msb (var t7)) (var t7)))))
dE "mulu s1, t6, t2" 01ca8899 0x80000000 (set s1 (cast 32 false (* (cast 64 false (var t6)) (cast 64 false (var t2)))))
dE "muh t3, s1, t1" 022958d8 0x80000000 (set t3 (cast 32 false (>> (* (cast 64 (msb (var s1)) (var s1)) (cast 64 (msb (var t1)) (var t1))) (bv 8 0x20) false)))
dE "muhu t0, t3, t7" 016f40d9 0x80000000 (set t0 (cast 32 false (>> (* (cast 64 false (var t3)) (cast 64 false (var t7))) (bv 8 0x20) false)))
dE "lwpc s6, 0x58c" eec80163 0x80001234 (set s6 (loadw 0 32 (bv 32 0x800017bc)))
dE "seleqz t7, t3, s7" 01777835 0x80000000 (branch (is_zero (var s7)) (set t7 (var t3)) (set t7 (bv 32 0x0)))
dE "selnez t4, t4, t3" 018b6037 0x80000000 (branch (is_zero (var t3)) (set t4 (bv 32 0x0)) (set t4 (var t4)))
