Tests for Yul names clashing with builtins and reserved identifiers

Author: cameel

test/libsolidity/syntaxTests/inlineAssembly/clash_with_non_reserved_pure_yul_builtin.sol

@@ -0,0 +1,10 @@
+contract C {
+    function f() public pure {
+        // NOTE: memoryguard is a builtin but only in pure Yul, not inline assembly.
+        // NOTE: memoryguard is not a reserved identifier.
+        assembly { function memoryguard() {} }
+        assembly { function f(memoryguard) {} }
+        assembly { function f() -> memoryguard {} }
+        assembly { let memoryguard }
+    }
+}

test/libsolidity/syntaxTests/inlineAssembly/clash_with_reserved_builtin.sol

@@ -0,0 +1,12 @@
+contract C {
+    function f() public view {
+        assembly {
+            // NOTE: All EVM instruction names are reserved identifiers in Yul.
+            // NOTE: We do provide builtins corresponding to these instructions.
+            function add(mstore) -> sstore {}
+            let coinbase
+        }
+    }
+}
+// ----
+// ParserError 5568: (245-248): Cannot use builtin function name "add" as identifier name.

test/libsolidity/syntaxTests/inlineAssembly/clash_with_reserved_non_builtin.sol

@@ -0,0 +1,15 @@
+contract C {
+    function f() public pure {
+        assembly {
+            // NOTE: All EVM instruction names are reserved identifiers in Yul.
+            // NOTE: We don't provide builtins corresponding to these instructions.
+            function dup1(dup2) -> dup3 {}
+            let dup4
+        }
+    }
+}
+// ----
+// DeclarationError 5017: (239-269): The identifier "dup1" is reserved and can not be used.
+// DeclarationError 5017: (253-257): The identifier "dup2" is reserved and can not be used.
+// DeclarationError 5017: (262-266): The identifier "dup3" is reserved and can not be used.
+// DeclarationError 5017: (286-290): The identifier "dup4" is reserved and can not be used.

test/libsolidity/syntaxTests/inlineAssembly/clash_with_reserved_pure_yul_builtin.sol

@@ -0,0 +1,15 @@
+contract C {
+    function f() public view {
+        assembly {
+            // NOTE: These are builtins but only in pure Yul, not inline assembly.
+            // NOTE: Names of these builtins are also reserved identifiers.
+            function loadimmutable(setimmutable) -> datasize {}
+            let dataoffset
+        }
+    }
+}
+// ----
+// DeclarationError 5017: (234-285): The identifier "loadimmutable" is reserved and can not be used.
+// DeclarationError 5017: (257-269): The identifier "setimmutable" is reserved and can not be used.
+// DeclarationError 5017: (274-282): The identifier "datasize" is reserved and can not be used.
+// DeclarationError 5017: (302-312): The identifier "dataoffset" is reserved and can not be used.

test/libyul/yulSyntaxTests/invalid/builtin_name_as_type.yul

@@ -0,0 +1,8 @@
+{
+    let x: datacopy
+    x := true: loadimmutable
+
+    function f(y: linkersymbol) {}
+}
+// ----
+// ParserError 5568: (13-21): Cannot use builtin function name "datacopy" as identifier name.

test/libyul/yulSyntaxTests/invalid/clash_with_non_reserved_pure_yul_builtin.yul

@@ -0,0 +1,8 @@
+{
+    { function memoryguard() {} }
+    { function f(memoryguard) {} }
+    { function f() -> memoryguard {} }
+    { let memoryguard }
+}
+// ----
+// ParserError 5568: (17-28): Cannot use builtin function name "memoryguard" as identifier name.

test/libyul/yulSyntaxTests/invalid/clash_with_reserved_builtin.yul

@@ -0,0 +1,8 @@
+{
+    // NOTE: All EVM instruction names are reserved identifiers in Yul.
+    // NOTE: We do provide builtins corresponding to these instructions.
+    function add(mstore) -> sstore {}
+    let coinbase
+}
+// ----
+// ParserError 5568: (160-163): Cannot use builtin function name "add" as identifier name.

test/libyul/yulSyntaxTests/invalid/clash_with_reserved_non_builtin.yul

@@ -0,0 +1,11 @@
+{
+    // NOTE: All EVM instruction names are reserved identifiers in Yul.
+    // NOTE: We don't provide builtins corresponding to these instructions.
+    function dup1(dup2) -> dup3 {}
+    let dup4
+}
+// ----
+// DeclarationError 5017: (154-184): The identifier "dup1" is reserved and can not be used.
+// DeclarationError 5017: (168-172): The identifier "dup2" is reserved and can not be used.
+// DeclarationError 5017: (177-181): The identifier "dup3" is reserved and can not be used.
+// DeclarationError 5017: (193-197): The identifier "dup4" is reserved and can not be used.

test/libyul/yulSyntaxTests/invalid/clash_with_reserved_pure_yul_builtin.yul

@@ -0,0 +1,8 @@
+{
+    // NOTE: These are builtins but only in pure Yul, not inline assembly.
+    // NOTE: Names of these builtins are also reserved identifiers.
+    function loadimmutable(setimmutable) -> datasize {}
+    let dataoffset
+}
+// ----
+// ParserError 5568: (158-171): Cannot use builtin function name "loadimmutable" as identifier name.

test/libyul/yulSyntaxTests/invalid/reserved_identifier_as_type.yul

@@ -0,0 +1,10 @@
+{
+    let x: jump
+    x := true: dup12
+
+    function f(y: jumpi) {}
+}
+// ----
+// ParserError 5473: (10-17): Types are not supported in untyped Yul.
+// ParserError 5473: (27-38): Types are not supported in untyped Yul.
+// ParserError 5473: (55-63): Types are not supported in untyped Yul.