eof: Add tests

Author: rodiazet

test/libyul/yulSyntaxTests/eof/auxdataloadn_in_legacy.yul

@@ -11,5 +11,5 @@ object "a" {
 // EVMVersion: >=prague
 // bytecodeFormat: legacy
 // ----
-// DeclarationError 4619: (42-54): Function "auxdataloadn" not found.
-// TypeError 3950: (42-57): Expected expression to evaluate to one value, but got 0 values instead.
+// DeclarationError 7223: (42-54): Builtin function "auxdataloadn" is only available in EOF.
+// TypeError 3950: (42-57): Expected expression to evaluate to one value, but got 0 values instead.

test/libyul/yulSyntaxTests/eof/eof_identifiers_in_legacy.yul

@@ -0,0 +1,29 @@
+{
+    auxdataloadn(0)
+    dataloadn(0)
+    eofcreate("name", 0, 0, 0, 0)
+    returncontract("name", 0, 0)
+    rjump()
+    rjumpi()
+    callf(0)
+    jumpf(0)
+    retf()
+    extcall(0, 1, 2, 3)
+    extstaticcall(0, 1, 2)
+    extdelegatecall(0, 1, 2)
+}
+// ====
+// bytecodeFormat: legacy
+// ----
+// DeclarationError 7223: (6-18): Builtin function "auxdataloadn" is only available in EOF.
+// DeclarationError 4619: (26-35): Function "dataloadn" not found.
+// DeclarationError 7223: (43-52): Builtin function "eofcreate" is only available in EOF.
+// DeclarationError 4619: (77-91): Function "returncontract" not found.
+// DeclarationError 4619: (110-115): Function "rjump" not found.
+// DeclarationError 4619: (122-128): Function "rjumpi" not found.
+// DeclarationError 4619: (135-140): Function "callf" not found.
+// DeclarationError 4619: (148-153): Function "jumpf" not found.
+// DeclarationError 4619: (161-165): Function "retf" not found.
+// TypeError 4328: (172-179): The "extcall" instruction is only available in EOF.
+// TypeError 4328: (196-209): The "extstaticcall" instruction is only available in EOF.
+// TypeError 4328: (223-238): The "extdelegatecall" instruction is only available in EOF.

test/libyul/yulSyntaxTests/eof/eof_identifiers_not_defined_in_legacy.yul

@@ -0,0 +1,16 @@
+{
+    function auxdataloadn() {}
+    function dataloadn() {}
+    function eofcreate() {}
+    function returncontract() {}
+    function rjump() {}
+    function rjumpi() {}
+    function callf() {}
+    function jumpf() {}
+    function retf() {}
+    function extcall() {}
+    function extstaticcall() {}
+    function extdelegatecall() {}
+}
+// ====
+// bytecodeFormat: legacy

test/libyul/yulSyntaxTests/eof/eof_identifiers_not_reserved_in_legacy.yul

@@ -0,0 +1,17 @@
+{
+    function auxdataloadn() {}
+    function eofcreate() {}
+    function returncontract() {}
+    function extcall() {}
+    function extdelegatecall() {}
+    function extstaticcall() {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// ParserError 5568: (15-27): Cannot use builtin function name "auxdataloadn" as identifier name.
+// ParserError 5568: (46-55): Cannot use builtin function name "eofcreate" as identifier name.
+// ParserError 5568: (74-88): Cannot use builtin function name "returncontract" as identifier name.
+// ParserError 5568: (107-114): Cannot use builtin function name "extcall" as identifier name.
+// ParserError 5568: (133-148): Cannot use builtin function name "extdelegatecall" as identifier name.
+// ParserError 5568: (167-180): Cannot use builtin function name "extstaticcall" as identifier name.

test/libyul/yulSyntaxTests/eof/eof_names_reserved_in_eof.yul

@@ -0,0 +1,17 @@
+{
+    function dataloadn() {}
+    function rjump() {}
+    function rjumpi() {}
+    function callf() {}
+    function jumpf() {}
+    function retf() {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// DeclarationError 5017: (6-29): The identifier "dataloadn" is reserved and can not be used.
+// DeclarationError 5017: (34-53): The identifier "rjump" is reserved and can not be used.
+// DeclarationError 5017: (58-78): The identifier "rjumpi" is reserved and can not be used.
+// DeclarationError 5017: (83-102): The identifier "callf" is reserved and can not be used.
+// DeclarationError 5017: (107-126): The identifier "jumpf" is reserved and can not be used.
+// DeclarationError 5017: (131-149): The identifier "retf" is reserved and can not be used.