d "add.b #0x14,r1l" 8914 0x0 (seq (set _0 (bv 8 0x14)) (set _1 (cast 8 false (var r1))) (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (+ (var _0) (var _1))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _0) (bv 8 0xf)) (+ (& (var _1) (bv 8 0xf)) (ite false (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x100)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (! (^^ (msb (var _0)) (msb (var _1)))) (^^ (msb (var _0)) (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "add.b r4h,r5h" 0845 0x0 (seq (set _0 (cast 8 false (>> (var r4) (bv 8 0x8) false))) (set _1 (cast 8 false (>> (var r5) (bv 8 0x8) false))) (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (+ (var _0) (var _1))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _0) (bv 8 0xf)) (+ (& (var _1) (bv 8 0xf)) (ite false (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x100)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (! (^^ (msb (var _0)) (msb (var _1)))) (^^ (msb (var _0)) (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "add.w r4,r2" 0942 0x0 (seq (set _0 (var r4)) (set _1 (var r2)) (set r2 (+ (var _0) (var _1))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _0) (bv 16 0xfff)) (+ (& (var _1) (bv 16 0xfff)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x1000)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 32 false (var _0)) (+ (cast 32 false (var _1)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x8000)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (+ (cast 32 false (var _0)) (+ (cast 32 false (var _1)) (ite false (bv 32 0x1) (bv 32 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 32 false (var _0)) (+ (cast 32 false (var _1)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x10000)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (! (^^ (msb (var _0)) (msb (var _1)))) (^^ (msb (var _0)) (! (is_zero (& (+ (cast 32 false (var _0)) (+ (cast 32 false (var _1)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x8000)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "adds #0x1,r2" 0b02 0x0 (set r2 (+ (bv 16 0x1) (var r2)))
d "adds #0x2,r7" 0b87 0x0 (set r7 (+ (bv 16 0x2) (var r7)))
d "addx #0x97,r3h" 9397 0x0 (seq (set _c (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (set _0 (bv 8 0x97)) (set _1 (cast 8 false (>> (var r3) (bv 8 0x8) false))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (+ (var _0) (+ (var _1) (ite (var _c) (bv 8 0x1) (bv 8 0x0))))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _0) (bv 8 0xf)) (+ (& (var _1) (bv 8 0xf)) (ite (var _c) (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x100)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (! (^^ (msb (var _0)) (msb (var _1)))) (^^ (msb (var _0)) (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "addx r2l,r4l" 0eac 0x0 (seq (set _c (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (set _0 (cast 8 false (var r2))) (set _1 (cast 8 false (var r4))) (set r4 (cast 16 false (| (& (cast 32 false (var r4)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (+ (var _0) (+ (var _1) (ite (var _c) (bv 8 0x1) (bv 8 0x0))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _0) (bv 8 0xf)) (+ (& (var _1) (bv 8 0xf)) (ite (var _c) (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x100)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (! (^^ (msb (var _0)) (msb (var _1)))) (^^ (msb (var _0)) (! (is_zero (& (+ (cast 16 false (var _0)) (+ (cast 16 false (var _1)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "and.b #0x89,r5l" ed89 0x0 (seq (set _res (& (bv 8 0x89) (cast 8 false (var r5)))) (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "and.b r2h,r3h" 1623 0x0 (seq (set _res (& (cast 8 false (>> (var r2) (bv 8 0x8) false)) (cast 8 false (>> (var r3) (bv 8 0x8) false)))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "andc #0x78,ccr" 0678 0x0 (set ccr (& (bv 8 0x78) (var ccr)))
d "band #0x4,@0xffff66" 7e667640 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff66))) (cast 32 false (bv 8 0x4)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "band #0x4,r6h" 7646 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (! (is_zero (& (>> (cast 32 false (cast 8 false (>> (var r6) (bv 8 0x8) false))) (cast 32 false (bv 8 0x4)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "band #0x7,@r4" 7c407670 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r4)))) (cast 32 false (bv 8 0x7)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bclr #0x4,@0xffffa8" 7fa87240 0x0 (storew 0 (bv 24 0xffffa8) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffffa8))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false))) (& (<< (cast 32 false (bv 32 0x0)) (cast 32 false (bv 8 0x4)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false)))))
d "bclr #0x6,@r3" 7d307260 0x0 (storew 0 (cast 24 false (var r3)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r3)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x6)) false))) (& (<< (cast 32 false (bv 32 0x0)) (cast 32 false (bv 8 0x6)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x6)) false)))))
d "bclr #0x7,r1l" 7279 0x0 (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (var r1))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x7)) false))) (& (<< (cast 32 false (bv 32 0x0)) (cast 32 false (bv 8 0x7)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x7)) false))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false)))))
d "bclr r5h,r5h" 6255 0x0 (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (>> (var r5) (bv 8 0x8) false))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r5) (bv 8 0x8) false)) (bv 8 0x7))) false))) (& (<< (cast 32 false (bv 32 0x0)) (cast 32 false (& (cast 8 false (>> (var r5) (bv 8 0x8) false)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r5) (bv 8 0x8) false)) (bv 8 0x7))) false))))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false)))))
d "bclr r6h,@r3" 7d306260 0x0 (storew 0 (cast 24 false (var r3)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r3)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r6) (bv 8 0x8) false)) (bv 8 0x7))) false))) (& (<< (cast 32 false (bv 32 0x0)) (cast 32 false (& (cast 8 false (>> (var r6) (bv 8 0x8) false)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r6) (bv 8 0x8) false)) (bv 8 0x7))) false)))))
d "bclr r7h,@0xffff77" 7f776270 0x0 (storew 0 (bv 24 0xffff77) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff77))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false))) (& (<< (cast 32 false (bv 32 0x0)) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false)))))
d "btst #0x1,r1h" 7311 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (cast 8 false (>> (var r1) (bv 8 0x8) false))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false)))))
d "btst #0x1,@r1" 7c107310 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r1)))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false)))))
d "btst #0x1,@0xffff01" 7e017310 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff01))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false)))))
d "btst r1h,r2h" 6312 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (cast 8 false (>> (var r2) (bv 8 0x8) false))) (cast 32 false (& (cast 8 false (>> (var r1) (bv 8 0x8) false)) (bv 8 0x7))) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false)))))
d "btst r2h,@r1" 7c106320 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r1)))) (cast 32 false (& (cast 8 false (>> (var r2) (bv 8 0x8) false)) (bv 8 0x7))) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false)))))
d "btst r1h,@0xffff01" 7e016310 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff01))) (cast 32 false (& (cast 8 false (>> (var r1) (bv 8 0x8) false)) (bv 8 0x7))) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false)))))
d "biand #0,@r5" 7c507680 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r5)))) (cast 32 false (bv 8 0x0)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "biand #0x1,@0xffff99" 7e997690 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff99))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "biand #0x3,r3l" 76bb 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (! (! (is_zero (& (>> (cast 32 false (cast 8 false (var r3))) (cast 32 false (bv 8 0x3)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bild #0x1,@r7" 7c707790 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bild #0x1,r1l" 7799 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (! (is_zero (& (>> (cast 32 false (cast 8 false (var r1))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bild #0x2,@0xffff56" 7e5677a0 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff56))) (cast 32 false (bv 8 0x2)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bior #0x1,@0xffff88" 7e887490 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (|| (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff88))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bior #0x3,@r7" 7c7074b0 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (|| (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (cast 32 false (bv 8 0x3)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bior #0x3,r1l" 74b9 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (|| (! (! (is_zero (& (>> (cast 32 false (cast 8 false (var r1))) (cast 32 false (bv 8 0x3)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bist #0x1,@r7" 7d706790 0x0 (storew 0 (cast 24 false (var r7)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x1)) false))) (& (<< (cast 32 false (~ (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)))) (cast 32 false (bv 8 0x1)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x1)) false)))))
d "bist #0x2,r3l" 67ab 0x0 (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (var r3))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x2)) false))) (& (<< (cast 32 false (~ (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)))) (cast 32 false (bv 8 0x2)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x2)) false))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false)))))
d "bist #0x4,@0xffff96" 7f9667c0 0x0 (storew 0 (bv 24 0xffff96) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff96))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false))) (& (<< (cast 32 false (~ (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)))) (cast 32 false (bv 8 0x4)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false)))))
d "bxor #0x1,@r6" 7c607510 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (^^ (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r6)))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bxor #0x1,r1l" 7519 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (^^ (! (is_zero (& (>> (cast 32 false (cast 8 false (var r1))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bxor #0x2,@0xffff56" 7e567520 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (^^ (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff56))) (cast 32 false (bv 8 0x2)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bixor #0x1,@r6" 7c607590 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (^^ (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r6)))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bixor #0x1,r1l" 7599 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (^^ (! (! (is_zero (& (>> (cast 32 false (cast 8 false (var r1))) (cast 32 false (bv 8 0x1)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bixor #0x2,@0xffff56" 7e5675a0 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (^^ (! (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff56))) (cast 32 false (bv 8 0x2)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bld #0x6,@0xffff14" 7e147760 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff14))) (cast 32 false (bv 8 0x6)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bld #0x6,@r7" 7c707760 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (cast 32 false (bv 8 0x6)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bld #0x7,r1l" 7779 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (cast 8 false (var r1))) (cast 32 false (bv 8 0x7)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bnot #0x4,@0xffff99" 7f997140 0x0 (storew 0 (bv 24 0xffff99) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff99))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false))) (& (<< (cast 32 false (~ (cast 1 false (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff99))) (cast 32 false (bv 8 0x4)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (cast 32 false (bv 8 0x4)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false)))))
d "bnot #0x5,@r7" 7d707150 0x0 (storew 0 (cast 24 false (var r7)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x5)) false))) (& (<< (cast 32 false (~ (cast 1 false (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (cast 32 false (bv 8 0x5)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (cast 32 false (bv 8 0x5)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x5)) false)))))
d "bnot #0x5,r0l" 7158 0x0 (set r0 (cast 16 false (| (& (cast 32 false (var r0)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (var r0))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x5)) false))) (& (<< (cast 32 false (~ (cast 1 false (& (>> (cast 32 false (cast 8 false (var r0))) (cast 32 false (bv 8 0x5)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (cast 32 false (bv 8 0x5)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x5)) false))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false)))))
d "bnot r1l,@r5" 7d506190 0x0 (storew 0 (cast 24 false (var r5)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r5)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r1)) (bv 8 0x7))) false))) (& (<< (cast 32 false (~ (cast 1 false (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r5)))) (cast 32 false (& (cast 8 false (var r1)) (bv 8 0x7))) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (cast 32 false (& (cast 8 false (var r1)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r1)) (bv 8 0x7))) false)))))
d "bnot r3l,@0xffff55" 7f5561b0 0x0 (storew 0 (bv 24 0xffff55) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff55))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r3)) (bv 8 0x7))) false))) (& (<< (cast 32 false (~ (cast 1 false (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff55))) (cast 32 false (& (cast 8 false (var r3)) (bv 8 0x7))) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (cast 32 false (& (cast 8 false (var r3)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r3)) (bv 8 0x7))) false)))))
d "bnot r7h,r0l" 6178 0x0 (set r0 (cast 16 false (| (& (cast 32 false (var r0)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (var r0))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false))) (& (<< (cast 32 false (~ (cast 1 false (& (>> (cast 32 false (cast 8 false (var r0))) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r7) (bv 8 0x8) false)) (bv 8 0x7))) false))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false)))))
d "bor #0x4,@r4" 7c407440 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (|| (! (is_zero (& (>> (cast 32 false (loadw 0 8 (cast 24 false (var r4)))) (cast 32 false (bv 8 0x4)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bor #0x4,r1l" 7449 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (|| (! (is_zero (& (>> (cast 32 false (cast 8 false (var r1))) (cast 32 false (bv 8 0x4)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bor #0x5,@0xffff13" 7e137450 0x0 (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (|| (! (is_zero (& (>> (cast 32 false (loadw 0 8 (bv 24 0xffff13))) (cast 32 false (bv 8 0x5)) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false)))))
d "bra .+118" 4076 0x0 (jmp (bv 24 0x78))
d "brn .-126" 4182 0x0 nop
d "bhi .+118" 4276 0x0 (branch (! (|| (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))))) (jmp (bv 24 0x78)) nop)
d "bls .+118" 4376 0x0 (branch (|| (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (jmp (bv 24 0x78)) nop)
d "bcc .+118" 4476 0x0 (branch (! (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (jmp (bv 24 0x78)) nop)
d "bcs .+118" 4576 0x0 (branch (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (jmp (bv 24 0x78)) nop)
d "bne .+118" 4676 0x0 (branch (! (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (jmp (bv 24 0x78)) nop)
d "beq .+118" 4776 0x0 (branch (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (jmp (bv 24 0x78)) nop)
d "bvc .+118" 4876 0x0 (branch (! (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x1) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (jmp (bv 24 0x78)) nop)
d "bvs .+118" 4976 0x0 (branch (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x1) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (jmp (bv 24 0x78)) nop)
d "bpl .+118" 4a76 0x0 (branch (! (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (jmp (bv 24 0x78)) nop)
d "bmi .+118" 4b76 0x0 (branch (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (jmp (bv 24 0x78)) nop)
d "bge .+118" 4c76 0x0 (branch (! (^^ (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x3) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x1) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))))) (jmp (bv 24 0x78)) nop)
d "blt .+118" 4d76 0x0 (branch (^^ (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x3) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x1) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (jmp (bv 24 0x78)) nop)
d "bgt .+118" 4e76 0x0 (branch (! (|| (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (^^ (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x3) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x1) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))))) (jmp (bv 24 0x78)) nop)
d "ble .+118" 4f76 0x0 (branch (|| (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x2) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (^^ (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x3) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x1) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))))) (jmp (bv 24 0x78)) nop)
d "bset #0x4,@0xffff88" 7f887040 0x0 (storew 0 (bv 24 0xffff88) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff88))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false))) (& (<< (cast 32 false (bv 32 0x1)) (cast 32 false (bv 8 0x4)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false)))))
d "bset #0x4,r7h" 7047 0x0 (set r7 (cast 16 false (| (& (cast 32 false (var r7)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (>> (var r7) (bv 8 0x8) false))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false))) (& (<< (cast 32 false (bv 32 0x1)) (cast 32 false (bv 8 0x4)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x4)) false))))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false)))))
d "bset #0x6,@r4" 7d407060 0x0 (storew 0 (cast 24 false (var r4)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r4)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x6)) false))) (& (<< (cast 32 false (bv 32 0x1)) (cast 32 false (bv 8 0x6)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x6)) false)))))
d "bset r0l,r1l" 6089 0x0 (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (var r1))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r0)) (bv 8 0x7))) false))) (& (<< (cast 32 false (bv 32 0x1)) (cast 32 false (& (cast 8 false (var r0)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r0)) (bv 8 0x7))) false))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false)))))
d "bset r2l,@r3" 7d3060a0 0x0 (storew 0 (cast 24 false (var r3)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r3)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r2)) (bv 8 0x7))) false))) (& (<< (cast 32 false (bv 32 0x1)) (cast 32 false (& (cast 8 false (var r2)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (var r2)) (bv 8 0x7))) false)))))
d "bset r4h,@0xffff77" 7f776040 0x0 (storew 0 (bv 24 0xffff77) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff77))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x7))) false))) (& (<< (cast 32 false (bv 32 0x1)) (cast 32 false (& (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x7))) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (& (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x7))) false)))))
d "bsr .-120" 5588 0x0 (seq (set r7 (- (var r7) (bv 16 0x4))) (storew 0 (cast 24 false (var r7)) (bv 24 0x0)) (jmp (+ (bv 24 0x0) (bv 24 0xffff8a))))
d "bsr .+22" 5516 0x0 (seq (set r7 (- (var r7) (bv 16 0x4))) (storew 0 (cast 24 false (var r7)) (bv 24 0x0)) (jmp (+ (bv 24 0x0) (bv 24 0x18))))
d "bst #0,@r1" 7d106700 0x0 (storew 0 (cast 24 false (var r1)) (cast 8 false (| (& (cast 32 false (loadw 0 8 (cast 24 false (var r1)))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x0)) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0))) (cast 32 false (bv 8 0x0)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x0)) false)))))
d "bst #0,r0h" 6700 0x0 (set r0 (cast 16 false (| (& (cast 32 false (var r0)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (cast 8 false (| (& (cast 32 false (cast 8 false (>> (var r0) (bv 8 0x8) false))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x0)) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0))) (cast 32 false (bv 8 0x0)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x0)) false))))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false)))))
d "bst #0x3,@0xffff88" 7f886730 0x0 (storew 0 (bv 24 0xffff88) (cast 8 false (| (& (cast 32 false (loadw 0 8 (bv 24 0xffff88))) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x3)) false))) (& (<< (cast 32 false (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0))) (cast 32 false (bv 8 0x3)) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (cast 32 false (bv 8 0x3)) false)))))
d "cmp.b #0x77,r4h" a477 0x0 (seq (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0xf)) (+ (& (bv 8 0x77) (bv 8 0xf)) (ite false (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 16 (msb (cast 8 false (>> (var r4) (bv 8 0x8) false))) (cast 8 false (>> (var r4) (bv 8 0x8) false))) (+ (cast 16 (msb (bv 8 0x77)) (bv 8 0x77)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 16 (msb (cast 8 false (>> (var r4) (bv 8 0x8) false))) (cast 8 false (>> (var r4) (bv 8 0x8) false))) (+ (cast 16 (msb (bv 8 0x77)) (bv 8 0x77)) (ite false (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (ule (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x77)) (! (== (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x77)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (cast 8 false (>> (var r4) (bv 8 0x8) false))) (msb (bv 8 0x77))) (^^ (msb (cast 8 false (>> (var r4) (bv 8 0x8) false))) (! (is_zero (& (- (cast 16 (msb (cast 8 false (>> (var r4) (bv 8 0x8) false))) (cast 8 false (>> (var r4) (bv 8 0x8) false))) (+ (cast 16 (msb (bv 8 0x77)) (bv 8 0x77)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "cmp.b r6h,r0l" 1c68 0x0 (seq (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (cast 8 false (var r0)) (bv 8 0xf)) (+ (& (cast 8 false (>> (var r6) (bv 8 0x8) false)) (bv 8 0xf)) (ite false (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 16 (msb (cast 8 false (var r0))) (cast 8 false (var r0))) (+ (cast 16 (msb (cast 8 false (>> (var r6) (bv 8 0x8) false))) (cast 8 false (>> (var r6) (bv 8 0x8) false))) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 16 (msb (cast 8 false (var r0))) (cast 8 false (var r0))) (+ (cast 16 (msb (cast 8 false (>> (var r6) (bv 8 0x8) false))) (cast 8 false (>> (var r6) (bv 8 0x8) false))) (ite false (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (ule (cast 8 false (var r0)) (cast 8 false (>> (var r6) (bv 8 0x8) false))) (! (== (cast 8 false (var r0)) (cast 8 false (>> (var r6) (bv 8 0x8) false))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (cast 8 false (var r0))) (msb (cast 8 false (>> (var r6) (bv 8 0x8) false)))) (^^ (msb (cast 8 false (var r0))) (! (is_zero (& (- (cast 16 (msb (cast 8 false (var r0))) (cast 8 false (var r0))) (+ (cast 16 (msb (cast 8 false (>> (var r6) (bv 8 0x8) false))) (cast 8 false (>> (var r6) (bv 8 0x8) false))) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "daa r2l" 0f0a 0x0 (seq (set un (cast 4 false (>> (cast 8 false (var r2)) (bv 8 0x4) false))) (set ln (cast 4 false (cast 8 false (var r2)))) (set ch (append (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)) (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x5) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)))) (set added (ite (== (var ch) (bv 2 0x0)) (ite (&& (ule (var un) (bv 4 0x9)) (ule (var ln) (bv 4 0x9))) (bv 8 0x0) (ite (&& (ule (var un) (bv 4 0x8)) (&& (|| (! (ule (var ln) (bv 4 0xa))) (== (var ln) (bv 4 0xa))) (ule (var ln) (bv 4 0xf)))) (bv 8 0x6) (ite (&& (&& (|| (! (ule (var un) (bv 4 0xa))) (== (var un) (bv 4 0xa))) (ule (var un) (bv 4 0xf))) (ule (var ln) (bv 4 0x9))) (bv 8 0x60) (ite (&& (&& (|| (! (ule (var un) (bv 4 0x9))) (== (var un) (bv 4 0x9))) (ule (var un) (bv 4 0xf))) (&& (|| (! (ule (var ln) (bv 4 0xa))) (== (var ln) (bv 4 0xa))) (ule (var ln) (bv 4 0xf)))) (bv 8 0x66) (bv 8 0x0))))) (ite (== (var ch) (bv 2 0x1)) (ite (&& (ule (var un) (bv 4 0x9)) (ule (var ln) (bv 4 0x3))) (bv 8 0x6) (ite (&& (&& (|| (! (ule (var un) (bv 4 0xa))) (== (var un) (bv 4 0xa))) (ule (var un) (bv 4 0xf))) (ule (var ln) (bv 4 0x3))) (bv 8 0x66) (bv 8 0x0))) (ite (== (var ch) (bv 2 0x2)) (ite (&& (ule (var un) (bv 4 0x2)) (ule (var ln) (bv 4 0x9))) (bv 8 0x60) (ite (&& (ule (var un) (bv 4 0x2)) (&& (|| (! (ule (var ln) (bv 4 0xa))) (== (var ln) (bv 4 0xa))) (ule (var ln) (bv 4 0xf)))) (bv 8 0x66) (bv 8 0x0))) (ite (== (var ch) (bv 2 0x3)) (ite (&& (ule (var un) (bv 4 0x3)) (ule (var ln) (bv 4 0x3))) (bv 8 0x66) (bv 8 0x0)) (bv 8 0x0)))))) (set result (+ (cast 8 false (var r2)) (var added))) (set r2 (cast 16 false (| (& (cast 32 false (var r2)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (! (|| (&& (== (var ch) (bv 2 0x0)) (|| (&& (ule (var un) (bv 4 0x9)) (ule (var ln) (bv 4 0x9))) (&& (ule (var un) (bv 4 0x8)) (&& (|| (! (ule (var ln) (bv 4 0xa))) (== (var ln) (bv 4 0xa))) (ule (var ln) (bv 4 0xf)))))) (&& (== (var ch) (bv 2 0x1)) (&& (ule (var un) (bv 4 0x9)) (ule (var ln) (bv 4 0x3)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))))
d "das r3l" 1f0b 0x0 (seq (set un (cast 4 false (>> (cast 8 false (var r3)) (bv 8 0x4) false))) (set ln (cast 4 false (cast 8 false (var r3)))) (set ch (append (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)) (ite (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x5) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))) (bv 1 0x1) (bv 1 0x0)))) (set added (ite (== (var ch) (bv 2 0x0)) (ite (&& (ule (var un) (bv 4 0x9)) (ule (var ln) (bv 4 0x9))) (bv 8 0x0) (bv 8 0x0)) (ite (== (var ch) (bv 2 0x1)) (ite (&& (ule (var un) (bv 4 0x8)) (&& (|| (! (ule (var ln) (bv 4 0x6))) (== (var ln) (bv 4 0x6))) (ule (var ln) (bv 4 0xf)))) (bv 8 0xfa) (bv 8 0x0)) (ite (== (var ch) (bv 2 0x2)) (ite (&& (&& (|| (! (ule (var un) (bv 4 0x7))) (== (var un) (bv 4 0x7))) (ule (var un) (bv 4 0xf))) (ule (var ln) (bv 4 0x9))) (bv 8 0xa0) (bv 8 0x0)) (ite (== (var ch) (bv 2 0x3)) (ite (&& (&& (|| (! (ule (var un) (bv 4 0x6))) (== (var un) (bv 4 0x6))) (ule (var un) (bv 4 0xf))) (&& (|| (! (ule (var ln) (bv 4 0x6))) (== (var ln) (bv 4 0x6))) (ule (var ln) (bv 4 0xf)))) (bv 8 0x9a) (bv 8 0x0)) (bv 8 0x0)))))) (set result (+ (cast 8 false (var r3)) (var added))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))))
d "dec.b r5l" 1a0d 0x0 (seq (set _prev (cast 8 false (var r5))) (set _res (- (cast 8 false (var r5)) (bv 8 0x1))) (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (== (var _prev) (bv 8 0x80)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "divxu.b r2l,r3" 51a3 0x0 (seq (set quotient (cast 8 false (div (var r3) (cast 16 false (cast 8 false (var r2)))))) (set remainder (cast 8 false (mod (var r3) (cast 16 false (cast 8 false (var r2)))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (cast 8 false (var r2)) (bv 8 0x0)) (! (== (cast 8 false (var r2)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (cast 8 false (var r2))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set r3 (append (var remainder) (var quotient))))
d "eepmov.b" 7b5c598f 0x0 (repeat (! (== (cast 8 false (var r4)) (bv 8 0x0))) (seq (set data_val (loadw 0 8 (cast 24 false (var r5)))) (storew 0 (cast 24 false (var r6)) (var data_val)) (set r5 (+ (var r5) (bv 16 0x1))) (set r6 (+ (var r6) (bv 16 0x1))) (set r4 (cast 16 false (| (& (cast 32 false (var r4)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (- (cast 8 false (var r4)) (bv 8 0x1))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false)))))))
d "inc.b r3l" 0a0b 0x0 (seq (set _prev (cast 8 false (var r3))) (set _res (+ (cast 8 false (var r3)) (bv 8 0x1))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (== (var _prev) (bv 8 0x7f)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "jmp @0x1488" 5a001488 0x0 (jmp (bv 24 0x1488))
d "jmp @@40:8" 5b40 0x0 (jmp (loadw 0 24 (bv 24 0x40)))
d "jmp @r4" 5940 0x0 (jmp (loadw 0 24 (cast 24 false (var r4))))
d "jsr @0xff9999" 5e009999 0x0 (seq (set r7 (- (var r7) (bv 16 0x4))) (storew 0 (cast 24 false (var r7)) (cast 32 false (bv 24 0x4))) (jmp (bv 24 0xff9999)))
d "jsr @@93:8" 5f93 0x0 (seq (set r7 (- (var r7) (bv 16 0x4))) (storew 0 (cast 24 false (var r7)) (cast 32 false (bv 24 0x2))) (jmp (loadw 0 24 (bv 24 0x93))))
d "jsr @r4" 5d40 0x0 (seq (set r7 (- (var r7) (bv 16 0x4))) (storew 0 (cast 24 false (var r7)) (cast 32 false (bv 24 0x2))) (jmp (loadw 0 24 (cast 24 false (var r4)))))
d "ldc.b #0x14,ccr" 0714 0x0 (set ccr (bv 8 0x14))
d "ldc.b r5h,ccr" 0305 0x0 (set ccr (cast 8 false (>> (var r5) (bv 8 0x8) false)))
d "mov.b #0x99,r3h" f399 0x0 (seq (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (bv 8 0x99)) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (bv 8 0x99) (bv 8 0x0)) (! (== (bv 8 0x99) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (bv 8 0x99)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @(-27500,r3),r6h" 6e369494 0x0 (seq (set r6 (cast 16 false (| (& (cast 32 false (var r6)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (loadw 0 8 (cast 24 false (+ (var r3) (bv 16 0x9494))))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (loadw 0 8 (cast 24 false (+ (var r3) (bv 16 0x9494)))) (bv 8 0x0)) (! (== (loadw 0 8 (cast 24 false (+ (var r3) (bv 16 0x9494)))) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (loadw 0 8 (cast 24 false (+ (var r3) (bv 16 0x9494))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @0x7744,r1l" 6a097744 0x0 (seq (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (loadw 0 8 (bv 24 0x7744))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (loadw 0 8 (bv 24 0x7744)) (bv 8 0x0)) (! (== (loadw 0 8 (bv 24 0x7744)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (loadw 0 8 (bv 24 0x7744))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @0xffff88,r5h" 2588 0x0 (seq (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (loadw 0 8 (bv 24 0xffff88))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (loadw 0 8 (bv 24 0xffff88)) (bv 8 0x0)) (! (== (loadw 0 8 (bv 24 0xffff88)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (loadw 0 8 (bv 24 0xffff88))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @r3+,r5h" 6c35 0x0 (seq (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (load 0 (cast 24 false (var r3)))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set r3 (+ (var r3) (bv 16 0x1))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (cast 8 false (>> (var r5) (bv 8 0x8) false)) (bv 8 0x0)) (! (== (cast 8 false (>> (var r5) (bv 8 0x8) false)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (cast 8 false (>> (var r5) (bv 8 0x8) false))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @r4,r1l" 6849 0x0 (seq (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (loadw 0 8 (cast 24 false (var r4)))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (loadw 0 8 (cast 24 false (var r4))) (bv 8 0x0)) (! (== (loadw 0 8 (cast 24 false (var r4))) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (loadw 0 8 (cast 24 false (var r4)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b r0h,@0x2222" 6a802222 0x0 (seq (storew 0 (bv 24 0x2222) (cast 8 false (>> (var r0) (bv 8 0x8) false))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (cast 8 false (>> (var r0) (bv 8 0x8) false)) (bv 8 0x0)) (! (== (cast 8 false (>> (var r0) (bv 8 0x8) false)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (cast 8 false (>> (var r0) (bv 8 0x8) false))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b r0l,r1l" 0c89 0x0 (seq (set data_value (cast 8 false (var r0))) (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var data_value)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 8 0x0)) (! (== (var data_value) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b r1l,@0xffff14" 3914 0x0 (seq (storew 0 (bv 24 0xffff14) (cast 8 false (var r1))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (cast 8 false (var r1)) (bv 8 0x0)) (! (== (cast 8 false (var r1)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (cast 8 false (var r1))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @r7,r2h" 6872 0x0 (seq (set r2 (cast 16 false (| (& (cast 32 false (var r2)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (loadw 0 8 (cast 24 false (var r7)))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (loadw 0 8 (cast 24 false (var r7))) (bv 8 0x0)) (! (== (loadw 0 8 (cast 24 false (var r7))) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (loadw 0 8 (cast 24 false (var r7)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @(+4369,r7),r2l" 6e7a1111 0x0 (seq (set r2 (cast 16 false (| (& (cast 32 false (var r2)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (loadw 0 8 (cast 24 false (+ (var r7) (bv 16 0x1111))))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (loadw 0 8 (cast 24 false (+ (var r7) (bv 16 0x1111)))) (bv 8 0x0)) (! (== (loadw 0 8 (cast 24 false (+ (var r7) (bv 16 0x1111)))) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (loadw 0 8 (cast 24 false (+ (var r7) (bv 16 0x1111))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.b @r7+,r4h" 6c74 0x0 (seq (set r4 (cast 16 false (| (& (cast 32 false (var r4)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (load 0 (cast 24 false (var r7)))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set r7 (+ (var r7) (bv 16 0x1))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x0)) (! (== (cast 8 false (>> (var r4) (bv 8 0x8) false)) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (cast 8 false (>> (var r4) (bv 8 0x8) false))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w #0x5555,r3" 79035555 0x0 (seq (set r3 (bv 16 0x5555)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (bv 16 0x5555) (bv 16 0x0)) (! (== (bv 16 0x5555) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (bv 16 0x5555)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w @(+30481,r7),r4" 6f747711 0x0 (seq (set data_value (loadw 0 16 (cast 24 false (+ (var r7) (bv 16 0x7711))))) (set r4 (var data_value)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w @0x1234,r1" 6b011234 0x0 (seq (set data_value (loadw 0 16 (bv 24 0x1234))) (set r1 (var data_value)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w @r3,r5" 6935 0x0 (seq (set data_value (loadw 0 16 (cast 24 false (var r3)))) (set r5 (var data_value)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w @r6+,r3" 6d63 0x0 (seq (set data_value (loadw 0 16 (cast 24 false (var r6)))) (set r3 (var data_value)) (set r6 (+ (var r6) (bv 16 0x2))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "pop.w r1" 6d71 0x0 (seq (set val (loadw 0 16 (cast 24 false (var r7)))) (set r1 (var val)) (set r7 (+ (var r7) (bv 16 0x2))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var val) (bv 16 0x0)) (! (== (var val) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var val)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w @r7,r3" 6973 0x0 (seq (set data_value (loadw 0 16 (cast 24 false (var r7)))) (set r3 (var data_value)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w r3,r5" 0d35 0x0 (seq (set data_value (var r3)) (set r5 (var data_value)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "mov.w @(+257,r7),r4" 6f740101 0x0 (seq (set data_value (loadw 0 16 (cast 24 false (+ (var r7) (bv 16 0x101))))) (set r4 (var data_value)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var data_value) (bv 16 0x0)) (! (== (var data_value) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var data_value)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "movfpe @0x3344,r2l" 6a4a3344
d "movtpe r3l,@0x3322" 6acb3322
d "mulxu.b r4l,r3" 50c3 0x0 (set r3 (* (cast 16 false (cast 8 false (var r4))) (& (var r3) (bv 16 0xff))))
d "neg.b r5l" 178d 0x0 (seq (set _res (~- (cast 8 false (var r5)))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (& (bv 8 0x0) (bv 8 0xf)) (+ (& (cast 8 false (var r5)) (bv 8 0xf)) (ite false (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 16 (msb (bv 8 0x0)) (bv 8 0x0)) (+ (cast 16 (msb (cast 8 false (var r5))) (cast 8 false (var r5))) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 16 (msb (bv 8 0x0)) (bv 8 0x0)) (+ (cast 16 (msb (cast 8 false (var r5))) (cast 8 false (var r5))) (ite false (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (sle (- (cast 16 (msb (bv 8 0x0)) (bv 8 0x0)) (+ (cast 16 (msb (cast 8 false (var r5))) (cast 8 false (var r5))) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x0)) (! (== (- (cast 16 (msb (bv 8 0x0)) (bv 8 0x0)) (+ (cast 16 (msb (cast 8 false (var r5))) (cast 8 false (var r5))) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (bv 8 0x0)) (msb (cast 8 false (var r5)))) (^^ (msb (bv 8 0x0)) (! (is_zero (& (- (cast 16 (msb (bv 8 0x0)) (bv 8 0x0)) (+ (cast 16 (msb (cast 8 false (var r5))) (cast 8 false (var r5))) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "nop" 0000 0x0 nop
d "not.b r1l" 1709 0x0 (seq (set _res (~ (cast 8 false (var r1)))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set r1 (cast 16 false (| (& (cast 32 false (var r1)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "or.b #0x14,r3h" c314 0x0 (seq (set _res (| (bv 8 0x14) (cast 8 false (>> (var r3) (bv 8 0x8) false)))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "or.b r2l,r3l" 14ab 0x0 (seq (set _res (| (cast 8 false (var r2)) (cast 8 false (var r3)))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "orc #0x55,ccr" 0455 0x0 (set ccr (| (bv 8 0x55) (var ccr)))
d "pop.w r2" 6d72 0x0 (seq (set val (loadw 0 16 (cast 24 false (var r7)))) (set r2 (var val)) (set r7 (+ (var r7) (bv 16 0x2))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var val) (bv 16 0x0)) (! (== (var val) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var val)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "push.w r3" 6df3 0x0 (seq (set r7 (- (var r7) (bv 16 0x2))) (storew 0 (cast 24 false (var r7)) (var r3)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var r3) (bv 16 0x0)) (! (== (var r3) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var r3)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "rotl.b r6l" 128e 0x0 (seq (set result (<< (cast 8 false (var r6)) (bv 8 0x1) (msb (cast 8 false (var r6))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (msb (cast 8 false (var r6))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r6 (cast 16 false (| (& (cast 32 false (var r6)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "rotr.b r7l" 138f 0x0 (seq (set result (>> (cast 8 false (var r7)) (bv 8 0x1) (lsb (cast 8 false (var r7))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (lsb (cast 8 false (var r7))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r7 (cast 16 false (| (& (cast 32 false (var r7)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "rotxl.b r7l" 120f 0x0 (seq (set result (<< (cast 8 false (var r7)) (bv 8 0x1) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (msb (cast 8 false (var r7))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r7 (cast 16 false (| (& (cast 32 false (var r7)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "rotxr.b r7l" 130f 0x0 (seq (set result (>> (cast 8 false (var r7)) (bv 8 0x1) (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false)))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (lsb (cast 8 false (var r7))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r7 (cast 16 false (| (& (cast 32 false (var r7)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "rte" 5670 0x0 (seq (set ccr_pc (loadw 0 32 (cast 24 false (var r7)))) (set r7 (+ (var r7) (bv 16 0x4))) (set ccr (cast 8 false (>> (var ccr_pc) (bv 8 0x18) false))) (jmp (cast 24 false (var ccr_pc))))
d "rts" 5470 0x0 (seq (set @sp (loadw 0 32 (cast 24 false (var r7)))) (set r7 (+ (var r7) (bv 16 0x4))) (jmp (cast 24 false (var @sp))))
d "shal.b r7l" 108f 0x0 (seq (set result (<< (cast 8 false (var r7)) (bv 8 0x1) false)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (^^ (msb (var result)) (msb (cast 8 false (var r7)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (msb (cast 8 false (var r7))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r7 (cast 16 false (| (& (cast 32 false (var r7)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "shar.b r6l" 118e 0x0 (seq (set result (>> (cast 8 false (var r6)) (bv 8 0x1) (msb (cast 8 false (var r6))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (lsb (cast 8 false (var r6))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r6 (cast 16 false (| (& (cast 32 false (var r6)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "shll.b r5l" 100d 0x0 (seq (set result (<< (cast 8 false (var r5)) (bv 8 0x1) false)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (msb (cast 8 false (var r5))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "shlr.b r4l" 110c 0x0 (seq (set result (>> (cast 8 false (var r4)) (bv 8 0x1) false)) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var result) (bv 8 0x0)) (! (== (var result) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var result)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (lsb (cast 8 false (var r4))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set r4 (cast 16 false (| (& (cast 32 false (var r4)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var result)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))))
d "sleep" 0180 0x0 nop
d "stc.b ccr,r4h" 0204 0x0 (set r4 (cast 16 false (| (& (cast 32 false (var r4)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (var ccr)) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false)))))
d "sub.b r4h,r2l" 184a 0x0 (seq (set _0 (cast 8 false (>> (var r4) (bv 8 0x8) false))) (set _1 (cast 8 false (var r2))) (set r2 (cast 16 false (| (& (cast 32 false (var r2)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (- (var _1) (var _0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (& (var _1) (bv 8 0xf)) (+ (& (var _0) (bv 8 0xf)) (ite false (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite false (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (sle (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x0)) (! (== (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (var _1)) (msb (var _0))) (^^ (msb (var _1)) (! (is_zero (& (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "sub.w r4,r5" 1945 0x0 (seq (set _0 (var r4)) (set _1 (var r5)) (set r5 (- (var _1) (var _0))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (& (var _1) (bv 16 0xfff)) (+ (& (var _0) (bv 16 0xfff)) (ite false (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x1000)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 32 (msb (var _1)) (var _1)) (+ (cast 32 (msb (var _0)) (var _0)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x8000)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 32 (msb (var _1)) (var _1)) (+ (cast 32 (msb (var _0)) (var _0)) (ite false (bv 32 0x1) (bv 32 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (sle (- (cast 32 (msb (var _1)) (var _1)) (+ (cast 32 (msb (var _0)) (var _0)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x0)) (! (== (- (cast 32 (msb (var _1)) (var _1)) (+ (cast 32 (msb (var _0)) (var _0)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (var _1)) (msb (var _0))) (^^ (msb (var _1)) (! (is_zero (& (- (cast 32 (msb (var _1)) (var _1)) (+ (cast 32 (msb (var _0)) (var _0)) (ite false (bv 32 0x1) (bv 32 0x0)))) (bv 32 0x8000)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "subs #0x1,r2" 1b02 0x0 (set r2 (- (var r2) (bv 16 0x1)))
d "subs #0x2,r3" 1b83 0x0 (set r3 (- (var r3) (bv 16 0x2)))
d "subs #0x4,r3" 1b93 0x0 (set r3 (- (var r3) (bv 16 0x4)))
d "subx #0x53,r3h" b353 0x0 (seq (set _c (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (set _0 (bv 8 0x53)) (set _1 (cast 8 false (>> (var r3) (bv 8 0x8) false))) (set r3 (cast 16 false (| (& (cast 32 false (var r3)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (- (var _1) (var _0))) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _1) (bv 8 0xf)) (+ (& (var _0) (bv 8 0xf)) (ite (var _c) (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite (var _c) (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (ule (var _1) (var _0)) (! (== (var _1) (var _0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (var _1)) (msb (var _0))) (^^ (msb (var _1)) (! (is_zero (& (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "subx r7h,r2l" 1e7a 0x0 (seq (set _c (! (is_zero (& (>> (cast 32 false (var ccr)) (bv 32 0x0) false) (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false))))) (set _0 (cast 8 false (>> (var r7) (bv 8 0x8) false))) (set _1 (cast 8 false (var r2))) (set r2 (cast 16 false (| (& (cast 32 false (var r2)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (- (var _1) (var _0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))) (& (<< (cast 32 false (ite (! (is_zero (& (+ (& (var _1) (bv 8 0xf)) (+ (& (var _0) (bv 8 0xf)) (ite (var _c) (bv 8 0x1) (bv 8 0x0)))) (bv 8 0x10)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x5) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x5) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (! (is_zero (& (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite (var _c) (bv 16 0x1) (bv 16 0x0))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (ite (&& (ule (var _1) (var _0)) (! (== (var _1) (var _0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite (&& (^^ (msb (var _1)) (msb (var _0))) (^^ (msb (var _1)) (! (is_zero (& (- (cast 16 (msb (var _1)) (var _1)) (+ (cast 16 (msb (var _0)) (var _0)) (ite (var _c) (bv 16 0x1) (bv 16 0x0)))) (bv 16 0x80)))))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "xor.b #0x99,r5h" d599 0x0 (seq (set _res (^ (bv 8 0x99) (cast 8 false (>> (var r5) (bv 8 0x8) false)))) (set r5 (cast 16 false (| (& (cast 32 false (var r5)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x8) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x8) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "xor.b r0l,r0l" 1588 0x0 (seq (set _res (^ (cast 8 false (var r0)) (cast 8 false (var r0)))) (set r0 (cast 16 false (| (& (cast 32 false (var r0)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))) (& (<< (cast 32 false (var _res)) (bv 32 0x0) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x8)) false) (bv 32 0x0) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))) (& (<< (cast 32 false (ite (&& (sle (var _res) (bv 8 0x0)) (! (== (var _res) (bv 8 0x0)))) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x3) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x3) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))) (& (<< (cast 32 false (ite (is_zero (var _res)) (bv 16 0x1) (bv 16 0x0))) (bv 32 0x2) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x2) false))))) (set ccr (cast 8 false (| (& (cast 32 false (var ccr)) (~ (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))) (& (<< (cast 32 false (ite false (bv 16 0x1) (bv 16 0x0))) (bv 32 0x1) false) (<< (>> (bv 32 0xffffffff) (- (bv 32 0x20) (bv 32 0x1)) false) (bv 32 0x1) false))))))
d "xorc #0x66,ccr" 0566 0x0 (set ccr (^ (bv 8 0x66) (var ccr)))
