@typeberry/lib 0.5.1 → 0.5.2-03e1aed

package/packages/core/pvm-interface/pvm.d.ts

@@ -0,0 +1,24 @@
+import type { U32 } from "#@typeberry/numbers";
+import type { Gas, IGasCounter } from "./gas.js";
+import type { IMemory } from "./memory.js";
+import type { IRegisters } from "./registers.js";
+import type { Status } from "./status.js";
+export interface IPvmInterpreter {
+    /** Manipulate gas. */
+    readonly gas: IGasCounter;
+    /** Manipulate registers. */
+    readonly registers: IRegisters;
+    /** Manipulate memory. */
+    readonly memory: IMemory;
+    /** Prepare SPI program to be executed. */
+    resetJam(program: Uint8Array, args: Uint8Array, pc: number, gas: Gas): void;
+    /** Execute loaded program. */
+    runProgram(): void;
+    /** Get current Status. */
+    getStatus(): Status;
+    /** Get current Program Counter. */
+    getPC(): number;
+    /** Get exit args. Needed in case of HOST or FAULT. */
+    getExitParam(): U32 | null;
+}
+//# sourceMappingURL=pvm.d.ts.map

package/packages/core/pvm-interface/pvm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pvm.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interface/pvm.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,WAAW,eAAe;IAC9B,sBAAsB;IACtB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAE1B,4BAA4B;IAC5B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAE/B,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IAE5E,8BAA8B;IAC9B,UAAU,IAAI,IAAI,CAAC;IAEnB,0BAA0B;IAC1B,SAAS,IAAI,MAAM,CAAC;IAEpB,mCAAmC;IACnC,KAAK,IAAI,MAAM,CAAC;IAEhB,sDAAsD;IACtD,YAAY,IAAI,GAAG,GAAG,IAAI,CAAC;CAC5B"}

package/packages/core/pvm-interface/pvm.js

@@ -0,0 +1 @@
+export {};

package/packages/core/pvm-interface/registers.d.ts

@@ -0,0 +1,18 @@
+export declare const NO_OF_REGISTERS = 13;
+export declare const REGISTER_BYTE_SIZE = 8;
+/** Allow to set and get all registers encoded into little-endian bytes. */
+export interface IRegisters {
+    /**
+     * Get all registers encoded into little-endian bytes.
+     *
+     * NOTE: Total length of bytes must be NO_OF_REGISTERS * REGISTER_BYTE_SIZE.
+     */
+    getAllEncoded(): Uint8Array;
+    /**
+     * Set all registers from little-endian encoded bytes.
+     *
+     * NOTE: Total length of bytes must be NO_OF_REGISTERS * REGISTER_BYTE_SIZE.
+     */
+    setAllEncoded(bytes: Uint8Array): void;
+}
+//# sourceMappingURL=registers.d.ts.map

package/packages/core/pvm-interface/registers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registers.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interface/registers.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,eAAe,KAAK,CAAC;AAClC,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,aAAa,IAAI,UAAU,CAAC;IAC5B;;;;OAIG;IACH,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;CACxC"}

package/packages/core/pvm-interface/registers.js

@@ -0,0 +1,2 @@
+export const NO_OF_REGISTERS = 13;
+export const REGISTER_BYTE_SIZE = 8;

package/packages/core/pvm-interface/status.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Result codes for the PVM execution.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43002e4300?v=0.7.2
+ */
+export declare enum Status {
+    /** Continue */
+    OK = 255,
+    /** Finished */
+    HALT = 0,
+    /** Panic */
+    PANIC = 1,
+    /** Page-fault */
+    FAULT = 2,
+    /** Host-call */
+    HOST = 3,
+    /** Out of gas */
+    OOG = 4
+}
+//# sourceMappingURL=status.d.ts.map

package/packages/core/pvm-interface/status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interface/status.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,oBAAY,MAAM;IAChB,eAAe;IACf,EAAE,MAAM;IACR,eAAe;IACf,IAAI,IAAI;IACR,YAAY;IACZ,KAAK,IAAI;IACT,iBAAiB;IACjB,KAAK,IAAI;IACT,gBAAgB;IAChB,IAAI,IAAI;IACR,iBAAiB;IACjB,GAAG,IAAI;CACR"}

package/packages/core/pvm-interface/status.js

@@ -0,0 +1,20 @@
+/**
+ * Result codes for the PVM execution.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43002e4300?v=0.7.2
+ */
+export var Status;
+(function (Status) {
+    /** Continue */
+    Status[Status["OK"] = 255] = "OK";
+    /** Finished */
+    Status[Status["HALT"] = 0] = "HALT";
+    /** Panic */
+    Status[Status["PANIC"] = 1] = "PANIC";
+    /** Page-fault */
+    Status[Status["FAULT"] = 2] = "FAULT";
+    /** Host-call */
+    Status[Status["HOST"] = 3] = "HOST";
+    /** Out of gas */
+    Status[Status["OOG"] = 4] = "OOG";
+})(Status || (Status = {}));

package/packages/core/pvm-interpreter/args-decoder/args-decoder.d.ts

@@ -0,0 +1,123 @@
+import { Mask } from "../program-decoder/mask.js";
+import { ArgumentType } from "./argument-type.js";
+import type { ExtendedWitdthImmediateDecoder } from "./decoders/extended-with-immediate-decoder.js";
+import { ImmediateDecoder } from "./decoders/immediate-decoder.js";
+export type EmptyArgs = {
+    type: ArgumentType.NO_ARGUMENTS;
+    noOfBytesToSkip: number;
+};
+export type OneImmediateArgs = {
+    type: ArgumentType.ONE_IMMEDIATE;
+    noOfBytesToSkip: number;
+    /** V_X */
+    immediateDecoder: ImmediateDecoder;
+};
+export type ThreeRegistersArgs = {
+    type: ArgumentType.THREE_REGISTERS;
+    noOfBytesToSkip: number;
+    /** W_A */
+    firstRegisterIndex: number;
+    /** W_B */
+    secondRegisterIndex: number;
+    /** W_D */
+    thirdRegisterIndex: number;
+};
+export type TwoRegistersArgs = {
+    type: ArgumentType.TWO_REGISTERS;
+    noOfBytesToSkip: number;
+    /** W_A */
+    firstRegisterIndex: number;
+    /** W_D */
+    secondRegisterIndex: number;
+};
+export type TwoRegistersOneImmediateArgs = {
+    type: ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
+    noOfBytesToSkip: number;
+    /** W_A */
+    firstRegisterIndex: number;
+    /** W_B */
+    secondRegisterIndex: number;
+    /** V_X */
+    immediateDecoder: ImmediateDecoder;
+};
+export type OneRegisterOneImmediateArgs = {
+    type: ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
+    noOfBytesToSkip: number;
+    /** W_A */
+    registerIndex: number;
+    /** V_X */
+    immediateDecoder: ImmediateDecoder;
+};
+export type OneRegisterOneExtendedWidthImmediateArgs = {
+    type: ArgumentType.ONE_REGISTER_ONE_EXTENDED_WIDTH_IMMEDIATE;
+    noOfBytesToSkip: number;
+    /** W_A */
+    registerIndex: number;
+    /** V_X */
+    immediateDecoder: ExtendedWitdthImmediateDecoder;
+};
+export type TwoRegistersTwoImmediatesArgs = {
+    type: ArgumentType.TWO_REGISTERS_TWO_IMMEDIATES;
+    noOfBytesToSkip: number;
+    /** W_A */
+    firstRegisterIndex: number;
+    /** W_B */
+    secondRegisterIndex: number;
+    /** V_X */
+    firstImmediateDecoder: ImmediateDecoder;
+    /** V_Y */
+    secondImmediateDecoder: ImmediateDecoder;
+};
+export type TwoImmediatesArgs = {
+    type: ArgumentType.TWO_IMMEDIATES;
+    noOfBytesToSkip: number;
+    /** V_X */
+    firstImmediateDecoder: ImmediateDecoder;
+    /** V_Y */
+    secondImmediateDecoder: ImmediateDecoder;
+};
+export type TwoRegistersOneOffsetArgs = {
+    type: ArgumentType.TWO_REGISTERS_ONE_OFFSET;
+    noOfBytesToSkip: number;
+    /** W_A */
+    firstRegisterIndex: number;
+    /** W_B */
+    secondRegisterIndex: number;
+    nextPc: number;
+};
+export type OneRegisterOneImmediateOneOffsetArgs = {
+    type: ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
+    noOfBytesToSkip: number;
+    /** W_A */
+    registerIndex: number;
+    /** V_X */
+    immediateDecoder: ImmediateDecoder;
+    /** V_Y */
+    nextPc: number;
+};
+export type OneRegisterTwoImmediatesArgs = {
+    type: ArgumentType.ONE_REGISTER_TWO_IMMEDIATES;
+    noOfBytesToSkip: number;
+    /** W_A */
+    registerIndex: number;
+    /** V_X */
+    firstImmediateDecoder: ImmediateDecoder;
+    /** V_Y */
+    secondImmediateDecoder: ImmediateDecoder;
+};
+export type OneOffsetArgs = {
+    type: ArgumentType.ONE_OFFSET;
+    noOfBytesToSkip: number;
+    /** V_X */
+    nextPc: number;
+};
+export type Args = EmptyArgs | OneImmediateArgs | TwoRegistersArgs | ThreeRegistersArgs | TwoRegistersOneImmediateArgs | TwoRegistersTwoImmediatesArgs | OneRegisterOneImmediateOneOffsetArgs | TwoRegistersOneOffsetArgs | OneRegisterOneImmediateArgs | OneOffsetArgs | TwoImmediatesArgs | OneRegisterTwoImmediatesArgs | OneRegisterOneExtendedWidthImmediateArgs;
+export declare class ArgsDecoder {
+    private nibblesDecoder;
+    private offsetDecoder;
+    private code;
+    private mask;
+    reset(code: Uint8Array, mask: Mask): void;
+    fillArgs<T extends Args>(pc: number, result: T): void;
+}
+//# sourceMappingURL=args-decoder.d.ts.map

package/packages/core/pvm-interpreter/args-decoder/args-decoder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"args-decoder.d.ts","sourceRoot":"","sources":["../../../../../../packages/core/pvm-interpreter/args-decoder/args-decoder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,+CAA+C,CAAC;AACpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAKnE,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,YAAY,CAAC,aAAa,CAAC;IACjC,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,gBAAgB,EAAE,gBAAgB,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,YAAY,CAAC,eAAe,CAAC;IACnC,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU;IACV,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU;IACV,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,YAAY,CAAC,aAAa,CAAC;IACjC,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU;IACV,mBAAmB,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,IAAI,EAAE,YAAY,CAAC,2BAA2B,CAAC;IAC/C,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU;IACV,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU;IACV,gBAAgB,EAAE,gBAAgB,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,IAAI,EAAE,YAAY,CAAC,0BAA0B,CAAC;IAC9C,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU;IACV,gBAAgB,EAAE,gBAAgB,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,wCAAwC,GAAG;IACrD,IAAI,EAAE,YAAY,CAAC,yCAAyC,CAAC;IAC7D,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU;IACV,gBAAgB,EAAE,8BAA8B,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,IAAI,EAAE,YAAY,CAAC,4BAA4B,CAAC;IAChD,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU;IACV,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU;IACV,qBAAqB,EAAE,gBAAgB,CAAC;IACxC,UAAU;IACV,sBAAsB,EAAE,gBAAgB,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,YAAY,CAAC,cAAc,CAAC;IAClC,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,qBAAqB,EAAE,gBAAgB,CAAC;IACxC,UAAU;IACV,sBAAsB,EAAE,gBAAgB,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,IAAI,EAAE,YAAY,CAAC,wBAAwB,CAAC;IAC5C,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU;IACV,mBAAmB,EAAE,MAAM,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,IAAI,EAAE,YAAY,CAAC,qCAAqC,CAAC;IACzD,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU;IACV,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,UAAU;IACV,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,IAAI,EAAE,YAAY,CAAC,2BAA2B,CAAC;IAC/C,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU;IACV,qBAAqB,EAAE,gBAAgB,CAAC;IACxC,UAAU;IACV,sBAAsB,EAAE,gBAAgB,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,YAAY,CAAC,UAAU,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU;IACV,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,gBAAgB,GAChB,gBAAgB,GAChB,kBAAkB,GAClB,4BAA4B,GAC5B,6BAA6B,GAC7B,oCAAoC,GACpC,yBAAyB,GACzB,2BAA2B,GAC3B,aAAa,GACb,iBAAiB,GACjB,4BAA4B,GAC5B,wCAAwC,CAAC;AAE7C,qBAAa,WAAW;IACtB,OAAO,CAAC,cAAc,CAAwB;IAC9C,OAAO,CAAC,aAAa,CAA0B;IAC/C,OAAO,CAAC,IAAI,CAAgC;IAC5C,OAAO,CAAC,IAAI,CAAsB;IAElC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI;IAKlC,QAAQ,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI;CA4LtD"}

package/packages/core/pvm-interpreter/args-decoder/args-decoder.js

@@ -0,0 +1,165 @@
+import { Mask } from "../program-decoder/mask.js";
+import { ArgumentType } from "./argument-type.js";
+import { ImmediateDecoder } from "./decoders/immediate-decoder.js";
+import { NibblesDecoder } from "./decoders/nibbles-decoder.js";
+const IMMEDIATE_AND_OFFSET_MAX_LENGTH = 4;
+export class ArgsDecoder {
+    nibblesDecoder = new NibblesDecoder();
+    offsetDecoder = new ImmediateDecoder();
+    code = new Uint8Array();
+    mask = Mask.empty();
+    reset(code, mask) {
+        this.code = code;
+        this.mask = mask;
+    }
+    fillArgs(pc, result) {
+        const nextInstructionDistance = 1 + this.mask.getNoOfBytesToNextInstruction(pc + 1);
+        result.noOfBytesToSkip = nextInstructionDistance;
+        switch (result.type) {
+            case ArgumentType.NO_ARGUMENTS:
+                break;
+            case ArgumentType.ONE_IMMEDIATE: {
+                const immediateLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, nextInstructionDistance - 1);
+                const argsStartIndex = pc + 1;
+                result.immediateDecoder.setBytes(this.code.subarray(argsStartIndex, argsStartIndex + immediateLength));
+                break;
+            }
+            case ArgumentType.THREE_REGISTERS: {
+                const firstByte = this.code[pc + 1];
+                const secondByte = this.code[pc + 2];
+                this.nibblesDecoder.setByte(firstByte);
+                result.firstRegisterIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                result.secondRegisterIndex = this.nibblesDecoder.getHighNibbleAsRegisterIndex();
+                this.nibblesDecoder.setByte(secondByte);
+                result.thirdRegisterIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                break;
+            }
+            case ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.firstRegisterIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                result.secondRegisterIndex = this.nibblesDecoder.getHighNibbleAsRegisterIndex();
+                const immediateLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 2));
+                const immediateStartIndex = pc + 2;
+                const immediateEndIndex = immediateStartIndex + immediateLength;
+                result.immediateDecoder.setBytes(this.code.subarray(immediateStartIndex, immediateEndIndex));
+                break;
+            }
+            case ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.registerIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                const immediateLength = this.nibblesDecoder.getHighNibbleAsLength();
+                const immediateStartIndex = pc + 2;
+                const immediateEndIndex = immediateStartIndex + immediateLength;
+                result.immediateDecoder.setBytes(this.code.subarray(immediateStartIndex, immediateEndIndex));
+                const offsetLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 2 - immediateLength));
+                const offsetStartIndex = pc + 2 + immediateLength;
+                const offsetEndIndex = offsetStartIndex + offsetLength;
+                this.offsetDecoder.setBytes(this.code.subarray(offsetStartIndex, offsetEndIndex));
+                result.nextPc = pc + this.offsetDecoder.getSigned();
+                break;
+            }
+            case ArgumentType.TWO_REGISTERS_ONE_OFFSET: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.firstRegisterIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                result.secondRegisterIndex = this.nibblesDecoder.getHighNibbleAsRegisterIndex();
+                const offsetLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 2));
+                const offsetStartIndex = pc + 2;
+                const offsetEndIndex = offsetStartIndex + offsetLength;
+                this.offsetDecoder.setBytes(this.code.subarray(offsetStartIndex, offsetEndIndex));
+                result.nextPc = pc + this.offsetDecoder.getSigned();
+                break;
+            }
+            case ArgumentType.TWO_REGISTERS: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.firstRegisterIndex = this.nibblesDecoder.getHighNibbleAsRegisterIndex();
+                result.secondRegisterIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                break;
+            }
+            case ArgumentType.ONE_OFFSET: {
+                const offsetLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, nextInstructionDistance - 1);
+                const offsetStartIndex = pc + 1;
+                const offsetEndIndex = offsetStartIndex + offsetLength;
+                const offsetBytes = this.code.subarray(offsetStartIndex, offsetEndIndex);
+                this.offsetDecoder.setBytes(offsetBytes);
+                const offsetValue = this.offsetDecoder.getSigned();
+                result.nextPc = pc + offsetValue;
+                break;
+            }
+            case ArgumentType.ONE_REGISTER_ONE_IMMEDIATE: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.registerIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                const immediateLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 2));
+                const immediateStartIndex = pc + 2;
+                const immediateEndIndex = immediateStartIndex + immediateLength;
+                const immediateBytes = this.code.subarray(immediateStartIndex, immediateEndIndex);
+                result.immediateDecoder.setBytes(immediateBytes);
+                break;
+            }
+            case ArgumentType.TWO_IMMEDIATES: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                const firstImmediateLength = this.nibblesDecoder.getLowNibbleAsLength();
+                const firstImmediateStartIndex = pc + 2;
+                const firstImmediateEndIndex = firstImmediateStartIndex + firstImmediateLength;
+                const firstImmediateBytes = this.code.subarray(firstImmediateStartIndex, firstImmediateEndIndex);
+                result.firstImmediateDecoder.setBytes(firstImmediateBytes);
+                const secondImmediateLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 2 - firstImmediateLength));
+                const secondImmediateStartIndex = firstImmediateEndIndex;
+                const secondImmediateEndIndex = secondImmediateStartIndex + secondImmediateLength;
+                const secondImmediateBytes = this.code.subarray(secondImmediateStartIndex, secondImmediateEndIndex);
+                result.secondImmediateDecoder.setBytes(secondImmediateBytes);
+                break;
+            }
+            case ArgumentType.ONE_REGISTER_TWO_IMMEDIATES: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.registerIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                const firstImmediateLength = this.nibblesDecoder.getHighNibbleAsLength();
+                const firstImmediateStartIndex = pc + 2;
+                const firstImmediateEndIndex = firstImmediateStartIndex + firstImmediateLength;
+                const firstImmediateBytes = this.code.subarray(firstImmediateStartIndex, firstImmediateEndIndex);
+                result.firstImmediateDecoder.setBytes(firstImmediateBytes);
+                const secondImmediateLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 2 - firstImmediateLength));
+                const secondImmediateStartIndex = firstImmediateEndIndex;
+                const secondImmediateEndIndex = secondImmediateStartIndex + secondImmediateLength;
+                const secondImmediateBytes = this.code.subarray(secondImmediateStartIndex, secondImmediateEndIndex);
+                result.secondImmediateDecoder.setBytes(secondImmediateBytes);
+                break;
+            }
+            case ArgumentType.TWO_REGISTERS_TWO_IMMEDIATES: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.firstRegisterIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                result.secondRegisterIndex = this.nibblesDecoder.getHighNibbleAsRegisterIndex();
+                const secondByte = this.code[pc + 2];
+                this.nibblesDecoder.setByte(secondByte);
+                const firstImmediateLength = this.nibblesDecoder.getLowNibbleAsLength();
+                const firstImmediateStartIndex = pc + 3;
+                const firstImmediateEndIndex = firstImmediateStartIndex + firstImmediateLength;
+                const firstImmediateBytes = this.code.subarray(firstImmediateStartIndex, firstImmediateEndIndex);
+                result.firstImmediateDecoder.setBytes(firstImmediateBytes);
+                const secondImmediateLength = Math.min(IMMEDIATE_AND_OFFSET_MAX_LENGTH, Math.max(0, nextInstructionDistance - 3 - firstImmediateLength));
+                const secondImmediateStartIndex = firstImmediateEndIndex;
+                const secondImmediateEndIndex = secondImmediateStartIndex + secondImmediateLength;
+                const secondImmediateBytes = this.code.subarray(secondImmediateStartIndex, secondImmediateEndIndex);
+                result.secondImmediateDecoder.setBytes(secondImmediateBytes);
+                break;
+            }
+            case ArgumentType.ONE_REGISTER_ONE_EXTENDED_WIDTH_IMMEDIATE: {
+                const firstByte = this.code[pc + 1];
+                this.nibblesDecoder.setByte(firstByte);
+                result.registerIndex = this.nibblesDecoder.getLowNibbleAsRegisterIndex();
+                const immediateStartIndex = pc + 2;
+                const immediateEndIndex = immediateStartIndex + 8;
+                const immediateBytes = this.code.subarray(immediateStartIndex, immediateEndIndex);
+                result.immediateDecoder.setBytes(immediateBytes);
+                break;
+            }
+        }
+    }
+}

package/packages/core/pvm-interpreter/args-decoder/args-decoder.test.d.ts

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

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

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