support stack assignments in Yul before 0.5.0 (#997)

Closes #984
NomicFoundation · Jun 2, 2024 · 84ad856 · 84ad856
1 parent cdc153d
commit 84ad856
Show file tree

Hide file tree

Showing 282 changed files with 1,125 additions and 635 deletions.
diff --git a/.changeset/moody-turkeys-share.md b/.changeset/moody-turkeys-share.md
@@ -0,0 +1,5 @@
+---
+"@nomicfoundation/slang": patch
+---
+
+Support stack assignments in Yul before `0.5.0`.
diff --git a/crates/solidity/inputs/language/src/definition.rs b/crates/solidity/inputs/language/src/definition.rs
@@ -4154,7 +4154,11 @@ codegen_language_macros::compile!(Language(
                                 EnumVariant(reference = YulBlock),
                                 EnumVariant(reference = YulFunctionDefinition),
                                 EnumVariant(reference = YulVariableDeclarationStatement),
-                                EnumVariant(reference = YulAssignmentStatement),
+                                EnumVariant(reference = YulVariableAssignmentStatement),
+                                EnumVariant(
+                                    reference = YulStackAssignmentStatement,
+                                    enabled = Till("0.5.0")
+                                ),
                                 EnumVariant(reference = YulIfStatement),
                                 EnumVariant(reference = YulForStatement),
                                 EnumVariant(reference = YulSwitchStatement),
@@ -4221,22 +4225,30 @@ codegen_language_macros::compile!(Language(
                             )
                         ),
                         Struct(
-                            name = YulAssignmentStatement,
+                            name = YulVariableAssignmentStatement,
                             fields = (
                                 names = Required(YulPaths),
                                 assignment = Required(YulAssignmentOperator),
                                 expression = Required(YulExpression)
                             )
                         ),
+                        Struct(
+                            name = YulStackAssignmentStatement,
+                            enabled = Till("0.5.0"),
+                            fields = (
+                                assignment = Required(YulAssignmentOperator),
+                                expression = Required(YulExpression)
+                            )
+                        ),
                         Enum(
                             name = YulAssignmentOperator,
                             variants = [
-                                EnumVariant(reference = YulColonAndEqual, enabled = Till("0.5.5")),
+                                EnumVariant(reference = YulColonEqual, enabled = Till("0.5.5")),
                                 EnumVariant(reference = ColonEqual)
                             ]
                         ),
                         Struct(
-                            name = YulColonAndEqual,
+                            name = YulColonEqual,
                             enabled = Till("0.5.5"),
                             fields = (colon = Required(Colon), equal = Required(Equal))
                         ),

diff --git a/crates/solidity/outputs/cargo/slang_solidity/src/generated/generated/kinds.rs b/crates/solidity/outputs/cargo/slang_solidity/src/generated/generated/kinds.rs
diff --git a/crates/solidity/outputs/cargo/slang_solidity/src/generated/generated/language.rs b/crates/solidity/outputs/cargo/slang_solidity/src/generated/generated/language.rs
diff --git a/...dity/outputs/cargo/slang_solidity/src/generated/napi_interface/generated/ast_selectors.rs b/...dity/outputs/cargo/slang_solidity/src/generated/napi_interface/generated/ast_selectors.rs
diff --git a/crates/solidity/outputs/cargo/tests/src/cst_output/generated/mod.rs b/crates/solidity/outputs/cargo/tests/src/cst_output/generated/mod.rs