@cashscript/utils 0.13.0 → 0.13.2

package/dist/bitauth-script.js

@@ -48,6 +48,11 @@ const PROLOGUE_KINDS = [
     SourceTagKind.LOCKTIME_GUARD,
     SourceTagKind.PARAMETER_VALIDATION,
 ];
+// Compiler-injected epilogue checks: emitted after the function/loop body
+const EPILOGUE_KINDS = [
+    SourceTagKind.SCOPE_CLEANUP,
+    SourceTagKind.LOOP_CONDITION,
+];
 function buildInsertions(locationData, sourceLines, sourceTags) {
     const tags = (sourceTags ? parseSourceTags(sourceTags) : []);
     return tags.map((tag) => {
@@ -70,6 +75,14 @@ function deriveAnchor(tag, tags, locationData, sourceLines) {
             indent: lineIndent(sourceLines, firstBodyLine),
         };
     }
+    // Scope cleanup and loop-back condition tags always get inserted right before the scope's closing brace.
+    if (EPILOGUE_KINDS.includes(tag.kind)) {
+        const braceLine = getDisplayLine(locationData[tag.startIndex]);
+        return {
+            insertAfterLine: braceLine - 1,
+            indent: deriveIndent(locationData[tag.startIndex].location.start.line, sourceLines),
+        };
+    }
     return {
         insertAfterLine: getDisplayLine(locationData[Math.max(tag.startIndex - 1, 0)]),
         indent: deriveIndent(getDisplayLine(locationData[tag.startIndex]), sourceLines),
@@ -113,6 +126,10 @@ function tagDescription(tag, locationData, sourceLines) {
             const parameter = deriveSourceText(tag, locationData, sourceLines);
             return `>>> parameter type check${parameter ? ` (${parameter})` : ''}`;
         }
+        case SourceTagKind.SCOPE_CLEANUP:
+            return '>>> scope cleanup';
+        case SourceTagKind.LOOP_CONDITION:
+            return '>>> loop condition check';
         case SourceTagKind.FOR_UPDATE:
         default:
             return `>>> for-loop update (${deriveSourceText(tag, locationData, sourceLines)})`;

package/dist/script.js

@@ -1,7 +1,8 @@
 import { encodeDataPush, hexToBin, disassembleBytecodeBch, flattenBinArray, encodeAuthenticationInstructions, decodeAuthenticationInstructions, OpcodesBch, } from '@bitauth/libauth';
 import OptimisationsEquivFile from './cashproof-optimisations.js';
 import { optimisationReplacements } from './optimisations.js';
-import { PositionHint } from './types.js';
+import { range } from './data.js';
+import { PositionHint, SourceTagKind } from './types.js';
 export const Op = OpcodesBch;
 export function scriptToAsm(script) {
     return bytecodeToAsm(scriptToBytecode(script));
@@ -120,7 +121,24 @@ export function optimiseBytecode(script, locationData, logs, requires, sourceTag
         requires = newRequires;
         sourceTags = newSourceTags;
     }
-    return { script, locationData, logs, requires, sourceTags };
+    return { script, locationData, logs, requires, sourceTags: reconcileScopeCleanupTags(script, sourceTags) };
+}
+const SCOPE_CLEANUP_OPCODES = [Op.OP_DROP, Op.OP_NIP, Op.OP_2DROP];
+// Make sure that scope cleanup tags are only displayed if they did not merge with other tags or drift
+// due to compiler optimisations.
+function reconcileScopeCleanupTags(script, sourceTags) {
+    const otherTags = sourceTags.filter((tag) => tag.kind !== SourceTagKind.SCOPE_CLEANUP);
+    return sourceTags.filter((tag) => {
+        if (tag.kind !== SourceTagKind.SCOPE_CLEANUP)
+            return true;
+        const isOnlyCleanupOpcodes = range(tag.startIndex, tag.endIndex)
+            .every((index) => SCOPE_CLEANUP_OPCODES.includes(script[index]));
+        if (!isOnlyCleanupOpcodes)
+            return false;
+        const overlapsOtherTag = otherTags
+            .some((other) => tag.startIndex <= other.endIndex && other.startIndex <= tag.endIndex);
+        return !overlapsOtherTag;
+    });
 }
 export function optimiseBytecodeOld(script, runs = 1000) {
     const optimisations = OptimisationsEquivFile

package/dist/types.d.ts

@@ -54,7 +54,9 @@ export declare enum PositionHint {
 export declare enum SourceTagKind {
     FOR_UPDATE = "fu",
     LOCKTIME_GUARD = "lg",
-    PARAMETER_VALIDATION = "pv"
+    PARAMETER_VALIDATION = "pv",
+    SCOPE_CLEANUP = "sc",
+    LOOP_CONDITION = "lc"
 }
 export interface SourceTagEntry {
     startIndex: number;

package/dist/types.js

@@ -197,5 +197,7 @@ export var SourceTagKind;
     SourceTagKind["FOR_UPDATE"] = "fu";
     SourceTagKind["LOCKTIME_GUARD"] = "lg";
     SourceTagKind["PARAMETER_VALIDATION"] = "pv";
+    SourceTagKind["SCOPE_CLEANUP"] = "sc";
+    SourceTagKind["LOOP_CONDITION"] = "lc";
 })(SourceTagKind || (SourceTagKind = {}));
 //# sourceMappingURL=types.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cashscript/utils",
-  "version": "0.13.0",
+  "version": "0.13.2",
   "description": "CashScript utilities and types",
   "keywords": [
     "bitcoin cash",
@@ -48,5 +48,5 @@
     "typescript": "^5.9.2",
     "vitest": "^4.0.15"
   },
-  "gitHead": "a3461662016a2f3dad36431ba5a2b148bcc4dc75"
+  "gitHead": "a4f112abb0d035ecf018ebc694e2b081f25b3409"
 }