feat: TVM instructions from 2023-07 and 2024-04 upgrades in stdlib (t…

…act-lang#331)

- https://docs.ton.org/learn/tvm-instructions/tvm-upgrade-2023-07
- https://docs.ton.org/learn/tvm-instructions/fee-calculation-instructions

* feat: `send` function now returns forward fee

* feat: add `SendOnlyEstimateFee` constant

* rename: `equal_slice_bits` -> `equal_slices_bits`

CHANGELOG.md

@@ -15,6 +15,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Wider range of serialization options for integers — `uint1` through `uint256` and `int1` through `int257`: PR [#558](https://github.com/tact-lang/tact/pull/558)
 - The `deepEquals` method for the `Map` type: PR [#637](https://github.com/tact-lang/tact/pull/637)
 - `asm` bodies for module-level functions: PR [#769](https://github.com/tact-lang/tact/pull/769)
+- Corresponding stdlib functions for new TVM instructions from 2023.07 and 2024.04 upgrades: PR [#331](https://github.com/tact-lang/tact/pull/331)
 
 ### Changed
 

cspell.json

@@ -7,6 +7,7 @@
     "alnum",
     "assgn",
     "augmentedassign",
+    "basechain",
     "BBITS",
     "blockstore",
     "bounceable",
@@ -29,6 +30,7 @@
     "disasm",
     "divmod",
     "dnsresolve",
+    "DUEPAYMENT",
     "elseifnot",
     "ENDC",
     "Fift",
@@ -38,6 +40,13 @@
     "funcid",
     "funs",
     "gettest",
+    "GASCONSUMED",
+    "GETGASFEE",
+    "GETSTORAGEFEE",
+    "GETFORWARDFEE",
+    "GETGASFEESIMPLE",
+    "GETFORWARDFEESIMPLE",
+    "GETORIGINALFWDFEE",
     "HASHCU",
     "HASHEXT",
     "HASHSU",
@@ -71,6 +80,7 @@
     "mktemp",
     "multiformats",
     "MYADDR",
+    "nanotons",
     "Neovim",
     "NEWC",
     "nocheck",
@@ -103,12 +113,14 @@
     "SDSKIPFIRST",
     "SEMPTY",
     "SENDRAWMSG",
+    "SENDMSG",
     "seqno",
     "SETINDEXVARQ",
     "shiki",
     "SREFS",
     "SREMPTY",
     "Stateinit",
+    "STBR",
     "STDICT",
     "stdlib",
     "STIX",

src/generator/writers/__snapshots__/writeSerialization.spec.ts.snap

@@ -1582,7 +1582,7 @@ if (flag) {
   },
   {
     "code": {
-      "code": "return equal_slice_bits(a, b);",
+      "code": "return equal_slices_bits(a, b);",
       "kind": "generic",
     },
     "comment": null,
@@ -1596,7 +1596,7 @@ if (flag) {
   },
   {
     "code": {
-      "code": "return (null?(a)) ? (false) : (equal_slice_bits(a, b));",
+      "code": "return (null?(a)) ? (false) : (equal_slices_bits(a, b));",
       "kind": "generic",
     },
     "comment": null,
@@ -1612,7 +1612,7 @@ if (flag) {
     "code": {
       "code": "var a_is_null = null?(a);
 var b_is_null = null?(b);
-return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slice_bits(a, b) ) : ( false ) );",
+return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slices_bits(a, b) ) : ( false ) );",
       "kind": "generic",
     },
     "comment": null,
@@ -5141,7 +5141,7 @@ if (flag) {
   },
   {
     "code": {
-      "code": "return equal_slice_bits(a, b);",
+      "code": "return equal_slices_bits(a, b);",
       "kind": "generic",
     },
     "comment": null,
@@ -5155,7 +5155,7 @@ if (flag) {
   },
   {
     "code": {
-      "code": "return (null?(a)) ? (false) : (equal_slice_bits(a, b));",
+      "code": "return (null?(a)) ? (false) : (equal_slices_bits(a, b));",
       "kind": "generic",
     },
     "comment": null,
@@ -5171,7 +5171,7 @@ if (flag) {
     "code": {
       "code": "var a_is_null = null?(a);
 var b_is_null = null?(b);
-return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slice_bits(a, b) ) : ( false ) );",
+return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slices_bits(a, b) ) : ( false ) );",
       "kind": "generic",
     },
     "comment": null,
@@ -8700,7 +8700,7 @@ if (flag) {
   },
   {
     "code": {
-      "code": "return equal_slice_bits(a, b);",
+      "code": "return equal_slices_bits(a, b);",
       "kind": "generic",
     },
     "comment": null,
@@ -8714,7 +8714,7 @@ if (flag) {
   },
   {
     "code": {
-      "code": "return (null?(a)) ? (false) : (equal_slice_bits(a, b));",
+      "code": "return (null?(a)) ? (false) : (equal_slices_bits(a, b));",
       "kind": "generic",
     },
     "comment": null,
@@ -8730,7 +8730,7 @@ if (flag) {
     "code": {
       "code": "var a_is_null = null?(a);
 var b_is_null = null?(b);
-return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slice_bits(a, b) ) : ( false ) );",
+return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slices_bits(a, b) ) : ( false ) );",
       "kind": "generic",
     },
     "comment": null,

src/generator/writers/writeStdlib.ts

@@ -1366,7 +1366,7 @@ export function writeStdlib(ctx: WriterContext) {
         ctx.context("stdlib");
         ctx.body(() => {
             ctx.write(`
-                return equal_slice_bits(a, b);
+                return equal_slices_bits(a, b);
             `);
         });
     });
@@ -1379,7 +1379,7 @@ export function writeStdlib(ctx: WriterContext) {
         ctx.context("stdlib");
         ctx.body(() => {
             ctx.write(`
-                return (null?(a)) ? (false) : (equal_slice_bits(a, b));
+                return (null?(a)) ? (false) : (equal_slices_bits(a, b));
             `);
         });
     });
@@ -1392,7 +1392,7 @@ export function writeStdlib(ctx: WriterContext) {
             ctx.write(`
                 var a_is_null = null?(a);
                 var b_is_null = null?(b);
-                return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slice_bits(a, b) ) : ( false ) );
+                return ( a_is_null & b_is_null ) ? ( true ) : ( ( ( ~ a_is_null ) & ( ~ b_is_null ) ) ? ( equal_slices_bits(a, b) ) : ( false ) );
             `);
         });
     });