fix: support for SDBEGINS and SDBEGINSQ ops, now we correctly decompi…

…le wallet v5 Fixes #19
tact-lang · Jan 17, 2025 · cb6c86f · cb6c86f
1 parent 3948087
commit cb6c86f
Show file tree

Hide file tree

Showing 6 changed files with 392 additions and 11 deletions.
diff --git a/reference/opcodes.yaml b/reference/opcodes.yaml
@@ -276,8 +276,8 @@ opcodes:
   SDSUBSTR:
   SDBEGINSX:
   SDBEGINSXQ:
-  SDBEGINS:
-  SDBEGINSQ:
+  SDBEGINS: ["int"]
+  SDBEGINSQ: ["int"]
   SCUTFIRST:
   SSKIPFIRST:
   SCUTLAST:

diff --git a/src/codepage/opcodes.gen.ts b/src/codepage/opcodes.gen.ts
@@ -75,6 +75,8 @@ export type OpCodeWithArgs =
     | { code: 'PLDSLICE', args: [number] }
     | { code: 'LDSLICEQ', args: [number] }
     | { code: 'PLDSLICEQ', args: [number] }
+    | { code: 'SDBEGINS', args: [number] }
+    | { code: 'SDBEGINSQ', args: [number] }
     | { code: 'PLDREFIDX', args: [number] }
     | { code: 'CALLXARGS', args: [number, number] }
     | { code: 'JMPXARGS', args: [number] }
@@ -309,8 +311,6 @@ export type OpCodeNoArgs =
     | { code: 'SDSUBSTR' }
     | { code: 'SDBEGINSX' }
     | { code: 'SDBEGINSXQ' }
-    | { code: 'SDBEGINS' }
-    | { code: 'SDBEGINSQ' }
     | { code: 'SCUTFIRST' }
     | { code: 'SSKIPFIRST' }
     | { code: 'SCUTLAST' }
@@ -682,4 +682,4 @@ export type OpCodeNoArgs =
     | { code: 'CHASHIX' }
     | { code: 'CDEPTHIX' };
 
-export type OpCode = OpCodeWithArgs | OpCodeNoArgs;
+export type OpCode = OpCodeWithArgs | OpCodeNoArgs;
diff --git a/src/codepage/opcodes.ts b/src/codepage/opcodes.ts
@@ -623,10 +623,17 @@ CP0Auto.insertHex('d723', 16, { code: 'SDSKIPLAST' });
 CP0Auto.insertHex('d724', 16, { code: 'SDSUBSTR' });
 // 14099712 (DUMMY)
 CP0Auto.insertHex('d726', 16, { code: 'SDBEGINSX' });
-CP0Auto.insertHex('d727', 16, { code: 'SDBEGINSXQ' });
-CP0Auto.insertHex('d728', 13, (slice) => {
-    let args = slice.loadUint(8);
-    return { code: 'SDBEGINS', args: [args] };
+CP0Auto.insertHex('d72C', 16, (slice) => {
+    let len = slice.loadUint(8);
+    return { code: 'SDBEGINS', args: [len] };
+});
+CP0Auto.insertHex('D728', 16, (slice) => {
+    let len = slice.loadUint(8);
+    return { code: 'SDBEGINS', args: [len] };
+});
+CP0Auto.insertHex('d72E', 16, (slice) => {
+    let len = slice.loadUint(8);
+    return { code: 'SDBEGINSQ', args: [len] };
 });
 CP0Auto.insertHex('d730', 16, { code: 'SCUTFIRST' });
 CP0Auto.insertHex('d731', 16, { code: 'SSKIPFIRST' });
@@ -1273,4 +1280,4 @@ function skipSubslice(slice: Slice, bits: number, refs?: number) {
     for (let i = 0; i < (refs || 0); i++) {
         slice.loadRef();
     }
-}
+}