@typeberry/lib 0.5.1 → 0.5.2-03e1aed

package/packages/core/pvm-interpreter/ops/move-ops.test.js

@@ -0,0 +1,99 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { ImmediateDecoder } from "../args-decoder/decoders/immediate-decoder.js";
+import { Registers } from "../registers.js";
+import { bigintToUint8ArrayLE } from "../test-utils.js";
+import { MoveOps } from "./move-ops.js";
+describe("MoveOps", () => {
+    function prepareData(firstValue, secondValue) {
+        const regs = new Registers();
+        const firstRegisterIndex = 0;
+        const secondRegisterIndex = 1;
+        const resultRegisterIndex = 12;
+        regs.setU64(firstRegisterIndex, firstValue);
+        regs.setU64(secondRegisterIndex, secondValue);
+        const immediate = new ImmediateDecoder();
+        immediate.setBytes(bigintToUint8ArrayLE(secondValue));
+        const moveOps = new MoveOps(regs);
+        return { regs, moveOps, immediate, firstRegisterIndex, secondRegisterIndex, resultRegisterIndex };
+    }
+    it("moveRegister", () => {
+        const firstValue = 5n;
+        const resultValue = firstValue;
+        const { moveOps, regs, firstRegisterIndex, resultRegisterIndex } = prepareData(firstValue, 0n);
+        moveOps.moveRegister(firstRegisterIndex, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("moveRegister u64", () => {
+        const firstValue = 0x7fffffffffffffffn;
+        const resultValue = firstValue;
+        const { moveOps, regs, firstRegisterIndex, resultRegisterIndex } = prepareData(firstValue, 0n);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), 0n);
+        moveOps.moveRegister(firstRegisterIndex, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfZero (condition satisfied)", () => {
+        const firstValue = 5n;
+        const secondValue = 0n;
+        const resultValue = firstValue;
+        const { moveOps, regs, firstRegisterIndex, secondRegisterIndex, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfZero(firstRegisterIndex, secondRegisterIndex, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfZero (condition not satisfied)", () => {
+        const firstValue = 5n;
+        const secondValue = 3n;
+        const resultValue = 0n;
+        const { moveOps, regs, firstRegisterIndex, secondRegisterIndex, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfZero(firstRegisterIndex, secondRegisterIndex, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfNotZero (condition satisfied)", () => {
+        const firstValue = 5n;
+        const secondValue = 3n;
+        const resultValue = 5n;
+        const { moveOps, regs, firstRegisterIndex, secondRegisterIndex, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfNotZero(firstRegisterIndex, secondRegisterIndex, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfNotZero (condition not satisfied)", () => {
+        const firstValue = 5n;
+        const secondValue = 0n;
+        const resultValue = 0n;
+        const { moveOps, regs, firstRegisterIndex, secondRegisterIndex, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfNotZero(firstRegisterIndex, secondRegisterIndex, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfZeroImmediate (condition satisfied)", () => {
+        const firstValue = 0n;
+        const secondValue = 5n;
+        const resultValue = secondValue;
+        const { moveOps, regs, firstRegisterIndex, immediate, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfZeroImmediate(firstRegisterIndex, immediate, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfZeroImmediate (condition not satisfied)", () => {
+        const firstValue = 3n;
+        const secondValue = 5n;
+        const resultValue = 0n;
+        const { moveOps, regs, firstRegisterIndex, immediate, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfZeroImmediate(firstRegisterIndex, immediate, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfNotZeroImmediate (condition satisfied)", () => {
+        const firstValue = 3n;
+        const secondValue = 5n;
+        const resultValue = secondValue;
+        const { moveOps, regs, firstRegisterIndex, immediate, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfNotZeroImmediate(firstRegisterIndex, immediate, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+    it("cmovIfNotZeroImmediate (condition not satisfied)", () => {
+        const firstValue = 0n;
+        const secondValue = 5n;
+        const resultValue = 0n;
+        const { moveOps, regs, firstRegisterIndex, immediate, resultRegisterIndex } = prepareData(firstValue, secondValue);
+        moveOps.cmovIfNotZeroImmediate(firstRegisterIndex, immediate, resultRegisterIndex);
+        assert.strictEqual(regs.getU64(resultRegisterIndex), resultValue);
+    });
+});

package/packages/core/pvm-interpreter/ops/no-args-ops.d.ts

@@ -0,0 +1,8 @@
+import type { InstructionResult } from "../instruction-result.js";
+export declare class NoArgsOps {
+    private instructionResult;
+    constructor(instructionResult: InstructionResult);
+    trap(): void;
+    fallthrough(): void;
+}
+//# sourceMappingURL=no-args-ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"no-args-ops.d.ts","sourceRoot":"","sources":["../../../../../../packages/core/pvm-interpreter/ops/no-args-ops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGlE,qBAAa,SAAS;IACR,OAAO,CAAC,iBAAiB;gBAAjB,iBAAiB,EAAE,iBAAiB;IAExD,IAAI;IAIJ,WAAW;CAGZ"}

package/packages/core/pvm-interpreter/ops/no-args-ops.js

@@ -0,0 +1,13 @@
+import { Result } from "../result.js";
+export class NoArgsOps {
+    instructionResult;
+    constructor(instructionResult) {
+        this.instructionResult = instructionResult;
+    }
+    trap() {
+        this.instructionResult.status = Result.PANIC;
+    }
+    fallthrough() {
+        // noop
+    }
+}

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

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

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

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

package/packages/core/pvm-interpreter/ops/no-args-ops.test.js

@@ -0,0 +1,24 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { InstructionResult } from "../instruction-result.js";
+import { Result } from "../result.js";
+import { NoArgsOps } from "./no-args-ops.js";
+describe("NoArgsOps", () => {
+    describe("trap", () => {
+        it("should change status to panic", () => {
+            const instructionResult = new InstructionResult();
+            const noArgsOps = new NoArgsOps(instructionResult);
+            noArgsOps.trap();
+            assert.strictEqual(instructionResult.status, Result.PANIC);
+        });
+    });
+    describe("fallthrough", () => {
+        it("should not change anything", () => {
+            const instructionResult = new InstructionResult();
+            const expectedInstructionResult = new InstructionResult();
+            const noArgsOps = new NoArgsOps(instructionResult);
+            noArgsOps.fallthrough();
+            assert.deepStrictEqual(instructionResult, expectedInstructionResult);
+        });
+    });
+});

package/packages/core/pvm-interpreter/ops/shift-ops.d.ts

@@ -0,0 +1,25 @@
+import type { ImmediateDecoder } from "../args-decoder/decoders/immediate-decoder.js";
+import type { Registers } from "../registers.js";
+export declare class ShiftOps {
+    private regs;
+    constructor(regs: Registers);
+    shiftLogicalLeftU32(firstIndex: number, secondIndex: number, resultIndex: number): void;
+    shiftLogicalLeftU64(firstIndex: number, secondIndex: number, resultIndex: number): void;
+    shiftLogicalRightU32(firstIndex: number, secondIndex: number, resultIndex: number): void;
+    shiftLogicalRightU64(firstIndex: number, secondIndex: number, resultIndex: number): void;
+    shiftArithmeticRightU32(firstIndex: number, secondIndex: number, resultIndex: number): void;
+    shiftArithmeticRightU64(firstIndex: number, secondIndex: number, resultIndex: number): void;
+    shiftLogicalLeftImmediateU32(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalLeftImmediateU64(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalRightImmediateU32(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalRightImmediateU64(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftArithmeticRightImmediateU32(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftArithmeticRightImmediateU64(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalLeftImmediateAlternativeU32(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalLeftImmediateAlternativeU64(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalRightImmediateAlternativeU32(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftLogicalRightImmediateAlternativeU64(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftArithmeticRightImmediateAlternativeU32(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+    shiftArithmeticRightImmediateAlternativeU64(firstIndex: number, immediate: ImmediateDecoder, resultIndex: number): void;
+}
+//# sourceMappingURL=shift-ops.d.ts.map

package/packages/core/pvm-interpreter/ops/shift-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shift-ops.d.ts","sourceRoot":"","sources":["../../../../../../packages/core/pvm-interpreter/ops/shift-ops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+CAA+C,CAAC;AACtF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAIjD,qBAAa,QAAQ;IACP,OAAO,CAAC,IAAI;gBAAJ,IAAI,EAAE,SAAS;IAEnC,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;IAOhF,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;IAIhF,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;IAOjF,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;IAOjF,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;IAOpF,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;IAIpF,4BAA4B,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAIjG,4BAA4B,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAIjG,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAIlG,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAOlG,gCAAgC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAIrG,gCAAgC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAIrG,uCAAuC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAI5G,uCAAuC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAI5G,wCAAwC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAI7G,wCAAwC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAO7G,2CAA2C,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;IAIhH,2CAA2C,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM;CAGjH"}

package/packages/core/pvm-interpreter/ops/shift-ops.js

@@ -0,0 +1,62 @@
+import { MAX_SHIFT_U32, MAX_SHIFT_U64 } from "./math-consts.js";
+import { unsignedRightShiftBigInt } from "./math-utils.js";
+export class ShiftOps {
+    regs;
+    constructor(regs) {
+        this.regs = regs;
+    }
+    shiftLogicalLeftU32(firstIndex, secondIndex, resultIndex) {
+        this.regs.setU32(resultIndex, this.regs.getLowerU32(firstIndex) << (this.regs.getLowerU32(secondIndex) % MAX_SHIFT_U32));
+    }
+    shiftLogicalLeftU64(firstIndex, secondIndex, resultIndex) {
+        this.regs.setU64(resultIndex, this.regs.getU64(firstIndex) << (this.regs.getU64(secondIndex) % MAX_SHIFT_U64));
+    }
+    shiftLogicalRightU32(firstIndex, secondIndex, resultIndex) {
+        this.regs.setU32(resultIndex, this.regs.getLowerU32(firstIndex) >>> (this.regs.getLowerU32(secondIndex) % MAX_SHIFT_U32));
+    }
+    shiftLogicalRightU64(firstIndex, secondIndex, resultIndex) {
+        this.regs.setU64(resultIndex, unsignedRightShiftBigInt(this.regs.getU64(firstIndex), this.regs.getU64(secondIndex) % MAX_SHIFT_U64));
+    }
+    shiftArithmeticRightU32(firstIndex, secondIndex, resultIndex) {
+        this.regs.setI32(resultIndex, this.regs.getLowerI32(firstIndex) >> (this.regs.getLowerU32(secondIndex) % MAX_SHIFT_U32));
+    }
+    shiftArithmeticRightU64(firstIndex, secondIndex, resultIndex) {
+        this.regs.setI64(resultIndex, this.regs.getI64(firstIndex) >> (this.regs.getU64(secondIndex) % MAX_SHIFT_U64));
+    }
+    shiftLogicalLeftImmediateU32(firstIndex, immediate, resultIndex) {
+        this.regs.setU32(resultIndex, this.regs.getLowerU32(firstIndex) << (immediate.getU32() % MAX_SHIFT_U32));
+    }
+    shiftLogicalLeftImmediateU64(firstIndex, immediate, resultIndex) {
+        this.regs.setU64(resultIndex, this.regs.getU64(firstIndex) << (immediate.getU64() % MAX_SHIFT_U64));
+    }
+    shiftLogicalRightImmediateU32(firstIndex, immediate, resultIndex) {
+        this.regs.setU32(resultIndex, this.regs.getLowerU32(firstIndex) >>> (immediate.getU32() % MAX_SHIFT_U32));
+    }
+    shiftLogicalRightImmediateU64(firstIndex, immediate, resultIndex) {
+        this.regs.setU64(resultIndex, unsignedRightShiftBigInt(this.regs.getU64(firstIndex), immediate.getU64() % MAX_SHIFT_U64));
+    }
+    shiftArithmeticRightImmediateU32(firstIndex, immediate, resultIndex) {
+        this.regs.setU32(resultIndex, this.regs.getLowerI32(firstIndex) >> (immediate.getU32() % MAX_SHIFT_U32));
+    }
+    shiftArithmeticRightImmediateU64(firstIndex, immediate, resultIndex) {
+        this.regs.setU64(resultIndex, this.regs.getI64(firstIndex) >> (immediate.getU64() % MAX_SHIFT_U64));
+    }
+    shiftLogicalLeftImmediateAlternativeU32(firstIndex, immediate, resultIndex) {
+        this.regs.setU32(resultIndex, immediate.getU32() << (this.regs.getLowerU32(firstIndex) % MAX_SHIFT_U32));
+    }
+    shiftLogicalLeftImmediateAlternativeU64(firstIndex, immediate, resultIndex) {
+        this.regs.setU64(resultIndex, immediate.getU64() << (this.regs.getU64(firstIndex) % MAX_SHIFT_U64));
+    }
+    shiftLogicalRightImmediateAlternativeU32(firstIndex, immediate, resultIndex) {
+        this.regs.setU32(resultIndex, immediate.getU32() >>> (this.regs.getLowerU32(firstIndex) % MAX_SHIFT_U32));
+    }
+    shiftLogicalRightImmediateAlternativeU64(firstIndex, immediate, resultIndex) {
+        this.regs.setU64(resultIndex, unsignedRightShiftBigInt(immediate.getU64(), this.regs.getU64(firstIndex) % MAX_SHIFT_U64));
+    }
+    shiftArithmeticRightImmediateAlternativeU32(firstIndex, immediate, resultIndex) {
+        this.regs.setI32(resultIndex, immediate.getU32() >> (this.regs.getLowerU32(firstIndex) % MAX_SHIFT_U32));
+    }
+    shiftArithmeticRightImmediateAlternativeU64(firstIndex, immediate, resultIndex) {
+        this.regs.setI64(resultIndex, immediate.getI64() >> (this.regs.getU64(firstIndex) % MAX_SHIFT_U64));
+    }
+}

package/packages/core/pvm-interpreter/ops/shift-ops.test.d.ts

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

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

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