@typeberry/lib 0.5.1-aff8b4f → 0.5.1-eb84786

package/packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.d.ts

@@ -0,0 +1,2 @@
+export declare const terminationInstructions: boolean[];
+//# sourceMappingURL=is-termination-instruction.d.ts.map

package/packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is-termination-instruction.d.ts","sourceRoot":"","sources":["../../../../../../packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,uBAAuB,WAiChC,CAAC"}

package/packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.js

@@ -0,0 +1,28 @@
+import { HIGHEST_INSTRUCTION_NUMBER, Instruction } from "../instruction.js";
+export const terminationInstructions = (() => {
+    const terminationInstructions = new Array(HIGHEST_INSTRUCTION_NUMBER + 1);
+    terminationInstructions.fill(false);
+    terminationInstructions[Instruction.TRAP] = true;
+    terminationInstructions[Instruction.FALLTHROUGH] = true;
+    terminationInstructions[Instruction.JUMP] = true;
+    terminationInstructions[Instruction.JUMP_IND] = true;
+    terminationInstructions[Instruction.LOAD_IMM_JUMP] = true;
+    terminationInstructions[Instruction.LOAD_IMM_JUMP_IND] = true;
+    terminationInstructions[Instruction.BRANCH_EQ] = true;
+    terminationInstructions[Instruction.BRANCH_NE] = true;
+    terminationInstructions[Instruction.BRANCH_GE_U] = true;
+    terminationInstructions[Instruction.BRANCH_GE_S] = true;
+    terminationInstructions[Instruction.BRANCH_LT_U] = true;
+    terminationInstructions[Instruction.BRANCH_LT_S] = true;
+    terminationInstructions[Instruction.BRANCH_EQ_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_NE_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_LT_U_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_LT_S_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_LE_U_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_LE_S_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_GE_U_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_GE_S_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_GT_U_IMM] = true;
+    terminationInstructions[Instruction.BRANCH_GT_S_IMM] = true;
+    return terminationInstructions;
+})();

package/packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=is-termination-instruction.test.d.ts.map

package/packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is-termination-instruction.test.d.ts","sourceRoot":"","sources":["../../../../../../packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.test.ts"],"names":[],"mappings":""}

package/packages/core/pvm-interpreter/basic-blocks/is-termination-instruction.test.js

@@ -0,0 +1,13 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { Instruction } from "../instruction.js";
+import { terminationInstructions } from "./is-termination-instruction.js";
+describe("terminationInstructions", () => {
+    const instructions = Object.entries(Instruction).filter((entry) => typeof entry[0] === "string" && typeof entry[1] === "number");
+    for (const [name, instruction] of instructions) {
+        it(`should checks if instruction ${name} = ${instruction} is correctly mapped to boolean`, () => {
+            const value = terminationInstructions[instruction];
+            assert.notEqual(null, value);
+        });
+    }
+});

package/packages/core/pvm-interpreter/bin.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=bin.d.ts.map

package/packages/core/pvm-interpreter/bin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bin.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/bin.ts"],"names":[],"mappings":""}

package/packages/core/pvm-interpreter/bin.js

@@ -0,0 +1,11 @@
+import { tryAsGas } from "#@typeberry/pvm-interface";
+import { Interpreter } from "./index.js";
+const program = new Uint8Array([
+    0, 0, 33, 51, 8, 1, 51, 9, 1, 40, 3, 0, 149, 119, 255, 81, 7, 12, 100, 138, 200, 152, 8, 100, 169, 40, 243, 100, 135,
+    51, 8, 51, 9, 1, 50, 0, 73, 147, 82, 213, 0,
+]);
+const pvm = new Interpreter();
+pvm.resetGeneric(program, 0, tryAsGas(1000));
+// biome-ignore lint/suspicious/noConsole: We do want to print that.
+console.table(pvm.dumpProgram());
+pvm.runProgram();

package/packages/core/pvm-interpreter/debugger-adapter.d.ts

@@ -0,0 +1,23 @@
+import { Status } from "#@typeberry/pvm-interface";
+import { type Memory } from "./memory/index.js";
+import { Registers } from "./registers.js";
+export declare class DebuggerAdapter {
+    private readonly pvm;
+    constructor(useSbrkGas?: boolean);
+    resetJAM(jamProgram: Uint8Array, pc: number, gas: bigint, args: Uint8Array, hasMetadata?: boolean): void;
+    resetGeneric(rawProgram: Uint8Array, flatRegisters: Uint8Array, initialGas: bigint): void;
+    reset(rawProgram: Uint8Array, pc: number, gas: bigint, maybeRegisters?: Registers, maybeMemory?: Memory): void;
+    getPageDump(pageNumber: number): null | Uint8Array;
+    setMemory(address: number, value: Uint8Array): void;
+    getExitArg(): number;
+    getStatus(): Status;
+    nextStep(): boolean;
+    nSteps(steps: number): boolean;
+    getRegisters(): Uint8Array;
+    setRegisters(registers: Uint8Array): void;
+    getProgramCounter(): number;
+    setNextProgramCounter(nextPc: number): void;
+    getGasLeft(): bigint;
+    setGasLeft(gas: bigint): void;
+}
+//# sourceMappingURL=debugger-adapter.d.ts.map

package/packages/core/pvm-interpreter/debugger-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"debugger-adapter.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/debugger-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,0BAA0B,CAAC;AAG5D,OAAO,EAAE,KAAK,MAAM,EAAoB,MAAM,mBAAmB,CAAC;AAElE,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAc;gBAEtB,UAAU,UAAQ;IAI9B,QAAQ,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,UAAQ;IAI/F,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM;IAIlF,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,MAAM;IAIvG,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU;IAmBlD,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU;IAI5C,UAAU,IAAI,MAAM;IAIpB,SAAS,IAAI,MAAM;IAInB,QAAQ,IAAI,OAAO;IAInB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAW9B,YAAY,IAAI,UAAU;IAI1B,YAAY,CAAC,SAAS,EAAE,UAAU;IAIlC,iBAAiB,IAAI,MAAM;IAI3B,qBAAqB,CAAC,MAAM,EAAE,MAAM;IAIpC,UAAU,IAAI,MAAM;IAIpB,UAAU,CAAC,GAAG,EAAE,MAAM;CAGvB"}

package/packages/core/pvm-interpreter/debugger-adapter.js

@@ -0,0 +1,76 @@
+import { Status, tryAsGas } from "#@typeberry/pvm-interface";
+import { check, safeAllocUint8Array } from "#@typeberry/utils";
+import { Interpreter } from "./interpreter.js";
+import { tryAsMemoryIndex } from "./memory/index.js";
+import { PAGE_SIZE } from "./memory/memory-consts.js";
+import { Registers } from "./registers.js";
+export class DebuggerAdapter {
+    pvm;
+    constructor(useSbrkGas = false) {
+        this.pvm = new Interpreter({ useSbrkGas });
+    }
+    resetJAM(jamProgram, pc, gas, args, hasMetadata = false) {
+        this.pvm.resetJam(jamProgram, args, pc, tryAsGas(gas), hasMetadata);
+    }
+    resetGeneric(rawProgram, flatRegisters, initialGas) {
+        this.pvm.resetGeneric(rawProgram, 0, tryAsGas(initialGas), new Registers(flatRegisters));
+    }
+    reset(rawProgram, pc, gas, maybeRegisters, maybeMemory) {
+        this.pvm.resetGeneric(rawProgram, pc, tryAsGas(gas), maybeRegisters, maybeMemory);
+    }
+    getPageDump(pageNumber) {
+        const page = this.pvm.getMemoryPage(pageNumber);
+        if (page === null) {
+            // page wasn't allocated so we return an empty page
+            return safeAllocUint8Array(PAGE_SIZE);
+        }
+        if (page.length === PAGE_SIZE) {
+            // page was allocated and has a proper size so we can simply return it
+            return page;
+        }
+        // page was allocated but it is shorter than PAGE_SIZE so we have to extend it
+        const fullPage = safeAllocUint8Array(PAGE_SIZE);
+        fullPage.set(page);
+        return fullPage;
+    }
+    setMemory(address, value) {
+        this.pvm.memory.storeFrom(tryAsMemoryIndex(address), value);
+    }
+    getExitArg() {
+        return this.pvm.getExitParam() ?? 0;
+    }
+    getStatus() {
+        return this.pvm.getStatus();
+    }
+    nextStep() {
+        return this.pvm.nextStep() === Status.OK;
+    }
+    nSteps(steps) {
+        check `${steps >>> 0 > 0} Expected a positive integer got ${steps}`;
+        for (let i = 0; i < steps; i++) {
+            const isOk = this.nextStep();
+            if (!isOk) {
+                return false;
+            }
+        }
+        return true;
+    }
+    getRegisters() {
+        return this.pvm.registers.getAllEncoded();
+    }
+    setRegisters(registers) {
+        this.pvm.registers.copyFrom(new Registers(registers));
+    }
+    getProgramCounter() {
+        return this.pvm.getPC();
+    }
+    setNextProgramCounter(nextPc) {
+        this.pvm.setNextPC(nextPc);
+    }
+    getGasLeft() {
+        return BigInt(this.pvm.gas.get());
+    }
+    setGasLeft(gas) {
+        this.pvm.gas.set(tryAsGas(gas));
+    }
+}

package/packages/core/pvm-interpreter/gas.d.ts

@@ -0,0 +1,4 @@
+import { type Gas, type IGasCounter } from "#@typeberry/pvm-interface";
+/** Create a new gas counter instance depending on the gas value. */
+export declare function gasCounter(gas: Gas): IGasCounter;
+//# sourceMappingURL=gas.d.ts.map

package/packages/core/pvm-interpreter/gas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gas.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/gas.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,GAAG,EAAE,KAAK,WAAW,EAAY,MAAM,0BAA0B,CAAC;AAEhF,oEAAoE;AACpE,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,WAAW,CAEhD"}

package/packages/core/pvm-interpreter/gas.js

@@ -0,0 +1,37 @@
+import { tryAsU64 } from "#@typeberry/numbers";
+import { tryAsGas } from "#@typeberry/pvm-interface";
+/** Create a new gas counter instance depending on the gas value. */
+export function gasCounter(gas) {
+    return new GasCounterU64(tryAsU64(gas));
+}
+class GasCounterU64 {
+    gas;
+    initialGas;
+    constructor(gas) {
+        this.gas = gas;
+        this.initialGas = tryAsGas(gas);
+    }
+    set(g) {
+        this.gas = tryAsU64(g);
+    }
+    get() {
+        return tryAsGas(this.gas);
+    }
+    sub(g) {
+        const result = this.gas - tryAsU64(g);
+        if (result >= 0n) {
+            this.gas = tryAsU64(result);
+            return false;
+        }
+        this.gas = tryAsU64(0n);
+        return true;
+    }
+    used() {
+        const gasConsumed = tryAsU64(this.initialGas) - this.gas;
+        // In we have less than zero left we assume that all gas has been consumed.
+        if (gasConsumed < 0) {
+            return this.initialGas;
+        }
+        return tryAsGas(gasConsumed);
+    }
+}

package/packages/core/pvm-interpreter/gas.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=gas.test.d.ts.map

package/packages/core/pvm-interpreter/gas.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gas.test.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/gas.test.ts"],"names":[],"mappings":""}

package/packages/core/pvm-interpreter/gas.test.js

@@ -0,0 +1,41 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { tryAsBigGas, tryAsSmallGas } from "#@typeberry/pvm-interface";
+import { gasCounter } from "./gas.js";
+describe("GasCounterU64", () => {
+    it("should return false if there is no underflow", () => {
+        const gas = gasCounter(tryAsBigGas(100));
+        const underflow = gas.sub(tryAsBigGas(50));
+        assert.strictEqual(underflow, false);
+        assert.strictEqual(gas.get(), tryAsBigGas(50));
+    });
+    it("should return true if there is underflow", () => {
+        const gas = gasCounter(tryAsBigGas(100));
+        const underflow = gas.sub(tryAsBigGas(150));
+        assert.strictEqual(underflow, true);
+        assert.strictEqual(gas.get(), tryAsBigGas(0));
+    });
+    it("should return correct gas consumed", () => {
+        const gasSubs = [tryAsSmallGas(10), tryAsSmallGas(15), tryAsSmallGas(20)];
+        const gas = gasCounter(tryAsBigGas(100));
+        // when
+        for (const g of gasSubs) {
+            gas.sub(g);
+        }
+        // then
+        assert.deepStrictEqual(gas.used(), tryAsBigGas(10 + 15 + 20));
+    });
+    it("should return cap to initial gas when consumed gas goes into negative", () => {
+        const initialGas = tryAsBigGas(100);
+        const gas = gasCounter(initialGas);
+        const gasCost = tryAsSmallGas(11);
+        const maxSteps = 10;
+        let i = 0;
+        // when
+        while (!gas.sub(gasCost) && i < maxSteps) {
+            i++;
+        }
+        // then
+        assert.deepStrictEqual(gas.used(), initialGas);
+    });
+});

package/packages/core/pvm-interpreter/index.d.ts

@@ -0,0 +1,11 @@
+export * as args from "./args-decoder/index.js";
+export * from "./basic-blocks/index.js";
+export * from "./debugger-adapter.js";
+export * from "./gas.js";
+export * from "./interpreter.js";
+export * from "./memory/index.js";
+export * from "./program.js";
+export * from "./program-decoder/index.js";
+export * from "./registers.js";
+export * as spi from "./spi-decoder/index.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/core/pvm-interpreter/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,yBAAyB,CAAC;AAChD,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,UAAU,CAAC;AACzB,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,gBAAgB,CAAC;AAC/B,OAAO,KAAK,GAAG,MAAM,wBAAwB,CAAC"}

package/packages/core/pvm-interpreter/index.js

@@ -0,0 +1,10 @@
+export * as args from "./args-decoder/index.js";
+export * from "./basic-blocks/index.js";
+export * from "./debugger-adapter.js";
+export * from "./gas.js";
+export * from "./interpreter.js";
+export * from "./memory/index.js";
+export * from "./program.js";
+export * from "./program-decoder/index.js";
+export * from "./registers.js";
+export * as spi from "./spi-decoder/index.js";

package/packages/core/pvm-interpreter/instruction-gas-map.d.ts

@@ -0,0 +1,2 @@
+export declare const instructionGasMap: (number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"SmallGas[U32]">)[];
+//# sourceMappingURL=instruction-gas-map.d.ts.map

package/packages/core/pvm-interpreter/instruction-gas-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instruction-gas-map.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/instruction-gas-map.ts"],"names":[],"mappings":"AAIA,eAAO,MAAM,iBAAiB,+HAS1B,CAAC"}

package/packages/core/pvm-interpreter/instruction-gas-map.js

@@ -0,0 +1,10 @@
+import { byteToOpCodeMap } from "./assemblify.js";
+import { HIGHEST_INSTRUCTION_NUMBER } from "./instruction.js";
+export const instructionGasMap = (() => {
+    const instructionGasMap = new Array(HIGHEST_INSTRUCTION_NUMBER + 1);
+    for (let i = 0; i < HIGHEST_INSTRUCTION_NUMBER + 1; i++) {
+        const gas = byteToOpCodeMap[i]?.gas;
+        instructionGasMap[i] = gas;
+    }
+    return instructionGasMap;
+})();

package/packages/core/pvm-interpreter/instruction-gas-map.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=instruction-gas-map.test.d.ts.map

package/packages/core/pvm-interpreter/instruction-gas-map.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instruction-gas-map.test.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/instruction-gas-map.test.ts"],"names":[],"mappings":""}

package/packages/core/pvm-interpreter/instruction-gas-map.test.js

@@ -0,0 +1,13 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { Instruction } from "./instruction.js";
+import { instructionGasMap } from "./instruction-gas-map.js";
+describe("instructionGasMap", () => {
+    const instructions = Object.entries(Instruction).filter((entry) => typeof entry[0] === "string" && typeof entry[1] === "number");
+    for (const [name, instruction] of instructions) {
+        it(`checks if instruction ${name} = ${instruction} is correctly mapped to gas value`, () => {
+            const gasValue = instructionGasMap[instruction];
+            assert.notEqual(null, gasValue);
+        });
+    }
+});

package/packages/core/pvm-interpreter/instruction-result.d.ts

@@ -0,0 +1,18 @@
+import type { Result } from "./result.js";
+export declare class InstructionResult {
+    nextPc: number;
+    status: Result | null;
+    /**
+     * A numeric exit parameter of the PVM.
+     *
+     * In case of a `status === Result.FAULT` this will be the memory address
+     * that triggered the fault.
+     * In case of a `status === Result.HOST` this will be the host call index
+     * that should be invoked.
+     *
+     * In any other circumstance the value should be `null`.
+     */
+    exitParam: number | null;
+    reset(): void;
+}
+//# sourceMappingURL=instruction-result.d.ts.map

package/packages/core/pvm-interpreter/instruction-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instruction-result.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/instruction-result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,qBAAa,iBAAiB;IACrB,MAAM,SAAK;IACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAQ;IACpC;;;;;;;;;OASG;IACI,SAAS,EAAE,MAAM,GAAG,IAAI,CAAQ;IAEvC,KAAK;CAKN"}

package/packages/core/pvm-interpreter/instruction-result.js

@@ -0,0 +1,20 @@
+export class InstructionResult {
+    nextPc = 0;
+    status = null;
+    /**
+     * A numeric exit parameter of the PVM.
+     *
+     * In case of a `status === Result.FAULT` this will be the memory address
+     * that triggered the fault.
+     * In case of a `status === Result.HOST` this will be the host call index
+     * that should be invoked.
+     *
+     * In any other circumstance the value should be `null`.
+     */
+    exitParam = null;
+    reset() {
+        this.nextPc = 0;
+        this.status = null;
+        this.exitParam = null;
+    }
+}

package/packages/core/pvm-interpreter/instruction.d.ts

@@ -0,0 +1,143 @@
+export declare enum Instruction {
+    TRAP = 0,
+    FALLTHROUGH = 1,
+    ECALLI = 10,
+    LOAD_IMM_64 = 20,
+    STORE_IMM_U8 = 30,
+    STORE_IMM_U16 = 31,
+    STORE_IMM_U32 = 32,
+    STORE_IMM_U64 = 33,
+    JUMP = 40,
+    JUMP_IND = 50,
+    LOAD_IMM = 51,
+    LOAD_U8 = 52,
+    LOAD_I8 = 53,
+    LOAD_U16 = 54,
+    LOAD_I16 = 55,
+    LOAD_U32 = 56,
+    LOAD_I32 = 57,
+    LOAD_U64 = 58,
+    STORE_U8 = 59,
+    STORE_U16 = 60,
+    STORE_U32 = 61,
+    STORE_U64 = 62,
+    STORE_IMM_IND_U8 = 70,
+    STORE_IMM_IND_U16 = 71,
+    STORE_IMM_IND_U32 = 72,
+    STORE_IMM_IND_U64 = 73,
+    LOAD_IMM_JUMP = 80,
+    BRANCH_EQ_IMM = 81,
+    BRANCH_NE_IMM = 82,
+    BRANCH_LT_U_IMM = 83,
+    BRANCH_LE_U_IMM = 84,
+    BRANCH_GE_U_IMM = 85,
+    BRANCH_GT_U_IMM = 86,
+    BRANCH_LT_S_IMM = 87,
+    BRANCH_LE_S_IMM = 88,
+    BRANCH_GE_S_IMM = 89,
+    BRANCH_GT_S_IMM = 90,
+    MOVE_REG = 100,
+    SBRK = 101,
+    COUNT_SET_BITS_64 = 102,
+    COUNT_SET_BITS_32 = 103,
+    LEADING_ZERO_BITS_64 = 104,
+    LEADING_ZERO_BITS_32 = 105,
+    TRAILING_ZERO_BITS_64 = 106,
+    TRAILING_ZERO_BITS_32 = 107,
+    SIGN_EXTEND_8 = 108,
+    SIGN_EXTEND_16 = 109,
+    ZERO_EXTEND_16 = 110,
+    REVERSE_BYTES = 111,
+    STORE_IND_U8 = 120,
+    STORE_IND_U16 = 121,
+    STORE_IND_U32 = 122,
+    STORE_IND_U64 = 123,
+    LOAD_IND_U8 = 124,
+    LOAD_IND_I8 = 125,
+    LOAD_IND_U16 = 126,
+    LOAD_IND_I16 = 127,
+    LOAD_IND_U32 = 128,
+    LOAD_IND_I32 = 129,
+    LOAD_IND_U64 = 130,
+    ADD_IMM_32 = 131,
+    AND_IMM = 132,
+    XOR_IMM = 133,
+    OR_IMM = 134,
+    MUL_IMM_32 = 135,
+    SET_LT_U_IMM = 136,
+    SET_LT_S_IMM = 137,
+    SHLO_L_IMM_32 = 138,
+    SHLO_R_IMM_32 = 139,
+    SHAR_R_IMM_32 = 140,
+    NEG_ADD_IMM_32 = 141,
+    SET_GT_U_IMM = 142,
+    SET_GT_S_IMM = 143,
+    SHLO_L_IMM_ALT_32 = 144,
+    SHLO_R_IMM_ALT_32 = 145,
+    SHAR_R_IMM_ALT_32 = 146,
+    CMOV_IZ_IMM = 147,
+    CMOV_NZ_IMM = 148,
+    ADD_IMM_64 = 149,
+    MUL_IMM_64 = 150,
+    SHLO_L_IMM_64 = 151,
+    SHLO_R_IMM_64 = 152,
+    SHAR_R_IMM_64 = 153,
+    NEG_ADD_IMM_64 = 154,
+    SHLO_L_IMM_ALT_64 = 155,
+    SHLO_R_IMM_ALT_64 = 156,
+    SHAR_R_IMM_ALT_64 = 157,
+    ROT_R_64_IMM = 158,
+    ROT_R_64_IMM_ALT = 159,
+    ROT_R_32_IMM = 160,
+    ROT_R_32_IMM_ALT = 161,
+    BRANCH_EQ = 170,
+    BRANCH_NE = 171,
+    BRANCH_LT_U = 172,
+    BRANCH_LT_S = 173,
+    BRANCH_GE_U = 174,
+    BRANCH_GE_S = 175,
+    LOAD_IMM_JUMP_IND = 180,
+    ADD_32 = 190,
+    SUB_32 = 191,
+    MUL_32 = 192,
+    DIV_U_32 = 193,
+    DIV_S_32 = 194,
+    REM_U_32 = 195,
+    REM_S_32 = 196,
+    SHLO_L_32 = 197,
+    SHLO_R_32 = 198,
+    SHAR_R_32 = 199,
+    ADD_64 = 200,
+    SUB_64 = 201,
+    MUL_64 = 202,
+    DIV_U_64 = 203,
+    DIV_S_64 = 204,
+    REM_U_64 = 205,
+    REM_S_64 = 206,
+    SHLO_L_64 = 207,
+    SHLO_R_64 = 208,
+    SHAR_R_64 = 209,
+    AND = 210,
+    XOR = 211,
+    OR = 212,
+    MUL_UPPER_S_S = 213,
+    MUL_UPPER_U_U = 214,
+    MUL_UPPER_S_U = 215,
+    SET_LT_U = 216,
+    SET_LT_S = 217,
+    CMOV_IZ = 218,
+    CMOV_NZ = 219,
+    ROT_L_64 = 220,
+    ROT_L_32 = 221,
+    ROT_R_64 = 222,
+    ROT_R_32 = 223,
+    AND_INV = 224,
+    OR_INV = 225,
+    XNOR = 226,
+    MAX = 227,
+    MAX_U = 228,
+    MIN = 229,
+    MIN_U = 230
+}
+export declare const HIGHEST_INSTRUCTION_NUMBER = Instruction.MIN_U;
+//# sourceMappingURL=instruction.d.ts.map

package/packages/core/pvm-interpreter/instruction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instruction.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interpreter/instruction.ts"],"names":[],"mappings":"AAAA,oBAAY,WAAW;IACrB,IAAI,IAAI;IACR,WAAW,IAAI;IACf,MAAM,KAAK;IACX,WAAW,KAAK;IAChB,YAAY,KAAK;IACjB,aAAa,KAAK;IAClB,aAAa,KAAK;IAClB,aAAa,KAAK;IAClB,IAAI,KAAK;IACT,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,OAAO,KAAK;IACZ,OAAO,KAAK;IACZ,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,QAAQ,KAAK;IACb,SAAS,KAAK;IACd,SAAS,KAAK;IACd,SAAS,KAAK;IACd,gBAAgB,KAAK;IACrB,iBAAiB,KAAK;IACtB,iBAAiB,KAAK;IACtB,iBAAiB,KAAK;IACtB,aAAa,KAAK;IAClB,aAAa,KAAK;IAClB,aAAa,KAAK;IAClB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,QAAQ,MAAM;IACd,IAAI,MAAM;IACV,iBAAiB,MAAM;IACvB,iBAAiB,MAAM;IACvB,oBAAoB,MAAM;IAC1B,oBAAoB,MAAM;IAC1B,qBAAqB,MAAM;IAC3B,qBAAqB,MAAM;IAC3B,aAAa,MAAM;IACnB,cAAc,MAAM;IACpB,cAAc,MAAM;IACpB,aAAa,MAAM;IACnB,YAAY,MAAM;IAClB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,WAAW,MAAM;IACjB,WAAW,MAAM;IACjB,YAAY,MAAM;IAClB,YAAY,MAAM;IAClB,YAAY,MAAM;IAClB,YAAY,MAAM;IAClB,YAAY,MAAM;IAClB,UAAU,MAAM;IAChB,OAAO,MAAM;IACb,OAAO,MAAM;IACb,MAAM,MAAM;IACZ,UAAU,MAAM;IAChB,YAAY,MAAM;IAClB,YAAY,MAAM;IAClB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,cAAc,MAAM;IACpB,YAAY,MAAM;IAClB,YAAY,MAAM;IAClB,iBAAiB,MAAM;IACvB,iBAAiB,MAAM;IACvB,iBAAiB,MAAM;IACvB,WAAW,MAAM;IACjB,WAAW,MAAM;IACjB,UAAU,MAAM;IAChB,UAAU,MAAM;IAChB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,cAAc,MAAM;IACpB,iBAAiB,MAAM;IACvB,iBAAiB,MAAM;IACvB,iBAAiB,MAAM;IACvB,YAAY,MAAM;IAClB,gBAAgB,MAAM;IACtB,YAAY,MAAM;IAClB,gBAAgB,MAAM;IACtB,SAAS,MAAM;IACf,SAAS,MAAM;IACf,WAAW,MAAM;IACjB,WAAW,MAAM;IACjB,WAAW,MAAM;IACjB,WAAW,MAAM;IACjB,iBAAiB,MAAM;IACvB,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,SAAS,MAAM;IACf,SAAS,MAAM;IACf,SAAS,MAAM;IACf,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,SAAS,MAAM;IACf,SAAS,MAAM;IACf,SAAS,MAAM;IACf,GAAG,MAAM;IACT,GAAG,MAAM;IACT,EAAE,MAAM;IACR,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,aAAa,MAAM;IACnB,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,OAAO,MAAM;IACb,OAAO,MAAM;IACb,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,OAAO,MAAM;IACb,MAAM,MAAM;IACZ,IAAI,MAAM;IACV,GAAG,MAAM;IACT,KAAK,MAAM;IACX,GAAG,MAAM;IACT,KAAK,MAAM;CACZ;AAED,eAAO,MAAM,0BAA0B,oBAAoB,CAAC"}