rwasm 0.4.3

use crate::{InstructionSet, TrapCode};

impl InstructionSet {
    pub const MSH_I64_REM_S: u32 = 12;

    /// Computes the signed 64-bit integer remainder (modulus) using only 32-bit arithmetic,
    /// returning the 64-bit remainder as two `u32` limbs (low, high).
    ///
    /// Emulates full signed 64-bit remainder operation for platforms or VMs lacking native
    /// 64-bit division/modulo, such as WASM VMs with 32-bit stack elements.
    ///
    /// # Arguments
    /// - `n_lo`, `n_hi`: Low and high 32 bits of the dividend (`n = (n_hi << 32) | n_lo`,
    ///   interpreted as signed i64)
    /// - `d_lo`, `d_hi`: Low and high 32 bits of the divisor (`d = (d_hi << 32) | d_lo`,
    ///   interpreted as signed i64)
    ///
    /// # Returns
    /// - `(rem_lo, rem_hi)`: Low and high 32 bits of the signed remainder (as if casting to i64 and
    ///   splitting)
    ///
    /// # Algorithm
    /// - Traps on division by zero, matching WASM and Rust semantics.
    /// - Traps on signed overflow (`i64::MIN % -1` is defined as 0 in Rust/WASM, but still check
    ///   for consistency).
    /// - Computes absolute values of numerator and denominator.
    /// - Performs unsigned 64-bit division to get both quotient and remainder.
    /// - Restores the correct sign to the remainder (a remainder always has the same sign as the
    ///   dividend).
    ///
    /// # Panics / Traps
    /// - Division by zero triggers a trap (`core::intrinsics::abort()`).
    ///
    /// # Note
    /// The remainder takes the sign of the dividend, matching WebAssembly and Rust semantics.
    /// Input and output values are two-limb representations of signed 64-bit integers.
    ///
    /// Max stack height: 12
    pub fn op_i64_rem_s(&mut self) {
        self.op_i32_const(0);
        self.op_i32_const(0);
        self.op_i32_const(0);
        self.op_i32_const(0);
        self.op_local_get(5);
        self.op_local_get(7);
        self.op_i32_or();
        self.op_br_if_nez(2);
        self.op_trap(TrapCode::IntegerDivisionByZero);
        self.op_local_get(7);
        self.op_i32_const(-1);
        self.op_i32_le_s();
        self.op_br_if_nez(147);
        self.op_i32_const(0);
        self.op_local_set(4);
        self.op_local_get(5);
        self.op_i32_const(0);
        self.op_i32_lt_s();
        self.op_br_if_nez(67);
        self.op_i32_const(0);
        self.op_local_set(4);
        self.op_i32_const(64);
        self.op_local_set(3);
        self.op_i32_const(0);
        self.op_local_set(2);
        self.op_local_get(2);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(8);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(1);
        self.op_local_get(4);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(3);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_tee(5);
        self.op_local_get(6);
        self.op_i32_gt_u();
        self.op_br_if_nez(12);
        self.op_local_get(4);
        self.op_local_get(6);
        self.op_i32_ne();
        self.op_br_if_nez(5);
        self.op_local_get(1);
        self.op_local_get(7);
        self.op_i32_ge_u();
        self.op_br_if_nez(4);
        self.op_local_get(1);
        self.op_local_set(2);
        self.op_br(13);
        self.op_local_get(4);
        self.op_local_get(6);
        self.op_i32_sub();
        self.op_local_get(2);
        self.op_local_get(8);
        self.op_i32_lt_u();
        self.op_i32_sub();
        self.op_local_set(4);
        self.op_local_get(1);
        self.op_local_get(7);
        self.op_i32_sub();
        self.op_local_set(2);
        self.op_local_get(7);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(9);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(7);
        self.op_local_get(8);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_set(8);
        self.op_local_get(3);
        self.op_i32_const(-1);
        self.op_i32_add();
        self.op_local_tee(4);
        self.op_br_if_nez(-58);
        self.op_br(240);
        self.op_i32_const(0);
        self.op_local_get(7);
        self.op_i32_sub();
        self.op_local_tee(4);
        self.op_i32_eqz();
        self.op_local_get(6);
        self.op_i32_const(-1);
        self.op_i32_xor();
        self.op_i32_add();
        self.op_local_set(6);
        self.op_i32_const(64);
        self.op_local_set(1);
        self.op_i32_const(0);
        self.op_local_set(2);
        self.op_local_get(2);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(8);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(5);
        self.op_local_get(4);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(3);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_tee(5);
        self.op_local_get(7);
        self.op_i32_gt_u();
        self.op_br_if_nez(12);
        self.op_local_get(4);
        self.op_local_get(7);
        self.op_i32_ne();
        self.op_br_if_nez(5);
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_ge_u();
        self.op_br_if_nez(4);
        self.op_local_get(5);
        self.op_local_set(2);
        self.op_br(13);
        self.op_local_get(4);
        self.op_local_get(7);
        self.op_i32_sub();
        self.op_local_get(6);
        self.op_local_get(5);
        self.op_i32_lt_u();
        self.op_i32_sub();
        self.op_local_set(4);
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_sub();
        self.op_local_set(2);
        self.op_local_get(7);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(9);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(7);
        self.op_local_get(8);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_set(8);
        self.op_local_get(1);
        self.op_i32_const(-1);
        self.op_i32_add();
        self.op_local_tee(2);
        self.op_br_if_nez(-58);
        self.op_br(166);
        self.op_i32_const(0);
        self.op_local_set(4);
        self.op_i32_const(0);
        self.op_local_get(9);
        self.op_i32_sub();
        self.op_local_tee(3);
        self.op_i32_eqz();
        self.op_local_get(8);
        self.op_i32_const(-1);
        self.op_i32_xor();
        self.op_i32_add();
        self.op_local_set(8);
        self.op_local_get(5);
        self.op_i32_const(0);
        self.op_i32_lt_s();
        self.op_br_if_nez(67);
        self.op_i32_const(0);
        self.op_local_set(4);
        self.op_i32_const(64);
        self.op_local_set(3);
        self.op_i32_const(0);
        self.op_local_set(7);
        self.op_local_get(7);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(9);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(1);
        self.op_local_get(4);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(8);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_tee(5);
        self.op_local_get(6);
        self.op_i32_gt_u();
        self.op_br_if_nez(12);
        self.op_local_get(4);
        self.op_local_get(6);
        self.op_i32_ne();
        self.op_br_if_nez(5);
        self.op_local_get(1);
        self.op_local_get(7);
        self.op_i32_ge_u();
        self.op_br_if_nez(4);
        self.op_local_get(1);
        self.op_local_set(7);
        self.op_br(13);
        self.op_local_get(4);
        self.op_local_get(6);
        self.op_i32_sub();
        self.op_local_get(2);
        self.op_local_get(8);
        self.op_i32_lt_u();
        self.op_i32_sub();
        self.op_local_set(4);
        self.op_local_get(1);
        self.op_local_get(7);
        self.op_i32_sub();
        self.op_local_set(7);
        self.op_local_get(8);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(3);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(8);
        self.op_local_get(2);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_set(2);
        self.op_local_get(3);
        self.op_i32_const(-1);
        self.op_i32_add();
        self.op_local_tee(4);
        self.op_br_if_nez(-58);
        self.op_br(74);
        self.op_i32_const(0);
        self.op_local_get(7);
        self.op_i32_sub();
        self.op_local_tee(4);
        self.op_i32_eqz();
        self.op_local_get(6);
        self.op_i32_const(-1);
        self.op_i32_xor();
        self.op_i32_add();
        self.op_local_set(6);
        self.op_i32_const(64);
        self.op_local_set(1);
        self.op_i32_const(0);
        self.op_local_set(7);
        self.op_local_get(7);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(9);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(5);
        self.op_local_get(4);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(8);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_tee(5);
        self.op_local_get(7);
        self.op_i32_gt_u();
        self.op_br_if_nez(12);
        self.op_local_get(4);
        self.op_local_get(7);
        self.op_i32_ne();
        self.op_br_if_nez(5);
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_ge_u();
        self.op_br_if_nez(4);
        self.op_local_get(5);
        self.op_local_set(7);
        self.op_br(13);
        self.op_local_get(4);
        self.op_local_get(7);
        self.op_i32_sub();
        self.op_local_get(6);
        self.op_local_get(5);
        self.op_i32_lt_u();
        self.op_i32_sub();
        self.op_local_set(4);
        self.op_local_get(5);
        self.op_local_get(4);
        self.op_i32_sub();
        self.op_local_set(7);
        self.op_local_get(8);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_get(3);
        self.op_i32_const(31);
        self.op_i32_shr_u();
        self.op_i32_or();
        self.op_local_set(8);
        self.op_local_get(2);
        self.op_i32_const(1);
        self.op_i32_shl();
        self.op_local_set(2);
        self.op_local_get(1);
        self.op_i32_const(-1);
        self.op_i32_add();
        self.op_local_tee(2);
        self.op_br_if_nez(-58);
        self.op_i32_const(0);
        self.op_local_get(8);
        self.op_i32_sub();
        self.op_local_tee(3);
        self.op_i32_eqz();
        self.op_local_get(5);
        self.op_i32_const(-1);
        self.op_i32_xor();
        self.op_i32_add();
        self.op_local_set(4);
        self.op_local_get(4);
        self.op_i32_const(0);
        self.op_i32_const(32);
        self.op_i32_const(0);
        self.op_local_get(2);
        self.op_i32_const(63);
        self.op_i32_and();
        self.op_local_set(2);
        self.op_local_get(2);
        self.op_br_if_eqz(32);
        self.op_local_get(2);
        self.op_i32_const(31);
        self.op_i32_gt_u();
        self.op_br_if_eqz(10);
        self.op_local_get(4);
        self.op_local_get(3);
        self.op_i32_const(32);
        self.op_i32_sub();
        self.op_i32_shl();
        self.op_local_set(3);
        self.op_i32_const(0);
        self.op_local_set(4);
        self.op_br(19);
        self.op_local_get(4);
        self.op_local_get(3);
        self.op_i32_shl();
        self.op_local_set(4);
        self.op_local_get(3);
        self.op_local_get(3);
        self.op_i32_shl();
        self.op_local_set(3);
        self.op_local_get(4);
        self.op_i32_const(32);
        self.op_local_get(4);
        self.op_i32_const(31);
        self.op_i32_and();
        self.op_i32_sub();
        self.op_i32_shr_u();
        self.op_local_get(4);
        self.op_i32_or();
        self.op_local_set(3);
        self.op_drop();
        self.op_drop();
        self.op_local_get(4);
        self.op_i32_const(0);
        self.op_local_get(3);
        self.op_i32_or();
        self.op_local_set(2);
        self.op_local_get(3);
        self.op_i32_or();
        self.op_local_set(2);
        self.op_local_set(8);
        self.op_local_set(8);
        self.op_drop();
        self.op_drop();
        self.op_drop();
        self.op_drop();
        self.op_drop();
        self.op_drop();
    }
}