warpo 2.2.5 → 2.3.0-alpha-1

package/asconfig.schema.json

@@ -0,0 +1,106 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "WARPO Configuration Schema",
+  "type": "object",
+  "properties": {
+    "entries": {
+      "type": "array",
+      "description": "List of entry AssemblyScript source files to be compiled. Each item is a file path.",
+      "items": {
+        "type": "string",
+        "description": "Path to an AssemblyScript entry file."
+      }
+    },
+    "options": {
+      "$ref": "#/$defs/OptionsSchema"
+    },
+    "targets": {
+      "type": "object",
+      "description": "Build targets configuration. Each property defines a build target with its own output and options.",
+      "additionalProperties": {
+        "$ref": "#/$defs/OptionsSchema"
+      }
+    }
+  },
+  "required": ["entries", "options", "targets"],
+
+  "$defs": {
+    "OptionsSchema": {
+      "type": "object",
+      "description": "Compiler options that control the build process and output.",
+      "properties": {
+        "exportStart": {
+          "type": "string",
+          "description": "Name of the exported start function for the WebAssembly module."
+        },
+        "exportRuntime": {
+          "type": "boolean",
+          "description": "Whether to export the runtime from the WebAssembly module."
+        },
+        "exportTable": {
+          "type": "boolean",
+          "description": "Whether to export the function table from the WebAssembly module."
+        },
+        "initialMemory": {
+          "type": "integer",
+          "description": "Initial memory size for the WebAssembly module, in WebAssembly pages."
+        },
+        "stackSize": {
+          "type": "integer",
+          "description": "Stack size for the WebAssembly module, in bytes."
+        },
+        "runtime": {
+          "type": "string",
+          "description": "Type of runtime to use, either 'incremental' or 'radical'.",
+          "enum": ["incremental", "radical"]
+        },
+        "stats": {
+          "type": "boolean",
+          "description": "Whether to output compilation statistics."
+        },
+        "outFile": {
+          "type": "string",
+          "description": "Path to the output WebAssembly (.wasm or .wat) file."
+        },
+        "disable": {
+          "type": "array",
+          "description": "List of compiler features to disable.",
+          "items": {
+            "type": "string",
+            "description": "Name of a feature to disable.",
+            "enum": ["mutable-globals", "sign-extension", "nontrapping-f2i", "bulk-memory"]
+          }
+        },
+        "debug": {
+          "type": "boolean",
+          "description": "Enable debug information for this build target."
+        },
+        "sourceMap": {
+          "type": "boolean",
+          "description": "Generate source map for this build target."
+        },
+        "optimizeLevel": {
+          "type": "integer",
+          "description": "Optimization level for this build target (higher means more optimization).",
+          "minimum": 0,
+          "maximum": 3
+        },
+        "shrinkLevel": {
+          "type": "integer",
+          "description": "Shrink level for this build target (higher means smaller output).",
+          "minimum": 0,
+          "maximum": 2
+        },
+        "use": {
+          "type": "object",
+          "description": "Additional compiler flags or environment variables for this build target.",
+          "additionalProperties": {
+            "type": "string",
+            "description": "Value for the use option."
+          }
+        }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/assemblyscript/std/assembly/index.d.ts

@@ -187,7 +187,7 @@ declare function eq<T extends i32 | i64 | f32 | f64>(left: T, right: T): i32;
 declare function ne<T extends i32 | i64 | f32 | f64>(left: T, right: T): i32;
 /** Computes the remainder of two integers. */
 declare function rem<T extends i32 | i64>(left: T, right: T): T;
-/** Loads a value of the specified type from memory. Equivalent to dereferncing a pointer in other languages. */
+/** Loads a value of the specified type from memory. Equivalent to dereferencing a pointer in other languages. */
 declare function load<T>(ptr: usize, immOffset?: usize, immAlign?: usize): T;
 /** Stores a value of the specified type to memory. Equivalent to dereferencing a pointer in other languages when assigning a value. */
 declare function store<T>(ptr: usize, value: T, immOffset?: usize, immAlign?: usize): void;
@@ -612,7 +612,7 @@ declare namespace i64 {
     }
   }
 }
-/** Converts any other numeric value to a 32-bit (in WASM32) respectivel 64-bit (in WASM64) signed integer. */
+/** Converts any other numeric value to a 32-bit (in WASM32) respectively 64-bit (in WASM64) signed integer. */
 declare let isize: typeof i32 | typeof i64;
 /** Converts any other numeric value to an 8-bit unsigned integer. */
 declare function u8(value: any): u8;
@@ -654,7 +654,7 @@ declare namespace u64 {
   /** Parses a string as an u64. */
   export function parse(value: string, radix?: i32): u64;
 }
-/** Converts any other numeric value to a 32-bit (in WASM32) respectivel 64-bit (in WASM64) unsigned integer. */
+/** Converts any other numeric value to a 32-bit (in WASM32) respectively 64-bit (in WASM64) unsigned integer. */
 declare let usize: typeof u32 | typeof u64;
 /** Converts any other numeric value to a 1-bit unsigned integer. */
 declare function bool(value: any): bool;
@@ -985,7 +985,7 @@ declare namespace v128 {
    * depending on hardware capabilities:
    * - If the input lane contains `NaN`, the result is either `0` or the respective maximum integer value.
    * - If the input lane contains a value otherwise out of bounds of the target type, the result is either the
-   *   saturatated result or maximum integer value.
+   *   saturated result or maximum integer value.
    */
   export function relaxed_trunc<T extends i32 | u32>(a: v128): v128;
   /**
@@ -996,7 +996,7 @@ declare namespace v128 {
    * depending on hardware capabilities:
    * - If the input lane contains `NaN`, the result is either `0` or the respective maximum integer value.
    * - If the input lane contains a value otherwise out of bounds of the target type, the result is either the
-   *   saturatated result or maximum integer value.
+   *   saturated result or maximum integer value.
    */
   export function relaxed_trunc_zero<T extends i32 | u32>(a: v128): v128;
   /**
@@ -1411,7 +1411,7 @@ declare namespace i32x4 {
    * defined, depending on hardware capabilities:
    * - If the input lane contains `NaN`, the result is either `0` or the respective maximum integer value.
    * - If the input lane contains a value otherwise out of bounds of the target type, the result is either the
-   *   saturatated result or maximum integer value.
+   *   saturated result or maximum integer value.
    */
   export function relaxed_trunc_f32x4_s(a: v128): v128;
   /**
@@ -1421,7 +1421,7 @@ declare namespace i32x4 {
    * defined, depending on hardware capabilities:
    * - If the input lane contains `NaN`, the result is either `0` or the respective maximum integer value.
    * - If the input lane contains a value otherwise out of bounds of the target type, the result is either the
-   *   saturatated result or maximum integer value.
+   *   saturated result or maximum integer value.
    */
   export function relaxed_trunc_f32x4_u(a: v128): v128;
   /**
@@ -1432,7 +1432,7 @@ declare namespace i32x4 {
    * defined, depending on hardware capabilities:
    * - If the input lane contains `NaN`, the result is either `0` or the respective maximum integer value.
    * - If the input lane contains a value otherwise out of bounds of the target type, the result is either the
-   *   saturatated result or maximum integer value.
+   *   saturated result or maximum integer value.
    */
   export function relaxed_trunc_f64x2_s_zero(a: v128): v128;
   /**
@@ -1443,7 +1443,7 @@ declare namespace i32x4 {
    * defined, depending on hardware capabilities:
    * - If the input lane contains `NaN`, the result is either `0` or the respective maximum integer value.
    * - If the input lane contains a value otherwise out of bounds of the target type, the result is either the
-   *   saturatated result or maximum integer value.
+   *   saturated result or maximum integer value.
    */
   export function relaxed_trunc_f64x2_u_zero(a: v128): v128;
   /**
@@ -2149,6 +2149,7 @@ declare class Array<T> {
   static isArray<U>(value: any): value is Array<any>;
 
   [key: number]: T;
+  [Symbol.iterator](): Iterator<T>;
   /** Current length of the array. */
   length: i32;
   /** Returns raw pointer to data storage (unsafe). */
@@ -2287,7 +2288,7 @@ declare namespace String {
     export function byteLength(str: string, nullTerminated?: bool): i32;
     /** Encodes the specified string to UTF-8 bytes, optionally null terminated. ErrorMode defaults to WTF-8. */
     export function encode(str: string, nullTerminated?: bool, errorMode?: ErrorMode): ArrayBuffer;
-    /** Encodes the specified raw string to UTF-8 bytes, opionally null terminated. ErrorMode defaults to WTF-8. Returns the number of bytes written. */
+    /** Encodes the specified raw string to UTF-8 bytes, optionally null terminated. ErrorMode defaults to WTF-8. Returns the number of bytes written. */
     export function encodeUnsafe(str: usize, len: i32, buf: usize, nullTerminated?: bool, errorMode?: ErrorMode): usize;
     /** Decodes the specified buffer from UTF-8 bytes to a string, optionally null terminated. */
     export function decode(buf: ArrayBuffer, nullTerminated?: bool): string;
@@ -2520,28 +2521,38 @@ declare class Set<K> {
   clear(): void;
   values(): K[]; // preliminary
   toString(): string;
+  [Symbol.iterator](): Iterator<K>;
 }
 
-interface SymbolConstructor {
-  readonly hasInstance: symbol;
-  readonly isConcatSpreadable: symbol;
-  readonly isRegExp: symbol;
-  readonly iterator: symbol;
-  readonly match: symbol;
-  readonly replace: symbol;
-  readonly search: symbol;
-  readonly species: symbol;
-  readonly split: symbol;
-  readonly toPrimitive: symbol;
-  readonly toStringTag: symbol;
-  readonly unscopables: symbol;
+declare interface SymbolConstructor {
   (description?: string | null): symbol;
+  readonly iterator: symbol;
   for(key: string): symbol;
   keyFor(sym: symbol): string | null;
 }
-
 declare const Symbol: SymbolConstructor;
 
+interface Symbol {
+  /** Returns a string representation of an object. */
+  toString(): string;
+}
+
+declare class IteratorResult<T> {
+  private constructor(value: T);
+  get done(): boolean;
+  get value(): T;
+  static done<T>(): IteratorResult<T>;
+  static fromValue<T>(value: T): IteratorResult<T>;
+}
+
+interface Iterator<T> {
+  next(): IteratorResult<T>;
+}
+
+interface Iterable<T> {
+  [Symbol.iterator](): Iterator<T>;
+}
+
 /** @internal */
 interface IMath<T> {
   /** The base of natural logarithms, e, approximately 2.718. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "warpo",
-  "version": "2.2.5",
+  "version": "2.3.0-alpha-1",
   "description": "next generation AssemblyScript compiler with optimizations",
   "type": "module",
   "bin": {
@@ -19,7 +19,8 @@
     "test:debug_symbol": "cross-env-shell ./build/tests/DebugSymbol/TestDebugSymbol",
     "test:debug_symbol:update": "cross-env-shell build/tests/DebugSymbol/TestDebugSymbol --update-fixtures",
     "test:driver": "node tests/driver/index.mjs",
-    "test": "npm run test:as:ut && npm run test:cpp:ut && npm run test:as:snapshot && npm run test:opt:snapshot && npm run test:driver && npm run test:debug_symbol && npm run test:bootstrap:debug && npm run test:bootstrap:release",
+    "test": "npm run test:as:ut && npm run test:cpp:ut && npm run test:as:snapshot && npm run test:opt:snapshot && npm run test:driver && npm run test:debug_symbol",
+    "test:all": "npm run test && npm run test:bootstrap:debug && npm run test:bootstrap:release",
     "test:update": "npm run test:as:snapshot -- -u && npm run test:opt:snapshot -- -u && npm run test:driver -- -u && npm run test:debug_symbol -- -u",
     "docs:dev": "vitepress dev docs",
     "docs:build": "vitepress build docs",
@@ -39,12 +40,12 @@
     "url": "https://github.com/wasm-ecosystem/warpo"
   },
   "files": [
+    "asconfig.schema.json",
+    "assemblyscript/std/assembly/index.d.ts",
     "create",
     "dist",
-    "types",
     "tsconfig-warpo.json",
-    "assemblyscript/tsconfig-base.json",
-    "assemblyscript/std/assembly/index.d.ts"
+    "types"
   ],
   "devDependencies": {
     "@assemblyscript/loader": "^0.28.9",
@@ -58,6 +59,6 @@
     "diff": "^8.0.0",
     "prettier": "^3.6.2",
     "typescript": "^5.8.3",
-    "vitepress": "^1.6.3"
+    "vitepress": "^2.0.0-alpha.15"
   }
 }

package/types/warpo/README.md

@@ -0,0 +1,3 @@
+# warpo additional type
+
+Here we will put non-typescript standard libarary header.

package/types/warpo/index.d.ts

@@ -1,7 +1,18 @@
 /// <reference path="../../assemblyscript/std/assembly/index.d.ts" />
 
 declare module "rt/index" {
-  export function __collect(): void;
+  // allocate new object with size and rtid
+  function __new(size: usize, id: u32): usize;
+  // re-allocate a object
+  function __renew(ptr: usize, size: usize): usize;
+  // insert write barrier (only useful for incremental runtime)
+  function __link(parentPtr: usize, childPtr: usize, expectMultiple: bool): void;
+  // trigger full GC manually
+  function __collect(): void;
+  // pin an object to prevent being garbage collected
+  function __pin(ptr: usize): usize;
+  // cancel the pin operation
+  function __unpin(ptr: usize): void;
 }
 
 declare module "warpo/utf8/const_str" {

package/assemblyscript/tsconfig-base.json

@@ -1,14 +0,0 @@
-{
-  "compilerOptions": {
-    "strict": true,
-    "alwaysStrict": true,
-    "noImplicitAny": true,
-    "noImplicitReturns": true,
-    "noImplicitThis": true,
-    "noEmitOnError": true,
-    "strictNullChecks": true,
-    "experimentalDecorators": true,
-    "preserveConstEnums": false,
-    "downlevelIteration": true
-  }
-}