@ai-ecoverse/slicc-kernel 1.54.4 → 1.54.5

package/dist/process-worker.js

@@ -7426,6 +7426,12 @@ function read(view, at, type) {
   if (type === "f32") return view.getFloat32(at, true);
   return view.getFloat64(at, true);
 }
+function readSome(view, at, end, type) {
+  if (at + SIZE2[type] <= end) return read(view, at, type);
+  const some = new DataView(new ArrayBuffer(8));
+  for (let i = 0; at + i < end; i++) some.setUint8(i, view.getUint8(at + i));
+  return read(some, 0, type);
+}
 function write(view, at, type, value2) {
   if (type === "i32") view.setInt32(at, Number(value2), true);
   else if (type === "i64") view.setBigInt64(at, BigInt(value2), true);
@@ -7436,7 +7442,8 @@ function scalars(types) {
   if (types.includes("other")) throw new WasiError("EINVAL");
   return types;
 }
-function callDynamic(ctx, id, values, valuesLen, results, resultsLen, strict) {
+function callDynamic(ctx, ...operands) {
+  const [id, values, valuesLen, results, resultsLen, strict] = operands.map((n) => n >>> 0);
   const table = ctx.table();
   if (!table) throw new WasiError("ENOTSUP");
   const fn = id < table.length ? table.get(id) : null;
@@ -7444,33 +7451,31 @@ function callDynamic(ctx, id, values, valuesLen, results, resultsLen, strict) {
   if (!fn || !sig) throw new WasiError("EINVAL");
   const params = scalars(sig.params);
   const outs = scalars(sig.results);
+  const size = (types) => types.reduce((n, type) => n + SIZE2[type], 0);
+  if (strict && (size(params) !== valuesLen || size(outs) !== resultsLen)) {
+    throw new WasiError("EINVAL");
+  }
   const view = ctx.mem.view();
+  if (values + valuesLen > view.byteLength || results + resultsLen > view.byteLength) {
+    throw new WasiError("EFAULT");
+  }
   const end = values + valuesLen;
   let at = values;
   const args = params.map((type) => {
-    if (at + SIZE2[type] > end) {
-      if (strict) throw new WasiError("EINVAL");
-      return type === "i64" ? 0n : 0;
-    }
-    const v = read(view, at, type);
+    const v = readSome(view, at, end, type);
     at += SIZE2[type];
     return v;
   });
-  if (strict && at !== end) throw new WasiError("EINVAL");
   const returned = fn(...args);
   const got = outs.length === 1 ? [returned] : returned ?? [];
   const after = ctx.mem.view();
   const stop = results + resultsLen;
   let out = results;
   outs.forEach((type, i) => {
-    if (out + SIZE2[type] > stop) {
-      if (strict) throw new WasiError("EINVAL");
-      return;
-    }
+    if (out + SIZE2[type] > stop) return;
     write(after, out, type, got[i]);
     out += SIZE2[type];
   });
-  if (strict && out !== stop) throw new WasiError("EINVAL");
 }
 var SIZE2;
 var init_wasix_ffi = __esm({