@mirascript/mirascript 0.1.86 → 0.1.88

package/dist/subtle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subtle.d.ts","sourceRoot":"","sources":["../src/subtle.ts"],"names":[],"mappings":"AAAA,OAAO,2BAA2B,CAAC;AAEnC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACH,OAAO,IAAI,mBAAmB,EAC9B,SAAS,EACT,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,KAAK,gBAAgB,GACxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AACxC,cAAc,0BAA0B,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,KAAK,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAChH,OAAO,EAAE,KAAK,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"subtle.d.ts","sourceRoot":"","sources":["../src/subtle.ts"],"names":[],"mappings":"AAAA,OAAO,2BAA2B,CAAC;AAEnC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACH,OAAO,IAAI,mBAAmB,EAC9B,SAAS,EACT,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,KAAK,gBAAgB,GACxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,GAAG,EAAE,KAAK,GAAG,EAAE,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACpE,cAAc,0BAA0B,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,KAAK,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAChH,OAAO,EAAE,KAAK,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/subtle.js

@@ -1,32 +1,34 @@
 import {
   DefaultVmContext,
+  compileVerbose,
+  constants_exports,
+  convert_exports,
   createScript,
+  display,
   emitScript,
   lib,
   operations_exports,
+  serialize,
+  serializeArray,
+  serializeBoolean,
+  serializeNil,
+  serializeNumber,
+  serializeRecord,
+  serializeRecordKey,
+  serializeString,
   wrapScript
-} from "./chunk-A425FGG3.js";
+} from "./chunk-Y7S6AHE7.js";
 import {
+  BytecodeReader,
   DiagnosticCode,
-  constants_exports,
-  convert_exports,
-  display,
   formatDiagnosticMessage,
   formatDiagnostics,
   generateBytecode,
   generateBytecodeSync,
   getDiagnosticMessage,
   getDiagnosticSeverity,
-  parseDiagnostics,
-  serialize,
-  serializeArray,
-  serializeBoolean,
-  serializeNil,
-  serializeNumber,
-  serializeRecord,
-  serializeRecordKey,
-  serializeString
-} from "./chunk-LSPCAN32.js";
+  parseDiagnostics
+} from "./chunk-HHKY7Y7L.js";
 
 // src/subtle.ts
 import { OpCode, isKeyword } from "@mirascript/constants";
@@ -92,10 +94,12 @@ function analyzeGlobalReferences(expression, mode) {
   return accessChains;
 }
 export {
+  BytecodeReader,
   DefaultVmContext,
   DiagnosticCode,
   OpCode,
   analyzeGlobalReferences,
+  compileVerbose,
   constants_exports as constants,
   convert_exports as convert,
   createScript,

package/dist/subtle.js.map

@@ -1,6 +1,6 @@
 {
   "version": 3,
   "sources": ["../src/subtle.ts", "../src/helpers/analyze.ts"],
-  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA,SAAS,QAAQ,iBAAiB;;;ACFlC,SAAS,sBAAsB;AAQ/B,IAAM,YAAY;AAClB,IAAM,YAAY,IAAI;AAAA,EAClB,OAAO,QAAQ,eAAe,MAAM,OAAO,UAAU,MAAM,UAAU,eAAe,MAAM;AAAA,EAC1F;AACJ;AACA,IAAM,kBAAkB;AAExB,IAAM,EAAE,SAAS,IAAI;AAId,SAAS,wBAAwB,YAAoB,MAA0C;AAClG,MAAI,WAAW,KAAK,MAAM,IAAI;AAC1B,WAAO,CAAC;AAAA,EACZ;AACA,QAAM,CAAC,MAAM,WAAW,IAAI,qBAAqB,YAAY;AAAA,IACzD,YAAY,QAAQ;AAAA,IACpB,8BAA8B;AAAA;AAAA,IAE9B,kBAAkB;AAAA,IAClB,oBAAoB;AAAA,IACpB,iBAAiB;AAAA,IACjB,iBAAiB;AAAA,IACjB,sBAAsB;AAAA,IACtB,gBAAgB;AAAA,IAChB,sBAAsB;AAAA,IACtB,QAAQ;AAAA,EACZ,CAAC;AACD,MAAI,QAAQ,QAAQ,YAAY,WAAW,GAAG;AAC1C,WAAO,CAAC;AAAA,EACZ;AACA,QAAM,oBAAoB,iBAAiB,YAAY,WAAW;AAClE,QAAM,UAAU,kBAAkB,KAAK,OAAO,CAAC,MAAM,EAAE,SAAS,eAAe,cAAc;AAC7F,MAAI,QAAQ,WAAW,GAAG;AACtB,WAAO,CAAC;AAAA,EACZ;AACA,QAAM,QAAQ,WAAW,MAAM,OAAO;AACtC,QAAM,SAAS,oBAAI,IAAY;AAC/B,aAAW,UAAU,SAAS;AAE1B,UAAM,OAAO,MAAM,OAAO,MAAM,kBAAkB,CAAC;AACnD,QAAI,CAAC,KAAM;AACX,QAAI,KAAK,SAAS,gBAAiB;AACnC,UAAM,SAAS,KAAK,MAAM,OAAO,MAAM,cAAc,CAAC;AACtD,UAAM,QAAQ,UAAU,KAAK,MAAM;AACnC,QAAI,SAAS,KAAM;AACnB,UAAM,aAAa,MAAM,CAAC;AAC1B,QAAI,YAAY,WAAW,OAAO,MAAM,YAAY,OAAO,MAAM,YAAa;AAC9E,UAAM,WAAW,MAAM,CAAC,EAAE,MAAM,SAAS,EAAE,KAAK,GAAG;AACnD,WAAO,IAAI,QAAQ;AAAA,EACvB;AACA,QAAM,eAAuC,CAAC;AAC9C,aAAW,YAAY,QAAQ;AAC3B,UAAM,QAAQ,SAAS,MAAM,GAAG,EAAE,IAAI,CAAC,SAAS;AAC5C,UAAI,MAAM,KAAK,IAAI,GAAG;AAElB,eAAO,SAAS,MAAM,EAAE;AAAA,MAC5B;AACA,aAAO;AAAA,IACX,CAAC;AACD,iBAAa,KAAK,KAAwC;AAAA,EAC9D;AACA,SAAO;AACX;",
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA,SAAS,QAAQ,iBAAiB;;;ACFlC,SAAS,sBAAsB;AAQ/B,IAAM,YAAY;AAClB,IAAM,YAAY,IAAI;AAAA,EAClB,OAAO,QAAQ,eAAe,MAAM,OAAO,UAAU,MAAM,UAAU,eAAe,MAAM;AAAA,EAC1F;AACJ;AACA,IAAM,kBAAkB;AAExB,IAAM,EAAE,SAAS,IAAI;AAId,SAAS,wBAAwB,YAAoB,MAA0C;AAClG,MAAI,WAAW,KAAK,MAAM,IAAI;AAC1B,WAAO,CAAC;AAAA,EACZ;AACA,QAAM,CAAC,MAAM,WAAW,IAAI,qBAAqB,YAAY;AAAA,IACzD,YAAY,QAAQ;AAAA,IACpB,8BAA8B;AAAA;AAAA,IAE9B,kBAAkB;AAAA,IAClB,oBAAoB;AAAA,IACpB,iBAAiB;AAAA,IACjB,iBAAiB;AAAA,IACjB,sBAAsB;AAAA,IACtB,gBAAgB;AAAA,IAChB,sBAAsB;AAAA,IACtB,QAAQ;AAAA,EACZ,CAAC;AACD,MAAI,QAAQ,QAAQ,YAAY,WAAW,GAAG;AAC1C,WAAO,CAAC;AAAA,EACZ;AACA,QAAM,oBAAoB,iBAAiB,YAAY,WAAW;AAClE,QAAM,UAAU,kBAAkB,KAAK,OAAO,CAAC,MAAM,EAAE,SAAS,eAAe,cAAc;AAC7F,MAAI,QAAQ,WAAW,GAAG;AACtB,WAAO,CAAC;AAAA,EACZ;AACA,QAAM,QAAQ,WAAW,MAAM,OAAO;AACtC,QAAM,SAAS,oBAAI,IAAY;AAC/B,aAAW,UAAU,SAAS;AAE1B,UAAM,OAAO,MAAM,OAAO,MAAM,kBAAkB,CAAC;AACnD,QAAI,CAAC,KAAM;AACX,QAAI,KAAK,SAAS,gBAAiB;AACnC,UAAM,SAAS,KAAK,MAAM,OAAO,MAAM,cAAc,CAAC;AACtD,UAAM,QAAQ,UAAU,KAAK,MAAM;AACnC,QAAI,SAAS,KAAM;AACnB,UAAM,aAAa,MAAM,CAAC;AAC1B,QAAI,YAAY,WAAW,OAAO,MAAM,YAAY,OAAO,MAAM,YAAa;AAC9E,UAAM,WAAW,MAAM,CAAC,EAAE,MAAM,SAAS,EAAE,KAAK,GAAG;AACnD,WAAO,IAAI,QAAQ;AAAA,EACvB;AACA,QAAM,eAAuC,CAAC;AAC9C,aAAW,YAAY,QAAQ;AAC3B,UAAM,QAAQ,SAAS,MAAM,GAAG,EAAE,IAAI,CAAC,SAAS;AAC5C,UAAI,MAAM,KAAK,IAAI,GAAG;AAElB,eAAO,SAAS,MAAM,EAAE;AAAA,MAC5B;AACA,aAAO;AAAA,IACX,CAAC;AACD,iBAAa,KAAK,KAAwC;AAAA,EAC9D;AACA,SAAO;AACX;",
   "names": []
 }

package/dist/vm/lib/index.d.ts

@@ -1,4 +1,12 @@
 import * as global from './global/index.js';
 import * as mods from './mod/index.js';
-export declare const lib: Readonly<typeof global & typeof mods>;
+/** 标准库 */
+type LibData = typeof global & typeof mods;
+/** 标准库 */
+export type Lib = {
+    readonly [key in keyof LibData]: LibData[key];
+};
+/** 标准库 */
+export declare const lib: Lib;
+export type { VmLibOption } from './helpers.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/vm/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/vm/lib/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAC;AAkBvC,eAAO,MAAM,GAAG,EAAE,QAAQ,CAAC,OAAO,MAAM,GAAG,OAAO,IAAI,CAA4D,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/vm/lib/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAC;AAkBvC,UAAU;AACV,KAAK,OAAO,GAAG,OAAO,MAAM,GAAG,OAAO,IAAI,CAAC;AAC3C,UAAU;AACV,MAAM,MAAM,GAAG,GAAG;IACd,QAAQ,EAAE,GAAG,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;CAChD,CAAC;AAEF,UAAU;AACV,eAAO,MAAM,GAAG,EAAE,GAA8D,CAAC;AACjF,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirascript/mirascript",
-  "version": "0.1.86",
+  "version": "0.1.88",
   "author": "CloudPSS",
   "license": "MIT",
   "description": "An expression based scripting language.",
@@ -42,8 +42,8 @@
     "@cloudpss/worker": "^0.1.11",
     "source-map-js": "^1.2.1",
     "supports-color": "^11.0.0",
-    "@mirascript/bindings": "~0.1.86",
-    "@mirascript/constants": "~0.1.86"
+    "@mirascript/constants": "~0.1.88",
+    "@mirascript/bindings": "~0.1.88"
   },
   "devDependencies": {
     "ava": "^8.0.1",

package/src/compiler/{emit → bytecode}/consts.ts

@@ -1,21 +1,5 @@
 /* eslint-disable no-useless-assignment */
 import type { VmPrimitive } from '../../vm/index.js';
-const { stringify } = JSON;
-/** 将值转为 JS 字面量 */
-export function toJsLiteral(value: VmPrimitive | undefined): string {
-    /* c8 ignore next 2 */
-    if (value === null) return 'null';
-    if (value === undefined) return 'undefined';
-    if (typeof value == 'string') {
-        return stringify(value);
-    }
-    // JSON 无法处理 NaN 等特殊数字
-    if (value === 0) {
-        if (1 / value === -Infinity) return '-0';
-        return '0';
-    }
-    return String(value satisfies number | boolean);
-}
 
 const DECODER = new TextDecoder();
 const { fromCharCode } = String;

package/src/compiler/bytecode/index.ts

@@ -0,0 +1,58 @@
+import type { OpCode } from '@mirascript/constants';
+import type { VmPrimitive } from '../../vm/index.js';
+import { readConsts } from './consts.js';
+
+/** MiraScript 字节码读取器。 */
+export class BytecodeReader {
+    constructor(readonly chunk: Uint8Array) {
+        const reader = new DataView(chunk.buffer, chunk.byteOffset, chunk.byteLength);
+        this.chunkSize = reader.getUint32(0, true);
+        this.codeSize = reader.getUint32(4, true);
+        this.constSize = reader.getUint32(8 + this.codeSize, true);
+        this.codeReader = new DataView(chunk.buffer, chunk.byteOffset + 8, this.codeSize);
+        this.constVals = readConsts(
+            new Uint8Array(chunk.buffer, chunk.byteOffset + 12 + this.codeSize, this.constSize),
+        );
+    }
+
+    readonly chunkSize: number;
+    readonly codeSize: number;
+    readonly constSize: number;
+    readonly constVals: VmPrimitive[];
+    protected readonly codeReader: DataView;
+    protected codeOffset = 0;
+
+    /** 是否仍有指令可读。 */
+    protected get hasCode(): boolean {
+        return this.codeOffset < this.codeSize;
+    }
+
+    /** 读取操作码。 */
+    protected readOpcode(): { opcode: OpCode; wide: boolean; offset: number } {
+        const offset = this.codeOffset;
+        const raw = this.codeReader.getUint8(this.codeOffset++);
+        return { opcode: raw & 0x7f, wide: raw >= 0x80, offset };
+    }
+
+    /** 读取操作码。 */
+    protected peekOpcode(): OpCode {
+        const raw = this.codeReader.getUint8(this.codeOffset);
+        return raw & 0x7f;
+    }
+
+    /** 读取无符号参数。 */
+    protected readParam(wide: boolean): number {
+        const value = wide
+            ? this.codeReader.getUint32(this.codeOffset, true)
+            : this.codeReader.getUint8(this.codeOffset);
+        this.codeOffset += wide ? 4 : 1;
+        return value;
+    }
+
+    /** 读取有符号索引。 */
+    protected readIndex(wide: boolean): number {
+        const value = wide ? this.codeReader.getInt32(this.codeOffset, true) : this.codeReader.getInt8(this.codeOffset);
+        this.codeOffset += wide ? 4 : 1;
+        return value;
+    }
+}

package/src/compiler/emit/index.ts

@@ -1,11 +1,10 @@
 import { OpCode } from '@mirascript/constants';
-import { toString } from '../../helpers/convert/index.js';
-import type { VmPrimitive } from '../../vm/index.js';
 import type { ScriptInput, TranspileOptions } from '../types.js';
 import type { IRange } from '../diagnostic.js';
-import { readConsts, toJsLiteral } from './consts.js';
 import { createSourceMap } from './sourcemap.js';
 import { SCRIPT_PREFIX, SCRIPT_PREFIX_NO_GLOBAL, type ScriptPrefix } from './constants.js';
+import { BytecodeReader } from '../bytecode/index.js';
+import { createArray, toJsLiteral } from './utils.js';
 
 /** 生成代码 */
 export function emit(
@@ -20,39 +19,18 @@ export function emit(
     return code;
 }
 
-/** 创建数组 */
-function createArray<T>(length: number, fn: (index: number) => T): T[] {
-    // micro bench shows that this is faster than Array.from
-    const result: T[] = [];
-    for (let i = 0; i < length; i++) {
-        result.push(fn(i));
-    }
-    return result;
-}
-
 /** 代码生成 */
-export class Emitter {
+export class Emitter extends BytecodeReader {
     constructor(
         readonly source: ScriptInput,
-        readonly chunk: Uint8Array,
+        chunk: Uint8Array,
         readonly sourcemaps: readonly IRange[],
         readonly options: TranspileOptions,
     ) {
+        super(chunk);
         this.pretty = options.pretty ?? false;
-
-        const reader = new DataView(chunk.buffer, chunk.byteOffset, chunk.byteLength);
-        this.chunkSize = reader.getUint32(0, true);
-        this.codeSize = reader.getUint32(4, true);
-        this.constSize = reader.getUint32(8 + this.codeSize, true);
-
-        this.codeReader = new DataView(chunk.buffer, chunk.byteOffset + 8, this.codeSize);
-        this.constVals = readConsts(
-            new Uint8Array(chunk.buffer, chunk.byteOffset + 12 + this.codeSize, this.constSize),
-        );
     }
     readonly pretty: boolean;
-    readonly chunkSize: number;
-    readonly codeSize: number;
     /** 读取常量表 */
     private readConsts(): void {
         const { constVals, constLits } = this;
@@ -60,12 +38,7 @@ export class Emitter {
             constLits.push(toJsLiteral(constVals[i]));
         }
     }
-    readonly constVals: VmPrimitive[];
     readonly constLits: string[] = [];
-
-    readonly constSize: number;
-    private readonly codeReader: DataView;
-    private codeOffset = 0;
     private closureCounter = 0;
     private identCounter = 0;
     /** 记录函数声明所在位置 */
@@ -81,13 +54,7 @@ export class Emitter {
     private useGlobal = false;
     /** 读取全局变量 */
     private rg(constIdx: number): string {
-        const constName = this.constVals[constIdx]!;
-        let lit;
-        if (typeof constName == 'string') {
-            lit = this.constLits[constIdx]!;
-        } else {
-            lit = toJsLiteral(toString(constName, undefined));
-        }
+        const lit = this.constLits[constIdx]!;
         this.useGlobal = true;
         return `global.get(${lit})`;
     }
@@ -105,27 +72,12 @@ export class Emitter {
         if (!i) return '_';
         return this.rv(i, level);
     }
-    /** 读取 code param */
-    private readParam(wide: boolean): number {
-        const value = wide
-            ? this.codeReader.getUint32(this.codeOffset, true)
-            : this.codeReader.getUint8(this.codeOffset);
-        this.codeOffset += wide ? 4 : 1;
-        return value;
-    }
-    /** 读取 code param */
-    private readIndex(wide: boolean): number {
-        const value = wide ? this.codeReader.getInt32(this.codeOffset, true) : this.codeReader.getInt8(this.codeOffset);
-        this.codeOffset += wide ? 4 : 1;
-        return value;
-    }
     /** 读取闭包 */
     private readClosure(): void {
         this.closureCounter++;
         this.identCounter++;
         while (this.codeOffset < this.codeSize) {
-            const opcode_raw = this.codeReader.getUint8(this.codeOffset);
-            const opcode = opcode_raw & 0x7f;
+            const opcode = this.peekOpcode();
             if (opcode !== OpCode.FuncEnd) {
                 this.readCode();
                 continue;
@@ -142,8 +94,7 @@ export class Emitter {
     /** 读取块结束 */
     private readBlockEnd(end: OpCode): void {
         while (this.codeOffset < this.codeSize) {
-            const opcode_raw = this.codeReader.getUint8(this.codeOffset);
-            const opcode = opcode_raw & 0x7f;
+            const opcode = this.peekOpcode();
             if (opcode !== end) {
                 this.readCode();
                 continue;
@@ -163,8 +114,7 @@ export class Emitter {
     private readIfElse(): void {
         this.identCounter++;
         while (this.codeOffset < this.codeSize) {
-            const opcode_raw = this.codeReader.getUint8(this.codeOffset);
-            const opcode = opcode_raw & 0x7f;
+            const opcode = this.peekOpcode();
             if (opcode === OpCode.IfEnd) {
                 return this.readBlockEnd(OpCode.IfEnd);
             }
@@ -183,11 +133,10 @@ export class Emitter {
     private readModule(obj: number): void {
         this.identCounter++;
         while (this.codeOffset < this.codeSize) {
-            const opcode_raw = this.codeReader.getUint8(this.codeOffset++);
-            const opcode = opcode_raw & 0x7f;
-            const wide = opcode_raw >= 0x80;
+            const { opcode, wide } = this.readOpcode();
             const read = () => this.readParam(wide);
             let code: string;
+            // eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check
             switch (opcode) {
                 case OpCode.Field: {
                     const field = read();
@@ -222,11 +171,10 @@ export class Emitter {
     private readRecord(obj: number): void {
         this.identCounter++;
         while (this.codeOffset < this.codeSize) {
-            const opcode_raw = this.codeReader.getUint8(this.codeOffset++);
-            const opcode = opcode_raw & 0x7f;
-            const wide = opcode_raw >= 0x80;
+            const { opcode, wide } = this.readOpcode();
             const read = () => this.readParam(wide);
             let code: string;
+            // eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check
             switch (opcode) {
                 case OpCode.FieldOpt:
                 case OpCode.Field: {
@@ -289,11 +237,10 @@ export class Emitter {
     private readArray(arr: number): void {
         this.identCounter++;
         while (this.codeOffset < this.codeSize) {
-            const opcode_raw = this.codeReader.getUint8(this.codeOffset++);
-            const opcode = opcode_raw & 0x7f;
-            const wide = opcode_raw >= 0x80;
+            const { opcode, wide } = this.readOpcode();
             const read = () => this.readParam(wide);
             let code: string;
+            // eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check
             switch (opcode) {
                 case OpCode.Item: {
                     const value = read();
@@ -343,14 +290,13 @@ export class Emitter {
 
     /** 读取代码 */
     private readCode(): void {
-        const opcode_raw = this.codeReader.getUint8(this.codeOffset++);
-        const opcode = opcode_raw & 0x7f;
-        const wide = opcode_raw >= 0x80;
+        const { opcode, wide } = this.readOpcode();
         const read = () => this.readParam(wide);
         const readIndex = () => this.readIndex(wide);
         const ident = this.ident();
         let code: string;
         let reg = 0;
+        // eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check
         switch (opcode) {
             case OpCode.FuncVarg:
             case OpCode.Func: {
@@ -635,7 +581,7 @@ export class Emitter {
             }
             case OpCode.Module: {
                 reg = read();
-                const nameIdx = readIndex();
+                const nameIdx = read();
                 const name = this.constLits[nameIdx];
                 code = `${this.wv(reg)} = $Module(${name}, {`;
                 break;
@@ -725,6 +671,7 @@ export class Emitter {
             }
         }
         this.codeLines.push(ident + code);
+        // eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check
         switch (opcode) {
             case OpCode.FuncVarg:
             case OpCode.Func: {

package/src/compiler/emit/sourcemap.ts

@@ -2,7 +2,7 @@ import { SourceMapGenerator } from 'source-map-js';
 import type { IRange } from '../diagnostic.js';
 import type { ScriptInput, TranspileOptions } from '../types.js';
 import type { ScriptPrefix } from './constants.js';
-import { toJsLiteral } from './consts.js';
+import { toJsLiteral } from './utils.js';
 
 const ORIGIN = `mira://MiraScript/`;
 const { SOURCE_URL, SOURCE_MAPPING_URL } = ((source, mapping, url) => {

package/src/compiler/emit/utils.ts

@@ -0,0 +1,28 @@
+import type { VmPrimitive } from '../../index.js';
+
+const { stringify } = JSON;
+/** 将值转为 JS 字面量 */
+export function toJsLiteral(value: VmPrimitive | undefined): string {
+    /* c8 ignore next 2 */
+    if (value === null) return 'null';
+    if (value === undefined) return 'undefined';
+    if (typeof value == 'string') {
+        return stringify(value);
+    }
+    // JSON 无法处理 NaN 等特殊数字
+    if (value === 0) {
+        if (1 / value === -Infinity) return '-0';
+        return '0';
+    }
+    return String(value satisfies number | boolean);
+}
+
+/** 创建数组 */
+export function createArray<T>(length: number, fn: (index: number) => T): T[] {
+    // micro bench shows that this is faster than Array.from
+    const result: T[] = [];
+    for (let i = 0; i < length; i++) {
+        result.push(fn(i));
+    }
+    return result;
+}

package/src/compiler/generate-bytecode.ts

@@ -2,7 +2,7 @@ import { getModule, loadModule } from '@mirascript/bindings';
 import type { CompileOptions, ScriptInput } from './types.js';
 
 /** MiraScript 字节码 */
-export type VmBytecodeResult = [code: Uint8Array | undefined, diagnostics: Uint32Array];
+export type VmBytecodeResult = [code: Uint8Array<ArrayBuffer> | undefined, diagnostics: Uint32Array<ArrayBuffer>];
 
 /**
  * 生成 MiraScript 字节码
@@ -10,7 +10,7 @@ export type VmBytecodeResult = [code: Uint8Array | undefined, diagnostics: Uint3
 export function generateBytecodeSync(script: ScriptInput, options: CompileOptions): VmBytecodeResult {
     const module = getModule();
     const result = module.compileSync(script, options);
-    return [result.chunk, result.diagnostics];
+    return [result.chunk as Uint8Array<ArrayBuffer> | undefined, result.diagnostics as Uint32Array<ArrayBuffer>];
 }
 
 /**
@@ -22,5 +22,5 @@ export async function generateBytecode(script: ScriptInput, options: CompileOpti
     }
     const module = await loadModule();
     const result = 'compile' in module ? await module.compile(script, options) : module.compileSync(script, options);
-    return [result.chunk, result.diagnostics];
+    return [result.chunk as Uint8Array<ArrayBuffer> | undefined, result.diagnostics as Uint32Array<ArrayBuffer>];
 }

package/src/compiler/index.ts

@@ -1,54 +1,34 @@
 import './load-module.js';
 import type { ScriptInput, TranspileOptions } from './types.js';
-import { createScript, type VmScript } from './create-script.js';
+import type { VmScript } from './create-script.js';
 import { compileFast } from './compile-fast.js';
-import { generateBytecode, generateBytecodeSync } from './generate-bytecode.js';
-import { compileWorker } from './worker-manager.js';
+import { generateBytecodeSync } from './generate-bytecode.js';
 import { emitScript, CompileError } from './emit-script.js';
+import { normalizeTranspileOptions } from './options.js';
+import { compileVerbose } from './verbose.js';
 
 export * from './types.js';
 export type { VmScript };
 export { CompileError };
 
-// 目前编译速度约 2000kB/s
-const WORKER_MIN_LEN = typeof Worker != 'function' ? Number.MAX_VALUE : 1024;
-
-/** 设置 options */
-function getOptions(options: TranspileOptions | undefined): TranspileOptions {
-    options ??= {};
-    if (options.sourceMap) {
-        options.diagnostic_sourcemap = true;
-        // https://tc39.es/ecma426/#sec-terms-and-definitions-colun
-        options.diagnostic_position_encoding ??= 'Utf16';
-    }
-    options.input_mode ??= 'Script';
-    return options;
-}
-
 /**
  * 生成 MiraScript 对应的 JavaScript 代码
  */
 export async function compile(this: void, source: ScriptInput, options?: TranspileOptions): Promise<VmScript> {
-    options = getOptions(options);
     if (typeof source == 'string') {
+        options = normalizeTranspileOptions(options);
         const result = compileFast(source, options);
         if (result) return result;
     }
-    if (source.length < WORKER_MIN_LEN) {
-        const bc = await generateBytecode(source, options);
-        return emitScript(source, bc, options);
-    }
-    const [target, diagnostics] = await compileWorker(source, options);
-    if (target == null) {
-        throw new CompileError(source, diagnostics, options.fileName);
-    }
-    return createScript(source, options.input_mode ?? 'Script', target);
+    const { script } = await compileVerbose(source, options);
+    return script;
 }
+
 /**
  * 生成 MiraScript 对应的 JavaScript 代码
  */
 export function compileSync(this: void, source: ScriptInput, options?: TranspileOptions): VmScript {
-    options = getOptions(options);
+    options = normalizeTranspileOptions(options);
     if (typeof source == 'string') {
         const result = compileFast(source, options);
         if (result) return result;

package/src/compiler/options.ts

@@ -0,0 +1,16 @@
+import type { TranspileOptions } from './types.js';
+
+// 目前编译速度约 2000kB/s
+export const WORKER_MIN_LEN = typeof Worker != 'function' ? Number.MAX_VALUE : 1024;
+
+/** 补全代码生成选项。 */
+export function normalizeTranspileOptions(options: TranspileOptions | undefined): TranspileOptions {
+    options ??= {};
+    if (options.sourceMap) {
+        options.diagnostic_sourcemap = true;
+        // https://tc39.es/ecma426/#sec-terms-and-definitions-colun
+        options.diagnostic_position_encoding ??= 'Utf16';
+    }
+    options.input_mode ??= 'Script';
+    return options;
+}

package/src/compiler/verbose.ts

@@ -0,0 +1,32 @@
+import type { ScriptInput, TranspileOptions } from './types.js';
+import { createScript, type VmScript } from './create-script.js';
+import { generateBytecode } from './generate-bytecode.js';
+import { compileWorker } from './worker-manager.js';
+import { emitScript, CompileError } from './emit-script.js';
+import { normalizeTranspileOptions, WORKER_MIN_LEN } from './options.js';
+
+/**
+ * 生成 MiraScript 对应的 JavaScript 代码
+ */
+export async function compileVerbose(
+    this: void,
+    source: ScriptInput,
+    options?: TranspileOptions,
+): Promise<{ script: VmScript; bytecode: Uint8Array<ArrayBuffer>; diagnostics: Uint32Array<ArrayBuffer> }> {
+    options = normalizeTranspileOptions(options);
+    if (source.length < WORKER_MIN_LEN) {
+        const bc = await generateBytecode(source, options);
+        const script = emitScript(source, bc, options);
+        return {
+            script,
+            bytecode: bc[0]!, // Will throw if bytecode is undefined, but that should be handled by emitScript
+            diagnostics: bc[1],
+        };
+    }
+    const [bytecode, target, diagnostics] = await compileWorker(source, options);
+    if (target == null) {
+        throw new CompileError(source, diagnostics, options.fileName);
+    }
+    const script = createScript(source, options.input_mode ?? 'Script', target);
+    return { script, bytecode, diagnostics };
+}

package/src/compiler/worker.ts

@@ -12,13 +12,13 @@ export default expose(async () => {
         async compile(script: ScriptInput, options: TranspileOptions) {
             const [bytecode, errors] = await generateBytecode(script, options);
             if (bytecode == null) {
-                return WorkerResult([undefined, errors], [errors.buffer]);
+                return WorkerResult([undefined, undefined, errors], [errors.buffer]);
             }
             const sourcemaps = options.sourceMap
                 ? parseDiagnostics(script, errors, (c) => c === DiagnosticCode.SourceMap).sourcemaps
                 : [];
             const generatedCode = emit(script, bytecode, sourcemaps, options);
-            return WorkerResult([generatedCode, errors], [errors.buffer]);
+            return WorkerResult([bytecode, generatedCode, errors], [bytecode.buffer, errors.buffer]);
         },
     };
     // 预热编译器

package/src/subtle.ts

@@ -17,9 +17,11 @@ export {
     serializeRecord,
     type SerializeOptions,
 } from './helpers/serialize.js';
-export { lib } from './vm/lib/index.js';
+export { lib, type Lib, type VmLibOption } from './vm/lib/index.js';
 export * from './compiler/diagnostic.js';
+export { compileVerbose } from './compiler/verbose.js';
 export { emitScript } from './compiler/emit-script.js';
 export { createScript, wrapScript } from './compiler/create-script.js';
+export { BytecodeReader } from './compiler/bytecode/index.js';
 export { generateBytecode, generateBytecodeSync, type VmBytecodeResult } from './compiler/generate-bytecode.js';
 export { type GlobalReferenceChain, analyzeGlobalReferences } from './helpers/analyze.js';

package/src/vm/lib/index.ts

@@ -17,4 +17,13 @@ for (const [name, value] of entries(mods)) {
     VM_SHARED_CONTEXT_DESCRIPTIONS[name] = description;
 }
 
-export const lib: Readonly<typeof global & typeof mods> = Object.freeze(Object.assign(create(null), global, mods));
+/** 标准库 */
+type LibData = typeof global & typeof mods;
+/** 标准库 */
+export type Lib = {
+    readonly [key in keyof LibData]: LibData[key];
+};
+
+/** 标准库 */
+export const lib: Lib = Object.freeze(Object.assign(create(null), global, mods));
+export type { VmLibOption } from './helpers.js';