Merge branch 'main' into HEAD

Author: dcodeIO

.c8rc.json

@@ -0,0 +1,17 @@
+{
+  "reporter": ["html", "text"],
+  "reportsDirectory": "./coverage",
+  "src": ["src"],
+  "exclude": [
+    "std/**/*",
+    "tests/**/*",
+    "dist/**/*",
+    "bin/asinit.js",
+    "lib/**/*",
+    "scripts/**/*",
+    "src/glue/wasm/**/*",
+    "util/browser/**/*"
+  ],
+  "clean": true,
+  "exclude-after-remap": true
+}

.github/workflows/test.yml

@@ -58,10 +58,14 @@ jobs:
       run: npm ci --no-audit
     - name: Build
       run: npm run build
-    - name: Bootstrap
+    - name: "Bootstrap ${{ matrix.target }}"
       run: npm run bootstrap:${{ matrix.target }}
-    - name: Test
+    - name: "Test ${{ matrix.target }}"
       run: npm run test:compiler -- --wasm build/assemblyscript.${{ matrix.target }}-bootstrap.js
+    - name: "Compile ${{ matrix.target }} -> ${{ matrix.target == 'debug' && 'release' || 'debug' }}"
+      run: node bin/asc --config src/asconfig.json --target ${{ matrix.target == 'debug' && 'release' || 'debug' }}-bootstrap --wasm ./build/assemblyscript.${{ matrix.target }}-bootstrap.js
+    - name: "Test ${{ matrix.target == 'debug' && 'release' || 'debug' }}"
+      run: npm run test:compiler -- --wasm build/assemblyscript.${{ matrix.target == 'debug' && 'release' || 'debug' }}-bootstrap.js
   features:
     name: "Features"
     runs-on: ubuntu-latest

.gitignore

@@ -9,3 +9,4 @@ raw/
 .idea
 cli/index.generated.js
 src/diagnosticMessages.generated.ts
+coverage/

cli/index.js

@@ -651,17 +651,18 @@ export async function main(argv, options) {
 
   // Include entry files
   for (let i = 0, k = argv.length; i < k; ++i) {
-    const filename = argv[i];
-    let sourcePath = String(filename)
-      .replace(/\\/g, "/")
-      .replace(extension_re, "")
-      .replace(/[\\/]$/, "");
+    const filename = String(argv[i]);
 
     // Setting the path to relative path
-    sourcePath = path.isAbsolute(sourcePath)
-      ? path.relative(baseDir, sourcePath).replace(/\\/g, "/")
-      : sourcePath;
+    let sourcePath = path.isAbsolute(filename)
+      ? path.relative(baseDir, filename)
+      : path.normalize(filename);
 
+    sourcePath = sourcePath
+      .replace(/\\/g, "/")
+      .replace(extension_re, "")
+      .replace(/\/$/, "");
+    
     // Try entryPath.ext, then entryPath/index.ext
     let sourceText = await readFile(sourcePath + extension, baseDir);
     if (sourceText == null) {

cli/options.json

@@ -204,14 +204,14 @@
       " simd                SIMD types and operations.",
       " reference-types     Reference types and operations.",
       " gc                  Garbage collection (WIP).",
+      " stringref           String reference types.",
       ""
     ],
     "TODO_doesNothingYet": [
       " exception-handling  Exception handling.",
       " tail-calls          Tail call operations.",
       " multi-value         Multi value types.",
       " memory64            Memory64 operations.",
-      " function-references Function reference types.",
       " relaxed-simd        Relaxed SIMD operations.",
       " extended-const      Extended const expressions."
     ],

package-lock.json

@@ -25,7 +25,7 @@
   },
   "engineStrict": true,
   "dependencies": {
-    "binaryen": "109.0.0-nightly.20220831",
+    "binaryen": "110.0.0-nightly.20220924",
     "long": "^5.2.0"
   },
   "devDependencies": {
@@ -70,6 +70,7 @@
     "lint": "eslint --max-warnings 0 --ext js . && eslint --max-warnings 0 --ext ts .",
     "build": "node scripts/build",
     "watch": "node scripts/build --watch",
+    "coverage": "npx c8 -- npm test",
     "test": "npm run test:parser && npm run test:compiler -- --parallel && npm run test:browser && npm run test:asconfig && npm run test:transform",
     "test:parser": "node --enable-source-maps tests/parser",
     "test:compiler": "node --enable-source-maps --no-warnings tests/compiler",

package.json

@@ -0,0 +1,42 @@
+// see https://github.com/microsoft/TypeScript/blob/main/scripts/regenerate-unicode-identifier-parts.js
+
+const MAX_UNICODE_CODEPOINT = 0x10FFFF;
+const isStart = c => /[\p{ID_Start}\u{2118}\u{212E}\u{309B}\u{309C}]/u.test(c); // Other_ID_Start explicitly included for back compat - see http://www.unicode.org/reports/tr31/#Introduction
+const isPart = c => /[\p{ID_Continue}\u{00B7}\u{0387}\u{19DA}\u{1369}\u{136A}\u{136B}\u{136C}\u{136D}\u{136E}\u{136F}\u{1370}\u{1371}]/u.test(c) || isStart(c); // Likewise for Other_ID_Continue
+const parts = [];
+let partsActive = false;
+let startsActive = false;
+const starts = [];
+
+// Skip 0-9 (48..57), A-Z (65..90), a-z (97..122) - checked otherwise
+for (let cp = 123; cp <= MAX_UNICODE_CODEPOINT; cp++) {
+  if (isStart(String.fromCodePoint(cp)) !== startsActive) {
+    starts.push(cp - +startsActive);
+    startsActive = !startsActive;
+  }
+  if (isPart(String.fromCodePoint(cp)) !== partsActive) {
+    parts.push(cp - +partsActive);
+    partsActive = !partsActive;
+  }
+}
+if (startsActive) starts.push(MAX_UNICODE_CODEPOINT);
+if (partsActive) parts.push(MAX_UNICODE_CODEPOINT);
+
+function tablify(cps) {
+  let sb = ["/*\n| from  ...  to | from  ...  to | from  ...  to | from  ...  to |*/"];
+  let i = 0;
+  while (i < cps.length) {
+    if (!(i % 8)) sb.push("\n  ");
+    sb.push(`${cps[i++].toString().padEnd(6)}, `);
+  }
+  return sb.join("") + "\n";
+}
+
+console.log(`/** Unicode ${process.versions.unicode} ID_Start/Other_ID_Start ranges */`);
+console.log(`const unicodeIdentifierStart: i32[] = [${tablify(starts)}];`);
+console.log(`const unicodeIdentifierStartMin = ${starts[0]};`);
+console.log(`const unicodeIdentifierStartMax = ${starts[starts.length - 1]};\n`);
+console.log(`/** Unicode ${process.versions.unicode} ID_Continue/Other_ID_Continue + ID_Start/Other_ID_Start ranges*/`);
+console.log(`const unicodeIdentifierPart: i32[] = [${tablify(parts)}];`);
+console.log(`const unicodeIdentifierPartMin = ${parts[0]};`);
+console.log(`const unicodeIdentifierPartMax = ${parts[parts.length - 1]};\n`);

scripts/unicode-identifier.js

@@ -15,7 +15,7 @@ var src = fs.readFileSync(srcfile, "utf8")
       if (val.startsWith("binaryen.")) {
         return $0;
       }
-      var match = val.match(/\b(_(?:Binaryen|Relooper|ExpressionRunner)\w+)\b/);
+      var match = val.match(/\b(_(?:Binaryen|Relooper|ExpressionRunner|TypeBuilder)\w+)\b/);
       if (match) {
         let fn = match[1];
         if (typeof binaryen[fn] !== "function") throw Error("API mismatch on '" + fn + "': Is Binaryen up to date?");

scripts/update-constants.js

@@ -3492,7 +3492,11 @@ function builtin_assert(ctx: BuiltinContext): ExpressionRef {
       case TypeKind.ANYREF:
       case TypeKind.EQREF:
       case TypeKind.DATAREF:
-      case TypeKind.I31REF: return module.if(module.ref_is(RefIsOp.Null, arg0), abort);
+      case TypeKind.I31REF:
+      case TypeKind.STRINGREF:
+      case TypeKind.STRINGVIEW_WTF8:
+      case TypeKind.STRINGVIEW_WTF16:
+      case TypeKind.STRINGVIEW_ITER: return module.if(module.ref_is(RefIsOp.Null, arg0), abort);
 
     }
   } else {
@@ -3574,7 +3578,11 @@ function builtin_assert(ctx: BuiltinContext): ExpressionRef {
       case TypeKind.ANYREF:
       case TypeKind.EQREF:
       case TypeKind.DATAREF:
-      case TypeKind.I31REF: {
+      case TypeKind.I31REF:
+      case TypeKind.STRINGREF:
+      case TypeKind.STRINGVIEW_WTF8:
+      case TypeKind.STRINGVIEW_WTF16:
+      case TypeKind.STRINGVIEW_ITER: {
         let temp = flow.getTempLocal(type);
         let ret = module.if(
           module.ref_is(RefIsOp.Null,