Add support for the Wasm memory64 proposal

.gitmodules

@@ -4,3 +4,6 @@
 [submodule "crates/wasmi/benches/rust"]
 	path = crates/wasmi/benches/rust
 	url = https://github.com/wasmi-labs/rust-benchmarks
+[submodule "crates/wasmi/tests/spec/wasmi-tests"]
+	path = crates/wasmi/tests/spec/wasmi-tests
+	url = https://github.com/wasmi-labs/wasmi-tests

crates/c_api/src/memory.rs

@@ -132,7 +132,11 @@ pub unsafe extern "C" fn wasm_memory_data_size(m: &wasm_memory_t) -> usize {
 #[cfg_attr(not(feature = "prefix-symbols"), no_mangle)]
 #[cfg_attr(feature = "prefix-symbols", wasmi_c_api_macros::prefix_symbol)]
 pub unsafe extern "C" fn wasm_memory_size(m: &wasm_memory_t) -> wasm_memory_pages_t {
-    m.memory().size(m.inner.store.context())
+    let size = m.memory().size(m.inner.store.context());
+    let Ok(size32) = u32::try_from(size) else {
+        panic!("linear memory pages out of bounds: {size}")
+    };
+    size32
 }
 
 /// Grows the [`wasm_memory_t`] by `delta` Wasm pages.
@@ -153,5 +157,5 @@ pub unsafe extern "C" fn wasm_memory_grow(
 ) -> bool {
     let memory = m.memory();
     let mut store = m.inner.store.context_mut();
-    memory.grow(&mut store, delta).is_ok()
+    memory.grow(&mut store, u64::from(delta)).is_ok()
 }

crates/c_api/src/table.rs

@@ -110,7 +110,7 @@ pub unsafe extern "C" fn wasm_table_get(
     index: wasm_table_size_t,
 ) -> Option<Box<wasm_ref_t>> {
     let table = t.table();
-    let value = table.get(t.inner.store.context_mut(), index)?;
+    let value = table.get(t.inner.store.context_mut(), u64::from(index))?;
     let wasm_ref = match value {
         wasmi::Val::FuncRef(r) => WasmRef::Func(r),
         wasmi::Val::ExternRef(r) => WasmRef::Extern(r),
@@ -137,7 +137,11 @@ pub unsafe extern "C" fn wasm_table_set(
     let table = t.table();
     let new_value = option_wasm_ref_t_to_ref(new_value, &table.ty(t.inner.store.context()));
     table
-        .set(t.inner.store.context_mut(), index, new_value.into())
+        .set(
+            t.inner.store.context_mut(),
+            u64::from(index),
+            new_value.into(),
+        )
         .is_ok()
 }
 
@@ -154,7 +158,8 @@ pub unsafe extern "C" fn wasm_table_set(
 pub unsafe extern "C" fn wasm_table_size(t: &wasm_table_t) -> wasm_table_size_t {
     let table = t.table();
     let store = t.inner.store.context();
-    table.size(store)
+    let size = table.size(store);
+    u32::try_from(size).unwrap()
 }
 /// Grows the number of cells of the [`wasm_table_t`] by `delta`.
 ///
@@ -176,7 +181,7 @@ pub unsafe extern "C" fn wasm_table_grow(
     let table = t.table();
     let init = option_wasm_ref_t_to_ref(init, &table.ty(t.inner.store.context()));
     table
-        .grow(t.inner.store.context_mut(), delta, init.into())
+        .grow(t.inner.store.context_mut(), u64::from(delta), init.into())
         .is_ok()
 }
 

crates/c_api/src/types/memory.rs

@@ -50,8 +50,12 @@ impl wasm_memorytype_t {
 
 impl CMemoryType {
     pub(crate) fn new(ty: MemoryType) -> CMemoryType {
-        let min: u32 = ty.minimum();
-        let max: u32 = ty.maximum().unwrap_or(u32::MAX);
+        let Ok(min) = u32::try_from(ty.minimum()) else {
+            panic!("memory minimum size out of bounds: {}", ty.minimum())
+        };
+        let Ok(max) = u32::try_from(ty.maximum().unwrap_or(u64::from(u32::MAX))) else {
+            panic!("memory maximum size out of bounds: {:?}", ty.maximum())
+        };
         CMemoryType {
             ty,
             limits: wasm_limits_t { min, max },

crates/c_api/src/types/table.rs

@@ -55,8 +55,11 @@ impl CTableType {
             ty,
             element: wasm_valtype_t { ty: ty.element() },
             limits: wasm_limits_t {
-                min: ty.minimum(),
-                max: ty.maximum().unwrap_or(u32::MAX),
+                min: u32::try_from(ty.minimum()).unwrap(),
+                max: ty
+                    .maximum()
+                    .map(|max| u32::try_from(max).unwrap())
+                    .unwrap_or(u32::MAX),
             },
         }
     }