Method write_128

crates/tinywasm/src/store/memory/mod.rs:249–255

Writes exactly 16 bytes at the effective address `base + offset`.

(&mut self, base: u64, offset: u64, bytes: [u8; 16])

    /// Writes exactly 16 bytes at the effective address `base + offset`.
    fn write_128(&mut self, base: u64, offset: u64, bytes: [u8; 16]) -> core::result::Result<(), crate::Trap> {
        let addr = checked_effective_addr::<16>(self.len(), base, offset)?;
        self.write_all(addr, &bytes).ok_or_else(|| {
            cold_path();
            memory_oob(addr, 16, self.len())
        })
    }
}

type MemoryFactory = dyn Fn(MemoryType) -> Result<Box<dyn LinearMemory>> + Send + Sync;