porffor 0.2.0-fdf0fc5 → 0.14.0-4e46400a9

package/README.md

@@ -13,7 +13,7 @@ Porffor is primarily built from scratch, the only thing that is not is the parse
 ## Usage
 Expect nothing to work! Only very limited JS is currently supported. See files in `bench` for examples.
 
-### Setup
+### Install
 **`npm install -g porffor`**. It's that easy (hopefully) :)
 
 ### Trying a REPL
@@ -189,6 +189,13 @@ These include some early (stage 1/0) and/or dead (last commit years ago) proposa
 - Intrinsic functions (see below)
 - Inlining wasm via ``asm`...``\` "macro"
 
+## Versioning
+Porffor uses a unique versioning system, here's an example: `0.14.0-15cb49f07`. Let's break it down:
+1. `0` - major, always `0` as Porffor is not ready yet
+2. `14` - minor, total Test262 pass percentage (floored to nearest int)
+3. `0` - micro, always `0` as unused
+4. `15cb49f07` - commit hash
+
 ## Performance
 *For the features it supports most of the time*, Porffor is *blazingly fast* compared to most interpreters and common engines running without JIT. For those with JIT, it is usually slower by default, but can catch up with compiler arguments and typed input, even more so when compiling to native binaries.
 
@@ -220,7 +227,7 @@ Mostly for reducing size. I do not really care about compiler perf/time as long
 - No tags if unused/optimized out
 
 ## Test262
-Porffor can run Test262 via some hacks/transforms which remove unsupported features whilst still doing the same asserts (eg simpler error messages using literals only). It currently passes >10% (see latest commit desc for latest and details). Use `node test262` to test, it will also show a difference of overall results between the last commit and current results.
+Porffor can run Test262 via some hacks/transforms which remove unsupported features whilst still doing the same asserts (eg simpler error messages using literals only). It currently passes >14% (see latest commit desc for latest and details). Use `node test262` to test, it will also show a difference of overall results between the last commit and current results.
 
 ## Codebase
 - `compiler`: contains the compiler itself

package/byg/index.js

@@ -2,7 +2,6 @@ import fs from 'node:fs';
 
 const noAnsi = s => s.replace(/\u001b\[[0-9]+m/g, '');
 const printLine = (line, number, breakpoint = false, current = false, selected = false) => {
-  // console.log(`\x1b[${breakpoint ? (selected ? '106' : '46') : (selected ? '47' : '100')}m\x1b[${selected ? '30' : '97'}m${number.toFixed(0).padStart(4, ' ')}\x1b[${breakpoint ? (selected ? '96' : '36') : (selected ? '37' : '90')}m\x1b[${current ? '47' : '40'}m▌ \x1b[${current ? '47' : '40'}m\x1b[${current ? '30' : '37'}m${current ? noAnsi(line) : line}\x1b[0K`);
   console.log(`\x1b[${breakpoint ? (selected ? '43' : '103') : (selected ? '47' : '100')}m\x1b[${selected || breakpoint ? '30' : '97'}m${number.toFixed(0).padStart(4, ' ')}\x1b[${breakpoint ? (selected ? '33' : '93') : (selected ? '37' : '90')}m\x1b[${current ? '47' : '40'}m▌ \x1b[${current ? '47' : '40'}m\x1b[${current ? '30' : '37'}m${current ? noAnsi(line) : line}\x1b[0K`);
 };
 
@@ -13,13 +12,10 @@ const box = (x, y, width, height, title = '', content = [], color = ['90', '100'
 
     // top
     process.stdout.write(`\x1b[48m\x1b[${y + 1};${x + 1}H\x1b[${color[0]}m` + '▄'.repeat(width));
-
     // bottom
     process.stdout.write(`\x1b[${y + height + 1};${x + 1}H▝` + '▀'.repeat(width - 1) + '▘');
-
     // left
     process.stdout.write(`\x1b[${y + 1};${x + 1}H▗` + '\x1b[1B\x1b[1D▐'.repeat(height - 1));
-
     // right
     process.stdout.write(`\x1b[${y + 1};${x + width + 1}H▖` + '\x1b[1B\x1b[1D▌'.repeat(height - 1));
 
@@ -33,8 +29,6 @@ const box = (x, y, width, height, title = '', content = [], color = ['90', '100'
   process.stdout.write(`\x1b[${y + 1};${x + 1}H\x1b[${color[1]}m` + ' '.repeat(width) + (`\x1b[1B\x1b[${width}D` + ' '.repeat(width)).repeat(Math.max(0, height - 1)));
 
   // title
-  // if (title) process.stdout.write(`\x1b[${y + 1};${x + ((width - title.length) / 2 | 0) + 1}H\x1b[${color[1]}m\x1b[${color[2]}m\x1b[1m${title}\x1b[22m`);
-  // if (title) process.stdout.write(`\x1b[${y};${x}H\x1b[${color[3]}▗\x1b[${color[4]}m\x1b[${color[2]}m\x1b[1m${' '.repeat((width - title.length) / 2 | 0)}${title}${' '.repeat(width - (((width - title.length) / 2 | 0)) - title.length)}\x1b[0m\x1b[${color[4]}m▖`);
   if (title) process.stdout.write(`\x1b[${y};${x}H\x1b[0m\x1b[${color[3]}m▐\x1b[${color[4]}m\x1b[${color[2]}m\x1b[1m${' '.repeat((width - title.length) / 2 | 0)}${title}${' '.repeat(width - (((width - title.length) / 2 | 0)) - title.length)}\x1b[0m\x1b[${color[3]}m▌`);
 
   // content
@@ -66,8 +60,6 @@ export default ({ lines, pause, breakpoint }) => {
       process.exit();
     }
 
-    // process.stdout.write(s);
-
     if (!paused) pause();
   });
 
@@ -83,7 +75,6 @@ export default ({ lines, pause, breakpoint }) => {
 
   process.on('exit', () => {
     process.stdout.write('\x1b[0m');
-    // console.clear();
   });
 
   console.clear();
@@ -130,18 +121,9 @@ export default ({ lines, pause, breakpoint }) => {
 
       for (const x of boxes) {
         const y = x.y({ currentLinePos });
-        const height = x.height;
         if (y < 0 || y >= termHeight) continue;
 
-        // crop box if > termHeight
-        // if (y + height >= termHeight) {
-        //   const excess = y + height - termHeight;
-        //   height -= excess;
-
-        //   content = content.slice(0, height - 2);
-        // }
-
-        box(x.x, y, x.width, height, x.title, x.content);
+        box(x.x, y, x.width, x.height, x.title, x.content);
       }
 
       // text += ` | rss: ${(process.memoryUsage.rss() / 1024 / 1024).toFixed(2)}mb`;
@@ -179,7 +161,8 @@ export default ({ lines, pause, breakpoint }) => {
         }
 
         case 'b': {
-          if (!lastSpecial) { // b pressed normally
+          if (!lastSpecial) {
+            // b pressed normally
             breakpoints[currentLine + scrollOffset] = !breakpoints[currentLine + scrollOffset];
             draw();
 
@@ -188,7 +171,6 @@ export default ({ lines, pause, breakpoint }) => {
           }
 
           // arrow down
-          // if (screenOffset + termHeight <= lines.length) scrollOffset++;
           if (scrollOffset < lines.length - currentLine - 1) scrollOffset++;
           draw();
           break;
@@ -198,7 +180,6 @@ export default ({ lines, pause, breakpoint }) => {
           if (!lastSpecial) break;
 
           // arrow up
-          // if (screenOffset > 0) scrollOffset--;
           if (scrollOffset > -currentLine) scrollOffset--;
           draw();
 
@@ -209,7 +190,6 @@ export default ({ lines, pause, breakpoint }) => {
           if (!lastSpecial) break;
 
           // page up
-          // scrollOffset -= Math.min(screenOffset, termHeight - 1);
           scrollOffset -= Math.min(scrollOffset + currentLine, termHeight - 1);
           draw();
           break;
@@ -219,7 +199,6 @@ export default ({ lines, pause, breakpoint }) => {
           if (!lastSpecial) break;
 
           // page down
-          // scrollOffset += Math.min((lines.length + 1) - (screenOffset + termHeight), termHeight - 1);
           scrollOffset += Math.min(lines.length - (scrollOffset + currentLine) - 1, termHeight - 1);
           draw();
           break;

package/compiler/2c.js

@@ -1,7 +1,7 @@
 import { read_ieee754_binary64, read_signedLEB128, read_unsignedLEB128 } from './encoding.js';
 import { Blocktype, Opcodes, Valtype } from './wasmSpec.js';
 import { operatorOpcode } from './expression.js';
-import { log } from "./log.js";
+import { log } from './log.js';
 
 const CValtype = {
   i8: 'i8',
@@ -106,17 +106,6 @@ for (const x in CValtype) {
   if (Valtype[x]) CValtype[Valtype[x]] = CValtype[x];
 }
 
-const todo = msg => {
-  class TodoError extends Error {
-    constructor(message) {
-      super(message);
-      this.name = 'TodoError';
-    }
-  }
-
-  throw new TodoError(msg);
-};
-
 const removeBrackets = str => {
   // return str;
   // if (str.startsWith(`(${CValtype.i32})(${CValtype.u32})`)) return `(${CValtype.i32})(${CValtype.u32})(` + removeBrackets(str.slice(22, -1)) + ')';
@@ -167,11 +156,6 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
     prependMain.set('_data', data.map(x => `memcpy(_memory + ${x.offset}, (unsigned char[]){${x.bytes.join(',')}}, ${x.bytes.length});`).join('\n'));
   }
 
-  // for (const [ x, p ] of pages) {
-    // out += `${CValtype[p.type]} ${x.replace(': ', '_').replace(/[^0-9a-zA-Z_]/g, '')}[100]`;
-    // out += ';\n';
-  // }
-
   if (out) out += '\n';
 
   let depth = 1;
@@ -213,9 +197,9 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
 
   for (const f of funcs) {
     depth = 1;
+    brDepth = 0;
 
     const invLocals = inv(f.locals, x => x.idx);
-    // if (f.returns.length > 1) todo('funcs returning >1 value unsupported');
 
     for (const x in invLocals) {
       invLocals[x] = sanitize(invLocals[x]);
@@ -247,12 +231,7 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
     const brs = [];
     let lastCond = false;
 
-    // let brDepth = 0;
-
     const blockStart = (i, loop) => {
-      // reset "stack"
-      // vals = [];
-
       rets.push(i[1]);
 
       const br = brId++;
@@ -269,25 +248,6 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
       brDepth++;
     };
 
-    const highlight = i => {
-      const surrounding = 6;
-
-      const decomp = decompile(f.wasm.slice(i - surrounding, i + surrounding + 1), '', 0, f.locals, f.params, f.returns, funcs, globals, exceptions).slice(0, -1).split('\n');
-
-      const noAnsi = s => s.replace(/\u001b\[[0-9]+m/g, '');
-      let longest = 0;
-      for (let j = 0; j < decomp.length; j++) {
-        longest = Math.max(longest, noAnsi(decomp[j]).length);
-      }
-
-      const middle = Math.floor(decomp.length / 2);
-      decomp[middle] = `\x1B[47m\x1B[30m${noAnsi(decomp[middle])}${'\u00a0'.repeat(longest - noAnsi(decomp[middle]).length)}\x1B[0m`;
-
-      console.log('\x1B[90m...\x1B[0m');
-      console.log(decomp.join('\n'));
-      console.log('\x1B[90m...\x1B[0m\n');
-    };
-
     for (let _ = 0; _ < f.wasm.length; _++) {
       const i = f.wasm[_];
       if (!i || !i[0]) continue;
@@ -415,8 +375,6 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
           const br = brs.at(-1);
           const ret = rets.at(-1);
           if (ret && ret !== Blocktype.void) {
-            // console.log(vals, ret);
-            // console.log(decompile(f.wasm.slice(_ - 5, _ + 1)));
             if (vals.length > 0) line(`_r${br} = ${removeBrackets(vals.pop())}`);
             // vals.push(`_r${br}`);
           }
@@ -425,8 +383,6 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
           line(`} else {`, false);
           depth++;
 
-          // reset "stack"
-          // vals = [];
           break;
         }
 
@@ -441,8 +397,6 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
           const br = brs.pop();
           const ret = rets.pop();
           if (ret && ret !== Blocktype.void) {
-            // console.log(vals, ret);
-            // console.log(decompile(f.wasm.slice(_ - 5, _ + 1)));
             if (vals.length > 0) line(`_r${br} = ${removeBrackets(vals.pop())}`);
             vals.push(`_r${br}`);
           }
@@ -541,18 +495,14 @@ _time_out = _time.tv_nsec / 1000000. + _time.tv_sec * 1000.;`);
 
         case Opcodes.br: {
           const ret = rets[brDepth - i[1] - 1];
-          // console.log(rets, brDepth, i[1], brDepth - i[1] - 1, ret, vals);
           if (ret !== Blocktype.void) line(`_r${brs[brDepth - i[1] - 1]} = ${removeBrackets(vals.pop())}`);
           line(`goto j${brs[brDepth - i[1] - 1]}`);
 
-          // // reset "stack"
-          // vals = [];
           break;
         }
 
         case Opcodes.br_if: {
           const ret = rets[brDepth - i[1] - 1];
-          // console.log(rets, brDepth, i[1], brDepth - i[1] - 1, ret, vals);
 
           let cond = removeBrackets(vals.pop());
           if (!lastCond) {
@@ -602,7 +552,6 @@ _time_out = _time.tv_nsec / 1000000. + _time.tv_sec * 1000.;`);
           }
 
           log.warning('2c', `unimplemented op: ${invOpcodes[i[0]]}`);
-          // todo(`unimplemented op: ${invOpcodes[i[0]]}`);
       }
 
       lastCond = false;

package/compiler/assemble.js

@@ -1,8 +1,7 @@
-import { Valtype, FuncType, Empty, ExportDesc, Section, Magic, ModuleVersion, Opcodes, PageSize } from './wasmSpec.js';
-import { encodeVector, encodeString, encodeLocal, unsignedLEB128, signedLEB128, ieee754_binary64, unsignedLEB128_into, signedLEB128_into, ieee754_binary64_into } from './encoding.js';
-// import { number } from './embedding.js';
+import { Valtype, FuncType, ExportDesc, Section, Magic, ModuleVersion, Opcodes, PageSize, Reftype } from './wasmSpec.js';
+import { encodeVector, encodeString, encodeLocal, unsignedLEB128, signedLEB128, unsignedLEB128_into, signedLEB128_into, ieee754_binary64_into } from './encoding.js';
 import { importedFuncs } from './builtins.js';
-import { log } from "./log.js";
+import { log } from './log.js';
 import Prefs from './prefs.js';
 
 const createSection = (type, data) => [
@@ -92,17 +91,23 @@ export default (funcs, globals, tags, pages, data, flags) => {
     encodeVector(funcs.map(x => getType(x.params, x.returns))) // type indexes
   );
 
-  // compilation hints section - unspecd, v8 only
-  // https://github.com/WebAssembly/design/issues/1473#issuecomment-1431274746
-  const chSection = !compileHints ? [] : customSection(
-    'compilationHints',
-    // for now just do everything as optimize eager
-    encodeVector(funcs.map(_ => chHint(0x02, 0x02, 0x02)))
+  const tableSection = !funcs.table ? [] : createSection(
+    Section.table,
+    encodeVector([ [ Reftype.funcref, 0x00, funcs.length ] ])
+  );
+
+  const elementSection = !funcs.table ? [] : createSection(
+    Section.element,
+    encodeVector([ [
+      0x00,
+      Opcodes.i32_const, 0, Opcodes.end,
+      encodeVector(funcs.map(x => x.index))
+    ] ])
   );
 
   // const t0 = performance.now();
 
-  // specially optimized assembly for globals as this version is much (>5x) faster than traditional createSection(...)
+  // specially optimized assembly for globals as this version is much (>5x) faster than traditional createSection()
   const globalsValues = Object.values(globals);
 
   let globalSection = [];
@@ -227,6 +232,14 @@ export default (funcs, globals, tags, pages, data, flags) => {
     dataSection: dataSection.map(x => x.toString(16)),
   });
 
+  // compilation hints section - unspecd, v8 only
+  // https://github.com/WebAssembly/design/issues/1473#issuecomment-1431274746
+  const chSection = !compileHints ? [] : customSection(
+    'compilationHints',
+    // for now just do everything as optimize eager
+    encodeVector(funcs.map(_ => chHint(0x02, 0x02, 0x02)))
+  );
+
   return Uint8Array.from([
     ...Magic,
     ...ModuleVersion,
@@ -234,10 +247,12 @@ export default (funcs, globals, tags, pages, data, flags) => {
     ...importSection,
     ...funcSection,
     ...chSection,
+    ...tableSection,
     ...memorySection,
     ...tagSection,
     ...globalSection,
     ...exportSection,
+    ...elementSection,
     ...dataCountSection,
     ...codeSection,
     ...dataSection

package/compiler/builtins/annexb_string.js

@@ -2,7 +2,7 @@ export default () => {
   let out = `// @porf --funsafe-no-unlikely-proto-checks --valtype=i32
 `;
 
-  const annexB_noArgs = (a0, a1) => out += `
+  const noArgs = (a0, a1) => out += `
 export const __String_prototype_${a0} = (_this: string) => {
   let out: string = Porffor.s\`<${a1}>\`;
 
@@ -58,15 +58,15 @@ ${[...a1].map((x, i) => `  Porffor.wasm.i32.store8(outPtr, ${x.charCodeAt(0)}, 0
 };
 `;
 
-  annexB_noArgs('big', 'big');
-  annexB_noArgs('blink', 'blink');
-  annexB_noArgs('bold', 'b');
-  annexB_noArgs('fixed', 'tt');
-  annexB_noArgs('italics', 'i');
-  annexB_noArgs('small', 'small');
-  annexB_noArgs('strike', 'strike');
-  annexB_noArgs('sub', 'sub');
-  annexB_noArgs('sup', 'sup');
+  noArgs('big', 'big');
+  noArgs('blink', 'blink');
+  noArgs('bold', 'b');
+  noArgs('fixed', 'tt');
+  noArgs('italics', 'i');
+  noArgs('small', 'small');
+  noArgs('strike', 'strike');
+  noArgs('sub', 'sub');
+  noArgs('sup', 'sup');
 
   return out;
 };

package/compiler/builtins/annexb_string.ts

@@ -1,4 +1,4 @@
-// @porf --funsafe-no-unlikely-proto-checks --valtype=i32
+// @porf --valtype=i32
 
 export const __String_prototype_trimLeft = (_this: string) => {
   return __String_prototype_trimStart(_this);
@@ -13,6 +13,6 @@ export const __String_prototype_trimRight = (_this: string) => {
   return __String_prototype_trimEnd(_this);
 };
 
-export const __ByteString_prototype_trimEnd = (_this: string) => {
-  return __ByteString_prototype_trimRight(_this);
+export const __ByteString_prototype_trimRight = (_this: string) => {
+  return __ByteString_prototype_trimEnd(_this);
 };

package/compiler/builtins/array.ts

@@ -1,5 +1,3 @@
-// @porf --funsafe-no-unlikely-proto-checks
-
 export const __Array_isArray = (x: unknown): boolean =>
   // Porffor.wasm`local.get ${x+1}` == Porffor.TYPES.array;
   Porffor.rawType(x) == Porffor.TYPES.array;
@@ -91,14 +89,12 @@ export const __Array_prototype_with = (_this: any[], index: number, value: any)
   if (index < 0) {
     index = len + index;
     if (index < 0) {
-      // todo: throw RangeError: Invalid index
-      return null;
+      throw new RangeError('Invalid index');
     }
   }
 
   if (index > len) {
-    // todo: throw RangeError: Invalid index
-    return null;
+    throw new RangeError('Invalid index');
   }
 
   // todo: allocator is bad here?

package/compiler/builtins/base64.ts

@@ -1,4 +1,4 @@
-// @porf --funsafe-no-unlikely-proto-checks --valtype=i32
+// @porf --valtype=i32
 
 export const btoa = (input: bytestring): bytestring => {
   const keyStr: bytestring = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=';

package/compiler/builtins/boolean.ts

@@ -1,5 +1,3 @@
-// @porf --funsafe-no-unlikely-proto-checks
-
 // 20.3.3.2 Boolean.prototype.toString ()
 // https://tc39.es/ecma262/#sec-boolean.prototype.tostring
 export const __Boolean_prototype_toString = (_this: boolean) => {

package/compiler/builtins/crypto.ts

@@ -1,4 +1,4 @@
-// @porf --funsafe-no-unlikely-proto-checks --valtype=i32
+// @porf --valtype=i32
 
 export const __crypto_randomUUID = (): bytestring => {
   let bytes: bytestring = '................';

package/compiler/builtins/date.ts

@@ -1,5 +1,3 @@
-// @porf --funsafe-no-unlikely-proto-checks
-
 // 21.4.1.3 Day (t)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-day
 // 1. Return 𝔽(floor(ℝ(t / msPerDay))).
@@ -1774,8 +1772,7 @@ export const __Date_prototype_toISOString = (_this: Date) => {
 
   // 4. If tv is NaN, throw a RangeError exception.
   if (Number.isNaN(tv)) {
-    // todo throw
-    return;
+    throw new RangeError('Invalid time value');
   }
 
   // 5. Assert: tv is an integral Number.

package/compiler/builtins/escape.ts

@@ -1,4 +1,4 @@
-// @porf --funsafe-no-unlikely-proto-checks --valtype=i32
+// @porf --valtype=i32
 
 import type {} from './porffor';
 

package/compiler/builtins/function.ts

@@ -1,5 +1,3 @@
-// // @porf --funsafe-no-unlikely-proto-checks
-
 export const __Function_prototype_toString = (_this: Function) => {
   // todo: actually use source
   let out: bytestring = 'function () {}';

package/compiler/builtins/int.ts

@@ -1,5 +1,3 @@
-// @porf --funsafe-no-unlikely-proto-checks
-
 // radix: number|any for rawType check
 // export const parseInt = (input: string|bytestring, radix: number|any): f64 => {
 export const parseInt = (input: string|bytestring, radix: number): f64 => {

package/compiler/builtins/number.ts

@@ -1,5 +1,3 @@
-// @porf --funsafe-no-unlikely-proto-checks
-
 // radix: number|any for rawType check
 export const __Number_prototype_toString = (_this: number, radix: number|any) => {
   let out: bytestring = '';
@@ -20,8 +18,7 @@ export const __Number_prototype_toString = (_this: number, radix: number|any) =>
 
   radix |= 0;
   if (radix < 2 || radix > 36) {
-    // todo: throw RangeError: toString() radix argument must be between 2 and 36
-    return out;
+    throw new RangeError('toString() radix argument must be between 2 and 36');
   }
 
   if (_this == 0) {
@@ -254,8 +251,7 @@ export const __Number_prototype_toFixed = (_this: number, fractionDigits: number
 
   fractionDigits |= 0;
   if (fractionDigits < 0 || fractionDigits > 100) {
-    // todo: throw RangeError: toFixed() digits argument must be between 0 and 100
-    return out;
+    throw new RangeError('toFixed() fractionDigits argument must be between 0 and 100');
   }
 
   // if negative value
@@ -349,8 +345,7 @@ export const __Number_prototype_toExponential = (_this: number, fractionDigits:
   } else {
     fractionDigits |= 0;
     if (fractionDigits < 0 || fractionDigits > 100) {
-      // todo: throw RangeError: toExponential() digits argument must be between 0 and 100
-      return out;
+      throw new RangeError('toExponential() fractionDigits argument must be between 0 and 100');
     }
   }
 

package/compiler/builtins/object.ts

@@ -1,5 +1,3 @@
-// // @porf --funsafe-no-unlikely-proto-checks
-
 export const __Object_prototype_toString = (_this: object) => {
   let out: bytestring = '[object Object]';
   return out;

package/compiler/builtins/porffor.d.ts

@@ -7,18 +7,18 @@ type PorfforGlobal = {
   wasm: {
     (...args: any[]): any;
     i32: {
-      load(pointer: i32, align: i32, offset: i32): i32;
-      store(pointer: i32, value: i32, align: i32, offset: i32): i32;
-      load8_u(pointer: i32, align: i32, offset: i32): i32;
-      store8(pointer: i32, value: i32, align: i32, offset: i32): i32;
-      load16_u(pointer: i32, align: i32, offset: i32): i32;
-      store16(pointer: i32, value: i32, align: i32, offset: i32): i32;
+      load(pointer: any, align: i32, offset: i32): i32;
+      store(pointer: any, value: i32, align: i32, offset: i32): i32;
+      load8_u(pointer: any, align: i32, offset: i32): i32;
+      store8(pointer: any, value: i32, align: i32, offset: i32): i32;
+      load16_u(pointer: any, align: i32, offset: i32): i32;
+      store16(pointer: any, value: i32, align: i32, offset: i32): i32;
       const(value: i32): i32;
     }
 
     f64: {
-      load(pointer: i32, align: i32, offset: i32): i32;
-      store(pointer: i32, value: f64, align: i32, offset: i32): f64;
+      load(pointer: any, align: i32, offset: i32): i32;
+      store(pointer: any, value: f64, align: i32, offset: i32): f64;
     }
   }
 
@@ -40,6 +40,7 @@ type PorfforGlobal = {
     regexp: i32;
     bytestring: i32;
     date: i32;
+    set: i32;
   }
 
   fastOr(...args: any): boolean;