d "remu.l d0, d1:d2" 4c402001 0x0 (seq (set src (var d0)) (set dst (var d2)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "rems.l d0, d1:d2" 4c402801 0x0 (seq (set src (var d0)) (set dst (var d2)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (&& (== (var dst) (bv 32 0x80000000)) (== (var src) (bv 32 0xffffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (sdiv (cast 64 (msb (var dst)) (var dst)) (cast 64 (msb (var src)) (var src)))) (set rem (- (cast 64 (msb (var dst)) (var dst)) (* (var quot) (cast 64 (msb (var src)) (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l (a0), d1:d0" 4c500001 0x0 (seq (set src (loadw 0 32 (var a0))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l (a0)+, d1:d0" 4c580001 0x0 (seq (set src (loadw 0 32 (var a0))) (set a0 (cast 32 false (+ (var a0) (bv 32 0x4)))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l -(a0), d1:d0" 4c600001 0x0 (seq (set a0 (cast 32 false (- (var a0) (bv 32 0x4)))) (set src (loadw 0 32 (var a0))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x10(a0), d1:d0" 4c6800010010 0x0 (seq (set src (loadw 0 32 (+ (cast 32 false (var a0)) (cast 32 false (bv 32 0x10))))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x10(a0, d0.w), d1:d0" 4c7000010010 0x0 (seq (set src (loadw 0 32 (+ (+ (cast 32 false (var a0)) (cast 32 false (bv 32 0x10))) (cast 32 (msb (cast 16 false (var d0))) (cast 16 false (var d0)))))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l ([0x20002fff], 0x30003fff), d0:d1" 4c7010001fff20002fff30003fff 0x0 (seq (set src (loadw 0 32 (+ (+ (loadw 0 32 (+ (bv 32 0x0) (bv 32 0x20002fff))) (bv 32 0x0)) (bv 32 0x30003fff)))) (set dst (var d1)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d0 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x10.w, d1:d0" 4c7800010010 0x0 (seq (set src (loadw 0 32 (bv 32 0x10))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x10007f.l, d1:d0" 4c7900010010007f 0x0 (seq (set src (loadw 0 32 (bv 32 0x10007f))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x14(pc), d1:d0" 4c7a00010010 0x0 (seq (set src (loadw 0 32 (bv 32 0x14))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x14(pc, d0.w), d1:d0" 4c7b00010010 0x0 (seq (set src (loadw 0 32 (+ (bv 32 0x14) (cast 32 (msb (cast 16 false (var d0))) (cast 16 false (var d0)))))) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l ([0x20003003], 0x30003fff), d0:d1" 4c7b10001fff20002fff30003fff 0x0 (seq (set src (loadw 0 32 (+ (+ (loadw 0 32 (+ (bv 32 0x0) (bv 32 0x20003001))) (bv 32 0x0)) (bv 32 0x30003fff)))) (set dst (var d1)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d0 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
d "remu.l 0x10007f, d1:d0" 4c7c00010010007f 0x0 (seq (set src (bv 32 0x10007f)) (set dst (var d0)) (branch (is_zero (var src)) (seq (set trap_op (bv 32 0x6)) (set trap_vector (bv 32 0x5)) (goto m68k_trap)) (branch (! (ule (div (cast 64 false (var dst)) (cast 64 false (var src))) (bv 64 0x7fffffff))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! true) (msb (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! true) (is_zero (cast 32 false (bv 32 0x0)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite true (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10))))))) (seq (set quot (div (cast 64 false (var dst)) (cast 64 false (var src)))) (set rem (- (cast 64 false (var dst)) (* (var quot) (cast 64 false (var src))))) (set d1 (cast 32 false (cast 32 false (var rem)))) (set sr (| (& (var sr) (bv 16 0xff00)) (cast 16 false (cast 8 false (| (| (& (| (& (| (& (| (& (& (cast 8 false (var sr)) (bv 8 0xe0)) (bv 8 0xf7)) (<< (ite (&& (! false) (msb (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x3) false)) (bv 8 0xfb)) (<< (ite (&& (! false) (is_zero (cast 32 false (var quot)))) (bv 8 0x1) (bv 8 0x0)) (bv 8 0x2) false)) (bv 8 0xfd)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x1) false)) (bv 8 0xfe)) (<< (ite false (bv 8 0x1) (bv 8 0x0)) (bv 8 0x0) false)) (& (cast 8 false (var sr)) (bv 8 0x10)))))))))))
