v2r1 gas opt 1537 gas -> 1511 gas

Author: cryshado

Makefile

@@ -9,4 +9,4 @@ print:
 	@echo '"code.fif" include 2 boc+>B B>boc ."code hash:" cr hashu X. cr' | fift | grep -v 'ok'
 
 test: 
-	fift pw-test.fif
+	fift pw-test.fif

README.md

@@ -1,15 +1,15 @@
-## ton-preprocessed-wallet-v2
+## ton-preprocessed-wallet-v2r1
 
 **code boc**
 
 ```text
-B5EE9C7241010101003D000076FF00DDD40120F90001D0D33FD30FD74CED44D0D3FFD70B0F20A4830FA90822C8CBFFCB0FC9ED5444301046BAF2A1F823BEF2A2F910F2A3F800ED552E766412
+B5EE9C7241010101003C000074FF00DDD40120F90001D0D33FD30FD74CED44D0D3FFD70B0F20A4A9380F22C8CBFFCB0FC9ED5444301046BAF2A1F823BEF2A2F910F2A3F800ED55D91C357F
 ```
 
 **code hash**
 
 ```text
-45EBBCE9B5D235886CB6BFE1C3AD93B708DE058244892365C9EE0DFE439CB7B5
+49B91C4133CAFFC163CF36B87572A73EC918C251FD7CE4F424D699F0CC5D6781
 ```
 
 **TL-B schemes**

debot/README.md

@@ -16,10 +16,10 @@
 
 **code boc:**
 ```text
-B5EE9C72410222010001E2000114FF00F4A413F4BCF2C80B0102016202030202CC040502012018190201200607020120121302012008090201200C0D0001480201200A0B00291C00E4A00624A00438B232C15633C5807E80B2DA2000151E3232C0C073C59C3E80A00201200E0F0201201011003B083408B3CC4875D26821026F258C1FD6328033261C0C80B2800073C5B8A00043081BACE61FD400F280163C01254C1C16328038885BACE4C07C01251C0CB28038B26000211C1C1C323280328004FD003D0032803260001B208403B0F21B7232C7C4B2C1F3200201201415014BD2821F80544023878058A7803107C80093A646581096503E5FFE4E8780181491836EF897802C200011502C8CB3FCB0FCCC980201201617000D321633C5B33260000F007232FFF2C3F2600009BC761F80640201201A1B001FB821605C8CBFF14CBFFC9D04134F00C80201201C1D0201201E1F0011B6F75A1A7FFAE161F00117B2DEA2005C3C02FC01BE4020200113B04AF6CF3C02483E4020210076FF00DDD40120F90001D0D33FD30FD74CED44D0D3FFD70B0F20A4830FA90822C8CBFFCB0FC9ED5444301046BAF2A1F823BEF2A2F910F2A3F800ED55006CC8C9216F8870935301B98E2553306F816F27506574C8CB0212CA07CBFFC9D05502F0025AF005F00703C8CC13CF13C902A4E810235F0373100FB0
+B5EE9C72410222010001E1000114FF00F4A413F4BCF2C80B0102016202030202CC040502012018190201200607020120121302012008090201200C0D0001480201200A0B00291C00E4A00624A00438B232C15633C5807E80B2DA2000151E3232C0C073C59C3E80A00201200E0F0201201011003B083408B3CC4875D26821026F258C1FD6328033261C0C80B2800073C5B8A00043081BACE61FD400F280163C01254C1C16328038885BACE4C07C01251C0CB28038B26000211C1C1C323280328004FD003D0032803260001B208403B0F21B7232C7C4B2C1F3200201201415014BD2821F80544023878058A7803107C80093A646581096503E5FFE4E8780181491836EF897802C200011502C8CB3FCB0FCCC980201201617000D321633C5B33260000F007232FFF2C3F2600009BC761F80640201201A1B001FB821605C8CBFF14CBFFC9D04134F00C80201201C1D0201201E1F0011B6F75A1A7FFAE161F00117B2DEA2005C3C02FC01BE4020200113B04AF6CF3C02483E4020210074FF00DDD40120F90001D0D33FD30FD74CED44D0D3FFD70B0F20A4A9380F22C8CBFFCB0FC9ED5444301046BAF2A1F823BEF2A2F910F2A3F800ED55006CC8C9216F8870935301B98E2553306F816F27506574C8CB0212CA07CBFFC9D05502F0025AF005F00703C8CC13CF13C902A4E810235F03CC12BAAA
 ```
 
 **code hash:**
 ```text
-38470C0FC1CDA6CD552D0CE05FA330B30243B64933170A161A6880A85DA21A8B
+96B83C3DE293BAAC50D795CB0049A9C304E3B1F53A29012F0E45117ACCDB68BF
 ```

debot/main.fc

@@ -32,7 +32,7 @@ forall X -> (X) idxvar_t(tuple, int) asm "INDEXVAR";
 forall M, E, O, W, C, A, T -> ( M, E, O, W, C, A, T )
 untuple7([ M, E, O, W, C, A, T ] t) asm "7 UNTUPLE";
 
-cell wallet_code() asm "124 word ../code.fif| include PUSHREF";
+cell wallet_code() asm "124 word ../pw-code.fif| include PUSHREF";
 
 slice utils::build_addrstd(int wc, int address) inline {
     builder addr = begin_cell()

pw-code.fif

@@ -25,7 +25,7 @@
     SWAP CTOS 64 LDU 16 LDU PLDREF          // sign hash valid_until msg_seqno actions
     c4 PUSH CTOS                            // sign hash valid_until msg_seqno actions c4s
     256 LDU 16 PLDU                         // sign hash valid_until msg_seqno actions key seqno
-    DUP INC 16 PUSHPOW2 MOD s2 PUSH         // sign hash valid_until msg_seqno actions key seqno new_seqno key
+    DUP INC 16 MODPOW2# s2 PUSH             // sign hash valid_until msg_seqno actions key seqno new_seqno key
     NEWC 256 STU 16 STU ENDC c4 POP         // sign hash valid_until msg_seqno actions key seqno
     s4 s3 s0 XCHG3 s4 s6 XCHG               // actions hash sign key valid_until msg_seqno seqno
     EQUAL 33 THROWIFNOT                     // actions hash sign key valid_until

pw-test.fif

@@ -55,7 +55,7 @@ balance null pair    // balance_remaining
   priv-key <b "t" $, b> 0 60 build-msg =: body
   @' vm-flags @' storage @' body balance run-ext-msg 
 
-  1537 = not abort"error gas usage"
+  1519 = not abort"error gas usage"
   hashu <b "t" $, b> hashu = not abort"invalid c5"
   hashu 1 pub-key build-storage hashu = not abort"invalid c4"
   0= not abort"unexpected exit code (expected - 0)"