Add rules for (deprecated) Yul labels

crates/solidity/inputs/language/bindings/rules.msgb

@@ -1264,6 +1264,17 @@ attribute symbol_reference = symbol  => type = "push_symbol", symbol = symbol, i
   edge @body.lexical_scope -> @init.defs
 }
 
+;;; (Deprecated) Label statements
+
+@block [YulBlock [YulStatements [YulStatement @label [YulLabel @name label: [YulIdentifier]]]]] {
+  node def
+  attr (def) node_definition = @name
+  attr (def) definiens_node = @label
+
+  ; Labels are hoisted to the beginning of the block
+  edge @block.lexical_scope -> def
+}
+
 ;;; Expressions
 
 @expr [YulExpression] {

crates/solidity/testing/snapshots/bindings_assertions/yul/labels.sol

@@ -0,0 +1,24 @@
+contract Test {
+    function test() public {
+        //   ^def:dummy
+        assembly {
+            let n := calldataload(4)
+            let a := 1
+            let b := a
+        loop:
+        //<def:1 (< 0.5.0)
+            jumpi(loopend, eq(n, 0))
+            //    ^ref:2 (< 0.5.0)
+            //    ^ref:! (>= 0.5.0)
+            a add swap1
+            n := sub(n, 1)
+            jump(loop)
+            //   ^ref:1 (< 0.5.0)
+            //   ^ref:! (>= 0.5.0)
+        loopend:
+        //<def:2 (< 0.5.0)
+            mstore(0, a)
+            return(0, 0x20)
+        }
+    }
+}