support Yul label statements before 0.5.0 (#786)

NomicFoundation · Feb 9, 2024 · 0bfa6b7 · 0bfa6b7
1 parent 37d281c
commit 0bfa6b7
Show file tree

Hide file tree

Showing 14 changed files with 262 additions and 126 deletions.
diff --git a/.changeset/tall-impalas-look.md b/.changeset/tall-impalas-look.md
@@ -0,0 +1,5 @@
+---
+"@nomicfoundation/slang": patch
+---
+
+support Yul label statements before `0.5.0`
diff --git a/crates/solidity/inputs/language/src/definition.rs b/crates/solidity/inputs/language/src/definition.rs
@@ -3932,6 +3932,7 @@ codegen_language_macros::compile!(Language(
                                 EnumVariant(reference = YulLeaveStatement, enabled = From("0.6.0")),
                                 EnumVariant(reference = YulBreakStatement),
                                 EnumVariant(reference = YulContinueStatement),
+                                EnumVariant(reference = YulLabel, enabled = Till("0.5.0")),
                                 EnumVariant(reference = YulExpression)
                             ]
                         ),
@@ -4005,19 +4006,6 @@ codegen_language_macros::compile!(Language(
                                 body = Required(YulBlock)
                             )
                         ),
-                        Struct(
-                            name = YulLeaveStatement,
-                            enabled = From("0.6.0"),
-                            fields = (leave_keyword = Required(YulLeaveKeyword))
-                        ),
-                        Struct(
-                            name = YulBreakStatement,
-                            fields = (break_keyword = Required(YulBreakKeyword))
-                        ),
-                        Struct(
-                            name = YulContinueStatement,
-                            fields = (continue_keyword = Required(YulContinueKeyword))
-                        ),
                         Struct(
                             name = YulForStatement,
                             fields = (
@@ -4058,6 +4046,24 @@ codegen_language_macros::compile!(Language(
                                 value = Required(YulLiteral),
                                 body = Required(YulBlock)
                             )
+                        ),
+                        Struct(
+                            name = YulLeaveStatement,
+                            enabled = From("0.6.0"),
+                            fields = (leave_keyword = Required(YulLeaveKeyword))
+                        ),
+                        Struct(
+                            name = YulBreakStatement,
+                            fields = (break_keyword = Required(YulBreakKeyword))
+                        ),
+                        Struct(
+                            name = YulContinueStatement,
+                            fields = (continue_keyword = Required(YulContinueKeyword))
+                        ),
+                        Struct(
+                            name = YulLabel,
+                            enabled = Till("0.5.0"),
+                            fields = (label = Required(YulIdentifier), colon = Required(Colon))
                         )
                     ]
                 ),

diff --git a/crates/solidity/outputs/cargo/crate/src/generated/kinds.rs b/crates/solidity/outputs/cargo/crate/src/generated/kinds.rs
diff --git a/crates/solidity/outputs/cargo/crate/src/generated/language.rs b/crates/solidity/outputs/cargo/crate/src/generated/language.rs
diff --git a/crates/solidity/outputs/cargo/crate/src/generated/napi_interface/ast_selectors.rs b/crates/solidity/outputs/cargo/crate/src/generated/napi_interface/ast_selectors.rs
diff --git a/crates/solidity/outputs/cargo/tests/src/cst_output/generated/YulLabel.rs b/crates/solidity/outputs/cargo/tests/src/cst_output/generated/YulLabel.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