eof: Add unit tests in yulSyntaxTests and objectCompiler

Author: rodiazet

test/libyul/objectCompiler/eof/extcall.yul

@@ -0,0 +1,52 @@
+object "a" {
+    code {
+        sstore(0, extcall(address(), 0, 0, 10))
+        sstore(1, extdelegatecall(address(), 0, 0))
+        sstore(2, extstaticcall(address(), 0, 0))
+    }
+}
+
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// Assembly:
+//     /* "source":81:83   */
+//   0x0a
+//     /* "source":78:79   */
+//   0x00
+//     /* "source":64:73   */
+//   dup1
+//   address
+//     /* "source":56:84   */
+//   extcall
+//     /* "source":53:54   */
+//   0x00
+//     /* "source":46:85   */
+//   sstore
+//     /* "source":138:139   */
+//   0x00
+//     /* "source":124:133   */
+//   dup1
+//   address
+//     /* "source":108:140   */
+//   extdelegatecall
+//     /* "source":105:106   */
+//   0x01
+//     /* "source":98:141   */
+//   sstore
+//     /* "source":192:193   */
+//   0x00
+//     /* "source":178:187   */
+//   dup1
+//   address
+//     /* "source":164:194   */
+//   extstaticcall
+//     /* "source":161:162   */
+//   0x02
+//     /* "source":154:195   */
+//   sstore
+//     /* "source":22:211   */
+//   stop
+// Bytecode: ef000101000402000100170400000000800004600a5f8030f85f555f8030f96001555f8030fb60025500
+// Opcodes: 0xEF STOP ADD ADD STOP DIV MUL STOP ADD STOP OR DIV STOP STOP STOP STOP DUP1 STOP DIV PUSH1 0xA PUSH0 DUP1 ADDRESS EXTCALL PUSH0 SSTORE PUSH0 DUP1 ADDRESS EXTDELEGATECALL PUSH1 0x1 SSTORE PUSH0 DUP1 ADDRESS EXTSTATICCALL PUSH1 0x2 SSTORE STOP
+// SourceMappings: 81:2:0:-:0;78:1;64:9;;56:28;53:1;46:39;138:1;124:9;;108:32;105:1;98:43;192:1;178:9;;164:30;161:1;154:41;22:189

test/libyul/yulSyntaxTests/eof/eof_identifiers_in_legacy.yul

@@ -0,0 +1,10 @@
+object "a" {
+    code {
+        function extcall() {}
+        function extstaticcall() {}
+        function extdelegatecall() {}
+    }
+}
+
+// ====
+// bytecodeFormat: legacy

test/libyul/yulSyntaxTests/eof/extcall_function_in_eof.yul

@@ -0,0 +1,11 @@
+object "a" {
+    code {
+        function extcall() {}
+    }
+}
+
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// ParserError 5568: (41-48): Cannot use builtin function name "extcall" as identifier name.
+// ParserError 8143: (41-48): Expected keyword "data" or "object" or "}".

test/libyul/yulSyntaxTests/eof/extcalls.yul

@@ -0,0 +1,11 @@
+object "a" {
+    code {
+        pop(extcall(address(), 0, 0, 0))
+        pop(extdelegatecall(address(), 0, 0))
+        pop(extstaticcall(address(), 0, 0))
+    }
+}
+
+// ====
+// bytecodeFormat: >=EOFv1
+// ----

test/libyul/yulSyntaxTests/eof/extcalls_invalid_in_legacy.yul

@@ -0,0 +1,17 @@
+object "a" {
+    code {
+        pop(extcall(address(), 0, 0, 0))
+        pop(extdelegatecall(address(), 0, 0))
+        pop(extstaticcall(address(), 0, 0))
+    }
+}
+
+// ====
+// bytecodeFormat: legacy
+// ----
+// TypeError 4328: (36-43): The "extcall" instruction is only available on EOF.
+// TypeError 3950: (36-63): Expected expression to evaluate to one value, but got 0 values instead.
+// TypeError 4328: (77-92): The "extdelegatecall" instruction is only available on EOF.
+// TypeError 3950: (77-109): Expected expression to evaluate to one value, but got 0 values instead.
+// TypeError 4328: (123-136): The "extstaticcall" instruction is only available on EOF.
+// TypeError 3950: (123-153): Expected expression to evaluate to one value, but got 0 values instead.

test/libyul/yulSyntaxTests/eof/extdelegatecall_function_in_eof.yul

@@ -0,0 +1,11 @@
+object "a" {
+    code {
+        function extdelegatecall() {}
+    }
+}
+
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// ParserError 5568: (41-56): Cannot use builtin function name "extdelegatecall" as identifier name.
+// ParserError 8143: (41-56): Expected keyword "data" or "object" or "}".

test/libyul/yulSyntaxTests/eof/extstaticcall_function_in_eof.yul

@@ -0,0 +1,11 @@
+object "a" {
+    code {
+        function extstaticcall() {}
+    }
+}
+
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// ParserError 5568: (41-54): Cannot use builtin function name "extstaticcall" as identifier name.
+// ParserError 8143: (41-54): Expected keyword "data" or "object" or "}".