refactor(codegen): optimize store_slice function (#3213)

i582 · web-flow · commit 35002e38af2b · 2025-05-22T13:13:18.000+04:00
diff --git a/dev-docs/CHANGELOG.md b/dev-docs/CHANGELOG.md
@@ -11,6 +11,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - [fix] Disallow self-inheritance for contracts and traits: PR [#3094](https://github.com/tact-lang/tact/pull/3094)
 - [fix] Added fixed-bytes support to bounced message size calculations: PR [#3129](https://github.com/tact-lang/tact/pull/3129)
+- Compiler now generates more efficient code for serialization: PR [#3213](https://github.com/tact-lang/tact/pull/3213)
 
 ### Docs
 
diff --git a/src/benchmarks/escrow/results_code_size.json b/src/benchmarks/escrow/results_code_size.json
@@ -79,6 +79,14 @@
         "cells": "20",
         "bits": "11575"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "size": {
+        "cells": "20",
+        "bits": "11327"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/escrow/results_gas.json b/src/benchmarks/escrow/results_gas.json
@@ -229,6 +229,16 @@
         "approveTon": "6738",
         "cancelTon": "4639"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "gas": {
+        "fundingTon": "4303",
+        "changeCode": "4394",
+        "approveTon": "6738",
+        "cancelTon": "4639"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/jetton/results_code_size.json b/src/benchmarks/jetton/results_code_size.json
@@ -139,6 +139,16 @@
         "wallet cells": "16",
         "wallet bits": "8195"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "size": {
+        "minter cells": "27",
+        "minter bits": "14225",
+        "wallet cells": "14",
+        "wallet bits": "7884"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/jetton/results_gas.json b/src/benchmarks/jetton/results_gas.json
@@ -359,6 +359,15 @@
         "burn": "11812",
         "discovery": "6161"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "gas": {
+        "transfer": "14859",
+        "burn": "11728",
+        "discovery": "6135"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/nft/results_code_size.json b/src/benchmarks/nft/results_code_size.json
@@ -139,6 +139,16 @@
         "item cells": "10",
         "item bits": "5625"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "size": {
+        "collection cells": "38",
+        "collection bits": "20444",
+        "item cells": "10",
+        "item bits": "5609"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/nft/results_gas.json b/src/benchmarks/nft/results_gas.json
@@ -129,6 +129,16 @@
         "deploy nft": "10683",
         "batch deploy nft": "663906"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "gas": {
+        "transfer": "7307",
+        "get static data": "4697",
+        "deploy nft": "10661",
+        "batch deploy nft": "664054"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/notcoin/results_code_size.json b/src/benchmarks/notcoin/results_code_size.json
@@ -79,6 +79,16 @@
         "wallet cells": "14",
         "wallet bits": "8068"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "size": {
+        "minter cells": "28",
+        "minter bits": "15764",
+        "wallet cells": "13",
+        "wallet bits": "7844"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/notcoin/results_gas.json b/src/benchmarks/notcoin/results_gas.json
@@ -62,6 +62,15 @@
         "burn": "11919",
         "discovery": "5870"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "gas": {
+        "transfer": "15759",
+        "burn": "12011",
+        "discovery": "5716"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/sbt/results_code_size.json b/src/benchmarks/sbt/results_code_size.json
@@ -55,6 +55,14 @@
         "item cells": "17",
         "item bits": "9905"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "size": {
+        "item cells": "17",
+        "item bits": "9801"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/sbt/results_gas.json b/src/benchmarks/sbt/results_gas.json
@@ -90,6 +90,19 @@
         "revoke": "3940",
         "take excess": "5689"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "gas": {
+        "deploy": "4220",
+        "request owner": "5014",
+        "prove ownership": "5202",
+        "get static data": "4826",
+        "destroy": "6309",
+        "revoke": "3944",
+        "take excess": "5689"
+      }
     }
   ]
 }
diff --git a/src/benchmarks/wallet-v4/results_gas.json b/src/benchmarks/wallet-v4/results_gas.json
@@ -98,6 +98,15 @@
         "addPlugin": "7287",
         "pluginTransfer": "3743"
       }
+    },
+    {
+      "label": "1.6.10 with store_slice optimization",
+      "pr": "https://github.com/tact-lang/tact/pull/3213",
+      "gas": {
+        "externalTransfer": "4416",
+        "addPlugin": "7271",
+        "pluginTransfer": "3727"
+      }
     }
   ]
 }
diff --git a/src/pipeline/__snapshots__/packaging.spec.ts.snap b/src/pipeline/__snapshots__/packaging.spec.ts.snap
diff --git a/src/stdlib/stdlib.ts b/src/stdlib/stdlib.ts
diff --git a/src/stdlib/stdlib/std/stdlib.fc b/src/stdlib/stdlib/std/stdlib.fc
diff --git a/src/test/e2e-emulated/debug/__snapshots__/dump.spec.ts.snap b/src/test/e2e-emulated/debug/__snapshots__/dump.spec.ts.snap

Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,14 @@`
`79`	`79`	`"cells": "20",`
`80`	`80`	`"bits": "11575"`
`81`	`81`	`}`
	`82`	`+ },`
	`83`	`+ {`
	`84`	`+ "label": "1.6.10 with store_slice optimization",`
	`85`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`86`	`+ "size": {`
	`87`	`+ "cells": "20",`
	`88`	`+ "bits": "11327"`
	`89`	`+ }`
`82`	`90`	`}`
`83`	`91`	`]`
`84`	`92`	`}`
Original file line number	Diff line number	Diff line change
`@@ -229,6 +229,16 @@`
`229`	`229`	`"approveTon": "6738",`
`230`	`230`	`"cancelTon": "4639"`
`231`	`231`	`}`
	`232`	`+ },`
	`233`	`+ {`
	`234`	`+ "label": "1.6.10 with store_slice optimization",`
	`235`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`236`	`+ "gas": {`
	`237`	`+ "fundingTon": "4303",`
	`238`	`+ "changeCode": "4394",`
	`239`	`+ "approveTon": "6738",`
	`240`	`+ "cancelTon": "4639"`
	`241`	`+ }`
`232`	`242`	`}`
`233`	`243`	`]`
`234`	`244`	`}`
Original file line number	Diff line number	Diff line change
`@@ -139,6 +139,16 @@`
`139`	`139`	`"wallet cells": "16",`
`140`	`140`	`"wallet bits": "8195"`
`141`	`141`	`}`
	`142`	`+ },`
	`143`	`+ {`
	`144`	`+ "label": "1.6.10 with store_slice optimization",`
	`145`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`146`	`+ "size": {`
	`147`	`+ "minter cells": "27",`
	`148`	`+ "minter bits": "14225",`
	`149`	`+ "wallet cells": "14",`
	`150`	`+ "wallet bits": "7884"`
	`151`	`+ }`
`142`	`152`	`}`
`143`	`153`	`]`
`144`	`154`	`}`
Original file line number	Diff line number	Diff line change
`@@ -359,6 +359,15 @@`
`359`	`359`	`"burn": "11812",`
`360`	`360`	`"discovery": "6161"`
`361`	`361`	`}`
	`362`	`+ },`
	`363`	`+ {`
	`364`	`+ "label": "1.6.10 with store_slice optimization",`
	`365`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`366`	`+ "gas": {`
	`367`	`+ "transfer": "14859",`
	`368`	`+ "burn": "11728",`
	`369`	`+ "discovery": "6135"`
	`370`	`+ }`
`362`	`371`	`}`
`363`	`372`	`]`
`364`	`373`	`}`
Original file line number	Diff line number	Diff line change
`@@ -129,6 +129,16 @@`
`129`	`129`	`"deploy nft": "10683",`
`130`	`130`	`"batch deploy nft": "663906"`
`131`	`131`	`}`
	`132`	`+ },`
	`133`	`+ {`
	`134`	`+ "label": "1.6.10 with store_slice optimization",`
	`135`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`136`	`+ "gas": {`
	`137`	`+ "transfer": "7307",`
	`138`	`+ "get static data": "4697",`
	`139`	`+ "deploy nft": "10661",`
	`140`	`+ "batch deploy nft": "664054"`
	`141`	`+ }`
`132`	`142`	`}`
`133`	`143`	`]`
`134`	`144`	`}`
Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,16 @@`
`79`	`79`	`"wallet cells": "14",`
`80`	`80`	`"wallet bits": "8068"`
`81`	`81`	`}`
	`82`	`+ },`
	`83`	`+ {`
	`84`	`+ "label": "1.6.10 with store_slice optimization",`
	`85`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`86`	`+ "size": {`
	`87`	`+ "minter cells": "28",`
	`88`	`+ "minter bits": "15764",`
	`89`	`+ "wallet cells": "13",`
	`90`	`+ "wallet bits": "7844"`
	`91`	`+ }`
`82`	`92`	`}`
`83`	`93`	`]`
`84`	`94`	`}`
Original file line number	Diff line number	Diff line change
`@@ -62,6 +62,15 @@`
`62`	`62`	`"burn": "11919",`
`63`	`63`	`"discovery": "5870"`
`64`	`64`	`}`
	`65`	`+ },`
	`66`	`+ {`
	`67`	`+ "label": "1.6.10 with store_slice optimization",`
	`68`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`69`	`+ "gas": {`
	`70`	`+ "transfer": "15759",`
	`71`	`+ "burn": "12011",`
	`72`	`+ "discovery": "5716"`
	`73`	`+ }`
`65`	`74`	`}`
`66`	`75`	`]`
`67`	`76`	`}`
Original file line number	Diff line number	Diff line change
`@@ -55,6 +55,14 @@`
`55`	`55`	`"item cells": "17",`
`56`	`56`	`"item bits": "9905"`
`57`	`57`	`}`
	`58`	`+ },`
	`59`	`+ {`
	`60`	`+ "label": "1.6.10 with store_slice optimization",`
	`61`	`+ "pr": "https://github.com/tact-lang/tact/pull/3213",`
	`62`	`+ "size": {`
	`63`	`+ "item cells": "17",`
	`64`	`+ "item bits": "9801"`
	`65`	`+ }`
`58`	`66`	`}`
`59`	`67`	`]`
`60`	`68`	`}`