porffor 0.21.6 → 0.21.8

package/compiler/builtins/object.ts

@@ -149,7 +149,7 @@ export const __Object_fromEntries = (iterable: any): object => {
 
   for (const x of iterable) {
     if (!Porffor.object.isObject(x)) throw new TypeError('Iterator contains non-object');
-    out[ecma262.ToPropertyKey(x[0])] = x[1];
+    out[x[0]] = x[1];
   }
 
   return out;
@@ -355,6 +355,76 @@ export const __Object_isFrozen = (obj: any): any => {
 };
 
 
+export const __Object_seal = (obj: any): any => {
+  // todo: support non-pure-objects
+  if (Porffor.rawType(obj) != Porffor.TYPES.object) {
+    return obj;
+  }
+
+  // make inextensible
+  Porffor.object.preventExtensions(obj);
+
+  // make all properties non-configurable
+  Porffor.object.overrideAllFlags(obj, 0b0000, 0b1101);
+
+  return obj;
+};
+
+export const __Object_isSealed = (obj: any): any => {
+  if (!Porffor.object.isObject(obj)) {
+    return true;
+  }
+
+  // todo: support non-pure-objects
+  if (Porffor.rawType(obj) != Porffor.TYPES.object) {
+    return false;
+  }
+
+  // check obj is inextensible
+  if (!Porffor.object.isInextensible(obj)) {
+    return false;
+  }
+
+  // check all properties are non-configurable
+  return Porffor.object.checkAllFlags(obj, 0b0010, 0b0010, 0, 0);
+};
+
+
+export const __Object_getOwnPropertyDescriptor = (obj: any, prop: any): any => {
+  if (!Porffor.object.isObjectOrSymbol(obj)) throw new TypeError('Object should be an object or symbol');
+
+  const p: any = ecma262.ToPropertyKey(prop);
+  const entryPtr: i32 = Porffor.object.lookup(obj, p);
+  if (entryPtr == -1) return undefined;
+
+  const out: object = {};
+
+  const tail: i32 = Porffor.wasm.i32.load16_u(entryPtr, 0, 12);
+  out.configurable = Boolean(tail & 0b0010);
+  out.enumerable = Boolean(tail & 0b0100);
+
+  if (tail & 0b0001) {
+    // accessor descriptor
+
+    return out;
+  }
+
+  // data descriptor
+  const value: any = Porffor.wasm.f64.load(entryPtr, 0, 4);
+  Porffor.wasm`
+local.get ${tail}
+i32.to_u
+i32.const 8
+i32.shr_u
+local.set ${value+1}`;
+
+  out.writable = Boolean(tail & 0b1000);
+  out.value = value;
+
+  return out;
+};
+
+
 export const __Object_prototype_toString = (_this: object) => {
   let out: bytestring = '[object Object]';
   return out;

package/compiler/codegen.js

@@ -2881,231 +2881,242 @@ const generateAssign = (scope, decl, _global, _name, valueUnused = false) => {
       value: decl.left.property.name
     };
 
-    // todo: review last type usage here
+    // todo/perf: use i32 object (and prop?) locals
+    const objectWasm = [ [ Opcodes.local_get, localTmp(scope, '#member_obj') ] ];
+    const propertyWasm = [ [ Opcodes.local_get, localTmp(scope, '#member_prop_assign') ] ];
 
-    return typeSwitch(scope, getNodeType(scope, decl.left.object), {
-      [TYPES.array]: [
-        ...generate(scope, object),
-        Opcodes.i32_to_u,
-
-        // get index as valtype
-        ...generate(scope, property),
-        Opcodes.i32_to_u,
-
-        // turn into byte offset by * valtypeSize + 1
-        ...number(ValtypeSize[valtype] + 1, Valtype.i32),
-        [ Opcodes.i32_mul ],
-        [ Opcodes.i32_add ],
-        [ Opcodes.local_tee, pointerTmp ],
-
-        ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-          [ Opcodes.local_get, pointerTmp ],
-          [ Opcodes.load, 0, ValtypeSize.i32 ]
-        ], generate(scope, decl.right), [
-          [ Opcodes.local_get, pointerTmp ],
-          [ Opcodes.i32_load8_u, 0, ValtypeSize.i32 + ValtypeSize[valtype] ]
-        ], getNodeType(scope, decl.right), false, name, true)),
-        [ Opcodes.local_tee, newValueTmp ],
-        [ Opcodes.store, 0, ValtypeSize.i32 ],
-
-        [ Opcodes.local_get, pointerTmp ],
-        ...getNodeType(scope, decl),
-        [ Opcodes.i32_store8, 0, ValtypeSize.i32 + ValtypeSize[valtype] ],
+    return [
+      ...generate(scope, object),
+      [ Opcodes.local_set, localTmp(scope, '#member_obj') ],
 
-        [ Opcodes.local_get, newValueTmp ]
-      ],
+      ...generate(scope, property, false, '#member_prop_assign'),
+      [ Opcodes.local_set, localTmp(scope, '#member_prop_assign') ],
 
-      [TYPES.object]: [
-        ...generate(scope, object),
-        Opcodes.i32_to_u,
-        ...(op === '=' ? [] : [ [ Opcodes.local_tee, localTmp(scope, '#objset_object', Valtype.i32) ] ]),
-        ...getNodeType(scope, object),
-
-        ...generate(scope, property, false, '#member_prop'),
-        ...getNodeType(scope, property),
-        ...toPropertyKey(scope, op === '='),
-        ...(op === '=' ? [] : [ [ Opcodes.local_set, localTmp(scope, '#objset_property_type', Valtype.i32) ] ]),
-        ...(op === '=' ? [] : [
+      // todo: review last type usage here
+      ...typeSwitch(scope, getNodeType(scope, decl.left.object), {
+        [TYPES.array]: [
+          ...objectWasm,
           Opcodes.i32_to_u,
-          [ Opcodes.local_tee, localTmp(scope, '#objset_property', Valtype.i32) ]
-        ]),
-        ...(op === '=' ? [] : [ [ Opcodes.local_get, localTmp(scope, '#objset_property_type', Valtype.i32) ] ]),
 
-        ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-          [ Opcodes.local_get, localTmp(scope, '#objset_object', Valtype.i32) ],
-          ...getNodeType(scope, object),
-
-          [ Opcodes.local_get, localTmp(scope, '#objset_property', Valtype.i32) ],
-          [ Opcodes.local_get, localTmp(scope, '#objset_property_type', Valtype.i32) ],
-
-          [ Opcodes.call, ...unsignedLEB128(includeBuiltin(scope, '__Porffor_object_get').index) ],
-          ...setLastType(scope)
-        ], generate(scope, decl.right), getLastType(scope), getNodeType(scope, decl.right), false, name, true)),
-        ...getNodeType(scope, decl),
-
-        [ Opcodes.call, ...unsignedLEB128(includeBuiltin(scope, '__Porffor_object_set').index) ],
-        [ Opcodes.drop ],
-        // ...setLastType(scope, getNodeType(scope, decl)),
-      ],
+          // get index as valtype
+          ...propertyWasm,
+          Opcodes.i32_to_u,
 
-      ...wrapBC({
-        [TYPES.uint8array]: [
+          // turn into byte offset by * valtypeSize + 1
+          ...number(ValtypeSize[valtype] + 1, Valtype.i32),
+          [ Opcodes.i32_mul ],
           [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+          [ Opcodes.local_tee, pointerTmp ],
 
           ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
             [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load8_u, 0, 4 ],
-            Opcodes.i32_from_u
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.load, 0, ValtypeSize.i32 ]
+          ], generate(scope, decl.right), [
+            [ Opcodes.local_get, pointerTmp ],
+            [ Opcodes.i32_load8_u, 0, ValtypeSize.i32 + ValtypeSize[valtype] ]
+          ], getNodeType(scope, decl.right), false, name, true)),
           [ Opcodes.local_tee, newValueTmp ],
+          [ Opcodes.store, 0, ValtypeSize.i32 ],
 
-          Opcodes.i32_to_u,
-          [ Opcodes.i32_store8, 0, 4 ]
-        ],
-        [TYPES.uint8clampedarray]: [
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+          [ Opcodes.local_get, pointerTmp ],
+          ...getNodeType(scope, decl),
+          [ Opcodes.i32_store8, 0, ValtypeSize.i32 + ValtypeSize[valtype] ],
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load8_u, 0, 4 ],
-            Opcodes.i32_from_u
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+          [ Opcodes.local_get, newValueTmp ]
+        ],
 
-          ...number(0),
-          [ Opcodes.f64_max ],
-          ...number(255),
-          [ Opcodes.f64_min ],
+        [TYPES.object]: [
+          ...objectWasm,
           Opcodes.i32_to_u,
-          [ Opcodes.i32_store8, 0, 4 ]
-        ],
-        [TYPES.int8array]: [
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+          ...(op === '=' ? [] : [ [ Opcodes.local_tee, localTmp(scope, '#objset_object', Valtype.i32) ] ]),
+          ...getNodeType(scope, object),
+
+          ...propertyWasm,
+          ...getNodeType(scope, property),
+          ...toPropertyKey(scope, op === '='),
+          ...(op === '=' ? [] : [ [ Opcodes.local_set, localTmp(scope, '#objset_property_type', Valtype.i32) ] ]),
+          ...(op === '=' ? [] : [
+            Opcodes.i32_to_u,
+            [ Opcodes.local_tee, localTmp(scope, '#objset_property', Valtype.i32) ]
+          ]),
+          ...(op === '=' ? [] : [ [ Opcodes.local_get, localTmp(scope, '#objset_property_type', Valtype.i32) ] ]),
 
           ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load8_s, 0, 4 ],
-            Opcodes.i32_from
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+            [ Opcodes.local_get, localTmp(scope, '#objset_object', Valtype.i32) ],
+            ...getNodeType(scope, object),
 
-          Opcodes.i32_to,
-          [ Opcodes.i32_store8, 0, 4 ]
-        ],
-        [TYPES.uint16array]: [
-          ...number(2, Valtype.i32),
-          [ Opcodes.i32_mul ],
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+            [ Opcodes.local_get, localTmp(scope, '#objset_property', Valtype.i32) ],
+            [ Opcodes.local_get, localTmp(scope, '#objset_property_type', Valtype.i32) ],
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load16_u, 0, 4 ],
-            Opcodes.i32_from_u
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+            [ Opcodes.call, ...unsignedLEB128(includeBuiltin(scope, '__Porffor_object_get').index) ],
+            ...setLastType(scope)
+          ], generate(scope, decl.right), getLastType(scope), getNodeType(scope, decl.right), false, name, true)),
+          ...getNodeType(scope, decl),
 
-          Opcodes.i32_to_u,
-          [ Opcodes.i32_store16, 0, 4 ]
+          [ Opcodes.call, ...unsignedLEB128(includeBuiltin(scope, '__Porffor_object_set').index) ],
+          [ Opcodes.drop ],
+          // ...setLastType(scope, getNodeType(scope, decl)),
         ],
-        [TYPES.int16array]: [
-          ...number(2, Valtype.i32),
-          [ Opcodes.i32_mul ],
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load16_s, 0, 4 ],
-            Opcodes.i32_from
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+        ...wrapBC({
+          [TYPES.uint8array]: [
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-          Opcodes.i32_to,
-          [ Opcodes.i32_store16, 0, 4 ]
-        ],
-        [TYPES.uint32array]: [
-          ...number(4, Valtype.i32),
-          [ Opcodes.i32_mul ],
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load8_u, 0, 4 ],
+              Opcodes.i32_from_u
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load, 0, 4 ],
-            Opcodes.i32_from_u
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+            Opcodes.i32_to_u,
+            [ Opcodes.i32_store8, 0, 4 ]
+          ],
+          [TYPES.uint8clampedarray]: [
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load8_u, 0, 4 ],
+              Opcodes.i32_from_u
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
+
+            ...number(0),
+            [ Opcodes.f64_max ],
+            ...number(255),
+            [ Opcodes.f64_min ],
+            Opcodes.i32_to_u,
+            [ Opcodes.i32_store8, 0, 4 ]
+          ],
+          [TYPES.int8array]: [
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-          Opcodes.i32_to_u,
-          [ Opcodes.i32_store, 0, 4 ]
-        ],
-        [TYPES.int32array]: [
-          ...number(4, Valtype.i32),
-          [ Opcodes.i32_mul ],
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load8_s, 0, 4 ],
+              Opcodes.i32_from
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.i32_load, 0, 4 ],
-            Opcodes.i32_from
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+            Opcodes.i32_to,
+            [ Opcodes.i32_store8, 0, 4 ]
+          ],
+          [TYPES.uint16array]: [
+            ...number(2, Valtype.i32),
+            [ Opcodes.i32_mul ],
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-          Opcodes.i32_to,
-          [ Opcodes.i32_store, 0, 4 ]
-        ],
-        [TYPES.float32array]: [
-          ...number(4, Valtype.i32),
-          [ Opcodes.i32_mul ],
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load16_u, 0, 4 ],
+              Opcodes.i32_from_u
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.f32_load, 0, 4 ],
-            [ Opcodes.f64_promote_f32 ]
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+            Opcodes.i32_to_u,
+            [ Opcodes.i32_store16, 0, 4 ]
+          ],
+          [TYPES.int16array]: [
+            ...number(2, Valtype.i32),
+            [ Opcodes.i32_mul ],
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-          [ Opcodes.f32_demote_f64 ],
-          [ Opcodes.f32_store, 0, 4 ]
-        ],
-        [TYPES.float64array]: [
-          ...number(8, Valtype.i32),
-          [ Opcodes.i32_mul ],
-          [ Opcodes.i32_add ],
-          ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load16_s, 0, 4 ],
+              Opcodes.i32_from
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
 
-          ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
-            [ Opcodes.local_get, pointerTmp ],
-            [ Opcodes.f64_load, 0, 4 ]
-          ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
-          [ Opcodes.local_tee, newValueTmp ],
+            Opcodes.i32_to,
+            [ Opcodes.i32_store16, 0, 4 ]
+          ],
+          [TYPES.uint32array]: [
+            ...number(4, Valtype.i32),
+            [ Opcodes.i32_mul ],
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-          [ Opcodes.f64_store, 0, 4 ]
-        ],
-      }, {
-        prelude: [
-          ...generate(scope, object),
-          Opcodes.i32_to_u,
-          [ Opcodes.i32_load, 0, 4 ],
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load, 0, 4 ],
+              Opcodes.i32_from_u
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
 
-          ...generate(scope, property),
-          Opcodes.i32_to_u,
-        ],
-        postlude: [
-          // setLastType(scope, TYPES.number)
-          [ Opcodes.local_get, newValueTmp ]
-        ]
-      }),
+            Opcodes.i32_to_u,
+            [ Opcodes.i32_store, 0, 4 ]
+          ],
+          [TYPES.int32array]: [
+            ...number(4, Valtype.i32),
+            [ Opcodes.i32_mul ],
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
 
-      default: internalThrow(scope, 'TypeError', `Cannot assign member with non-array`)
-    }, valtypeBinary);
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.i32_load, 0, 4 ],
+              Opcodes.i32_from
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
+
+            Opcodes.i32_to,
+            [ Opcodes.i32_store, 0, 4 ]
+          ],
+          [TYPES.float32array]: [
+            ...number(4, Valtype.i32),
+            [ Opcodes.i32_mul ],
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.f32_load, 0, 4 ],
+              [ Opcodes.f64_promote_f32 ]
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
+
+            [ Opcodes.f32_demote_f64 ],
+            [ Opcodes.f32_store, 0, 4 ]
+          ],
+          [TYPES.float64array]: [
+            ...number(8, Valtype.i32),
+            [ Opcodes.i32_mul ],
+            [ Opcodes.i32_add ],
+            ...(op === '=' ? [] : [ [ Opcodes.local_tee, pointerTmp ] ]),
+
+            ...(op === '=' ? generate(scope, decl.right) : performOp(scope, op, [
+              [ Opcodes.local_get, pointerTmp ],
+              [ Opcodes.f64_load, 0, 4 ]
+            ], generate(scope, decl.right), number(TYPES.number, Valtype.i32), getNodeType(scope, decl.right), false, name, true)),
+            [ Opcodes.local_tee, newValueTmp ],
+
+            [ Opcodes.f64_store, 0, 4 ]
+          ],
+        }, {
+          prelude: [
+            ...objectWasm,
+            Opcodes.i32_to_u,
+            [ Opcodes.i32_load, 0, 4 ],
+
+            ...propertyWasm,
+            Opcodes.i32_to_u,
+          ],
+          postlude: [
+            // setLastType(scope, TYPES.number)
+            [ Opcodes.local_get, newValueTmp ]
+          ]
+        }),
+
+        default: internalThrow(scope, 'TypeError', `Cannot assign member with non-array`)
+      }, valtypeBinary)
+    ];
   }
 
   if (!name) return todo(scope, 'destructuring is not supported yet', true);
@@ -4329,7 +4340,7 @@ const makeArray = (scope, decl, global = false, name = '$undeclared', initEmpty
     const local = global ? globals[name] : scope.locals?.[name];
     if (
       Prefs.data && firstAssign && useRawElements &&
-      name !== '#member_prop' &&
+      name !== '#member_prop' && name !== '#member_prop_assign' &&
       (!globalThis.precompile || !global)
     ) {
       makeData(scope, elements, rawPtr, itemType, initEmpty);
@@ -4339,10 +4350,32 @@ const makeArray = (scope, decl, global = false, name = '$undeclared', initEmpty
     }
 
     if (local != null) {
+      // hack: handle allocation for #member_prop's here instead of in several places /shrug
+      let shouldGet = true;
+      if (name === '#member_prop') {
+        if (!scope._allocatedMemberProp) {
+          out.push(
+            ...number(rawPtr),
+            [ global ? Opcodes.global_set : Opcodes.local_set, local.idx ]
+          );
+
+          scope._allocatedMemberProp = true;
+        }
+      }
+
+      if (name === '#member_prop_assign') {
+        out.push(
+          [ Opcodes.call, ...unsignedLEB128(includeBuiltin(scope, '__Porffor_allocate').index) ]
+        );
+        shouldGet = false;
+      }
+
       const pointerTmp = localTmp(scope, '#makearray_pointer_tmp', Valtype.i32);
       out.push(
-        [ global ? Opcodes.global_get : Opcodes.local_get, local.idx ],
-        Opcodes.i32_to_u,
+        ...(shouldGet ? [
+          [ global ? Opcodes.global_get : Opcodes.local_get, local.idx ],
+          Opcodes.i32_to_u
+        ] : []),
         [ Opcodes.local_set, pointerTmp ]
       );
 
@@ -4654,6 +4687,7 @@ const generateMember = (scope, decl, _global, _name) => {
     value: decl.property.name
   };
 
+  // todo/perf: use i32 object (and prop?) locals
   const objectWasm = [ [ Opcodes.local_get, localTmp(scope, '#member_obj') ] ];
   const propertyWasm = [ [ Opcodes.local_get, localTmp(scope, '#member_prop') ] ];