Merge remote-tracking branch 'origin/master' into release

Author: actions-user

package-lock.json

@@ -8,7 +8,7 @@
     "assemblyscript",
     "wasm"
   ],
-  "version": "0.9.1",
+  "version": "0.9.2",
   "author": "Daniel Wirtz <dcode+assemblyscript@dcode.io>",
   "contributors": [],
   "license": "Apache-2.0",
@@ -21,13 +21,13 @@
     "url": "https://github.com/AssemblyScript/assemblyscript/issues"
   },
   "dependencies": {
-    "binaryen": "90.0.0-nightly.20200208",
+    "binaryen": "90.0.0-nightly.20200214",
     "long": "^4.0.0",
     "source-map-support": "^0.5.16",
     "ts-node": "^6.2.0"
   },
   "devDependencies": {
-    "@types/node": "^13.5.1",
+    "@types/node": "^13.7.1",
     "browser-process-hrtime": "^1.0.0",
     "diff": "^4.0.2",
     "glob": "^7.1.6",
@@ -37,8 +37,8 @@
     "ts-node": "^6.2.0",
     "tslint": "^5.20.1",
     "typescript": "^3.7.5",
-    "webpack": "^4.41.5",
-    "webpack-cli": "^3.3.10"
+    "webpack": "^4.41.6",
+    "webpack-cli": "^3.3.11"
   },
   "main": "index.js",
   "types": "index.d.ts",

package.json

@@ -1094,6 +1094,11 @@ export class NamedTypeNode extends TypeNode {
   name: TypeName;
   /** Type argument references. */
   typeArguments: TypeNode[] | null;
+
+  get hasTypeArguments(): bool {
+    var typeArguments = this.typeArguments;
+    return typeArguments !== null && typeArguments.length > 0;
+  }
 }
 
 /** Represents a function type. */

src/ast.ts

@@ -64,7 +64,7 @@ import {
   Global,
   DecoratorFlags,
   Element,
-  Class
+  ClassPrototype
 } from "./program";
 
 import {
@@ -4971,6 +4971,58 @@ export function compileRTTI(compiler: Compiler): void {
   }
 }
 
+/** Compiles a class-specific instanceof helper, checking a ref against all concrete instances. */
+export function compileClassInstanceOf(compiler: Compiler, prototype: ClassPrototype): void {
+  var module = compiler.module;
+  var nativeSizeType = compiler.options.nativeSizeType;
+  var instanceofInstance = assert(prototype.program.instanceofInstance);
+  compiler.compileFunction(instanceofInstance);
+
+  var stmts = new Array<ExpressionRef>();
+
+  // if (!ref) return false
+  stmts.push(
+    module.if(
+      module.unary(
+        nativeSizeType == NativeType.I64
+          ? UnaryOp.EqzI64
+          : UnaryOp.EqzI32,
+        module.local_get(0, nativeSizeType)
+      ),
+      module.return(
+        module.i32(0)
+      )
+    )
+  );
+
+  // if (__instanceof(ref, ID[i])) return true
+  var instances = prototype.instances;
+  if (instances !== null && instances.size) {
+    for (let instance of instances.values()) {
+      stmts.push(
+        module.if(
+          module.call(instanceofInstance.internalName, [
+            module.local_get(0, nativeSizeType),
+            module.i32(instance.id)
+          ], NativeType.I32),
+          module.return(
+            module.i32(1)
+          )
+        )
+      );
+    }
+  }
+
+  // return false
+  stmts.push(
+    module.return(
+      module.i32(0)
+    )
+  );
+
+  module.addFunction(prototype.internalName + "~instanceof", nativeSizeType, NativeType.I32, null, module.flatten(stmts));
+}
+
 // Helpers
 
 /** Evaluates the constant type of a type argument *or* expression. */