@typeberry/convert 0.1.3-af70ed0 → 0.1.3-ea24911

package/index.js

@@ -16263,10 +16263,16 @@ function registers_signExtend32To64(value) {
 
 /** Attempt to convert a number into `HostCallIndex`. */
 const host_call_handler_tryAsHostCallIndex = (v) => opaque_asOpaqueType(numbers_tryAsU32(v));
+/**
+ * Host-call exit reason.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/24a30124a501?v=0.7.2
+ */
 var host_call_handler_PvmExecution;
 (function (PvmExecution) {
     PvmExecution[PvmExecution["Halt"] = 0] = "Halt";
     PvmExecution[PvmExecution["Panic"] = 1] = "Panic";
+    PvmExecution[PvmExecution["OOG"] = 2] = "OOG";
 })(host_call_handler_PvmExecution || (host_call_handler_PvmExecution = {}));
 /** A utility function to easily trace a bunch of registers. */
 function host_call_handler_traceRegisters(...regs) {
@@ -19883,8 +19889,9 @@ class host_calls_HostCalls {
             const index = tryAsHostCallIndex(hostCallIndex);
             const hostCall = this.hostCalls.get(index);
             const gasBefore = gas.get();
-            const gasCost = typeof hostCall.gasCost === "number" ? hostCall.gasCost : hostCall.gasCost(regs);
-            const underflow = gas.sub(gasCost);
+            // NOTE: `basicGasCost(regs)` function is for compatibility reasons: pre GP 0.7.2
+            const basicGasCost = typeof hostCall.basicGasCost === "number" ? hostCall.basicGasCost : hostCall.basicGasCost(regs);
+            const underflow = gas.sub(basicGasCost);
             const pcLog = `[PC: ${pvmInstance.getPC()}]`;
             if (underflow) {
                 this.hostCalls.traceHostCall(`${pcLog} OOG`, index, hostCall, regs, gas.get());
@@ -19901,6 +19908,10 @@ class host_calls_HostCalls {
                 status = Status.PANIC;
                 return this.getReturnValue(status, pvmInstance);
             }
+            if (result === PvmExecution.OOG) {
+                status = Status.OOG;
+                return this.getReturnValue(status, pvmInstance);
+            }
             if (result === undefined) {
                 pvmInstance.runProgram();
                 status = pvmInstance.getStatus();
@@ -19959,7 +19970,7 @@ class host_calls_manager_HostCallsManager {
 }
 class NoopMissing {
     index = tryAsHostCallIndex(2 ** 32 - 1);
-    gasCost = tryAsSmallGas(0);
+    basicGasCost = tryAsSmallGas(0);
     currentServiceId = tryAsU32(0);
     tracedRegisters = [];
     async execute() {
@@ -20073,7 +20084,7 @@ function utils_clampU64ToU32(value) {
 
 class missing_Missing {
     index = tryAsHostCallIndex(2 ** 32 - 1);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     currentServiceId = CURRENT_SERVICE_ID;
     tracedRegisters = traceRegisters(7);
     execute(_gas, regs, _memory) {
@@ -23056,7 +23067,7 @@ class Assign {
     partialState;
     chainSpec;
     index = host_call_handler_tryAsHostCallIndex(15);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(IN_OUT_REG, 8);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
@@ -23134,7 +23145,7 @@ class Bless {
     partialState;
     chainSpec;
     index = host_call_handler_tryAsHostCallIndex(14);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(bless_IN_OUT_REG, 8, 9, 10, 11);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
@@ -23219,7 +23230,7 @@ class Bless {
 class gas_GasHostCall {
     currentServiceId;
     index = host_call_handler_tryAsHostCallIndex(0);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(7);
     constructor(currentServiceId) {
         this.currentServiceId = currentServiceId;
@@ -23246,7 +23257,7 @@ class Checkpoint {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(17);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters;
     gasHostCall;
     constructor(currentServiceId, partialState) {
@@ -23283,7 +23294,7 @@ class Designate {
     partialState;
     chainSpec;
     index = host_call_handler_tryAsHostCallIndex(16);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(designate_IN_OUT_REG);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
@@ -23334,7 +23345,7 @@ class Eject {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(21);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(eject_IN_OUT_REG, 8);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23396,7 +23407,7 @@ class Forget {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(24);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(forget_IN_OUT_REG, 8);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23446,7 +23457,7 @@ class New {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(18);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(new_IN_OUT_REG, 8, 9, 10, 11);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23509,7 +23520,7 @@ class Provide {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(26);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(provide_IN_OUT_REG, 8, 9);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23570,7 +23581,7 @@ class Query {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(22);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(IN_OUT_REG_1, IN_OUT_REG_2);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23636,7 +23647,7 @@ class Solicit {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(23);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(solicit_IN_OUT_REG, 8);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23684,12 +23695,12 @@ class Solicit {
 
 const transfer_IN_OUT_REG = 7; // `d`
 const AMOUNT_REG = 8; // `a`
-const ON_TRANSFER_GAS_REG = 9; // `l`
+const TRANSFER_GAS_FEE_REG = 9; // `l`
 const MEMO_START_REG = 10; // `o`
 /**
  * Transfer balance from one service account to another.
  *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/373b00373b00?v=0.6.7
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/373f00373f00?v=0.7.2
  */
 class Transfer {
     currentServiceId;
@@ -23701,38 +23712,50 @@ class Transfer {
         },
     }));
     /**
-     * `g = 10 + ω9`
-     * https://graypaper.fluffylabs.dev/#/7e6ff6a/373d00373d00?v=0.6.7
+     * `g = 10 + t`
+     *
+     * `t` has positive value, only when status of a transfer is `OK`
+     * `0` otherwise
+     *
+     * Pre0.7.2: `g = 10 + ω9`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/373f00373f00?v=0.7.2
      */
-    gasCost = (regs) => {
-        const gas = 10n + regs.get(ON_TRANSFER_GAS_REG);
-        return gas_tryAsGas(gas);
-    };
-    tracedRegisters = host_call_handler_traceRegisters(transfer_IN_OUT_REG, AMOUNT_REG, ON_TRANSFER_GAS_REG, MEMO_START_REG);
+    basicGasCost = compatibility_Compatibility.isGreaterOrEqual(compatibility_GpVersion.V0_7_2)
+        ? gas_tryAsSmallGas(10)
+        : (regs) => gas_tryAsGas(10n + regs.get(TRANSFER_GAS_FEE_REG));
+    tracedRegisters = host_call_handler_traceRegisters(transfer_IN_OUT_REG, AMOUNT_REG, TRANSFER_GAS_FEE_REG, MEMO_START_REG);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
         this.partialState = partialState;
     }
-    async execute(_gas, regs, memory) {
+    async execute(gas, regs, memory) {
         // `d`: destination
         const destination = getServiceId(regs.get(transfer_IN_OUT_REG));
         // `a`: amount
         const amount = regs.get(AMOUNT_REG);
         // `l`: gas
-        const onTransferGas = common_tryAsServiceGas(regs.get(ON_TRANSFER_GAS_REG));
+        const transferGasFee = common_tryAsServiceGas(regs.get(TRANSFER_GAS_FEE_REG));
         // `o`: transfer memo
         const memoStart = regs.get(MEMO_START_REG);
         const memo = bytes_Bytes.zero(TRANSFER_MEMO_BYTES);
         const memoryReadResult = memory.loadInto(memo.raw, memoStart);
         // page fault while reading the memory.
         if (memoryReadResult.isError) {
-            logger_logger.trace `TRANSFER(${destination}, ${amount}, ${onTransferGas}, ${memo}) <- PANIC`;
+            logger_logger.trace `TRANSFER(${destination}, ${amount}, ${transferGasFee}, ${memo}) <- PANIC`;
             return host_call_handler_PvmExecution.Panic;
         }
-        const transferResult = this.partialState.transfer(destination, amount, onTransferGas, memo);
-        logger_logger.trace `TRANSFER(${destination}, ${amount}, ${onTransferGas}, ${memo}) <- ${result_resultToString(transferResult)}`;
+        const transferResult = this.partialState.transfer(destination, amount, transferGasFee, memo);
+        logger_logger.trace `TRANSFER(${destination}, ${amount}, ${transferGasFee}, ${memo}) <- ${result_resultToString(transferResult)}`;
         // All good!
         if (transferResult.isOk) {
+            if (compatibility_Compatibility.isGreaterOrEqual(compatibility_GpVersion.V0_7_2)) {
+                // substracting value `t`
+                const underflow = gas.sub(gas_tryAsGas(transferGasFee));
+                if (underflow) {
+                    return host_call_handler_PvmExecution.OOG;
+                }
+            }
             regs.set(transfer_IN_OUT_REG, results_HostCallResult.OK);
             return;
         }
@@ -23772,7 +23795,7 @@ class Upgrade {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(19);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(upgrade_IN_OUT_REG, GAS_REG, ALLOWANCE_REG);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23815,7 +23838,7 @@ class Yield {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(25);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(yield_IN_OUT_REG);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23851,7 +23874,7 @@ class fetch_Fetch {
     currentServiceId;
     fetch;
     index = tryAsHostCallIndex(1);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(fetch_IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, fetch) {
         this.currentServiceId = currentServiceId;
@@ -24008,7 +24031,7 @@ class info_Info {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(5);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(info_IN_OUT_REG, 8, OFFSET_REG, LEN_REG);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;
@@ -24083,7 +24106,7 @@ const decoder = new TextDecoder("utf8");
 class log_LogHostCall {
     currentServiceId;
     index = tryAsHostCallIndex(100);
-    gasCost = tryAsSmallGas(0);
+    basicGasCost = tryAsSmallGas(0);
     // intentionally not tracing anything here, since the message will be printed anyway.
     tracedRegisters = traceRegisters();
     constructor(currentServiceId) {
@@ -24125,7 +24148,7 @@ class lookup_Lookup {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(2);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(lookup_IN_OUT_REG, 8, 9, 10, 11);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;
@@ -24188,7 +24211,7 @@ class read_Read {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(3);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(read_IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;
@@ -24258,7 +24281,7 @@ class write_Write {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(4);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(write_IN_OUT_REG, 8, 9, 10);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;