Test ethdebug output when requested in standard json under EOF

Author: clonker

test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible_eof/input.json

@@ -0,0 +1,31 @@
+{
+  "language": "Solidity",
+  "sources": {
+    "a.sol": {
+      "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+    },
+    "b.sol": {
+      "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+    }
+  },
+  "settings": {
+    "eofVersion": 1,
+    "evmVersion": "osaka",
+    "viaIR": true,
+    "debug": {
+      "debugInfo": [
+        "ethdebug"
+      ]
+    },
+    "outputSelection": {
+      "*": {
+        "*": [
+          "evm.bytecode.ethdebug",
+          "evm.deployedBytecode.ethdebug",
+          "ir",
+          "irOptimized"
+        ]
+      }
+    }
+  }
+}

test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible_eof/output.json

@@ -0,0 +1 @@
+--allow-paths .

test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible_eof/strip-ethdebug

@@ -0,0 +1,16 @@
+/// @use-src 0:"input.sol"
+object "C_6_deployed" {
+    code {
+        /// @src 0:60:101  "contract C {..."
+        mstore(64, 128)
+
+        // f()
+        fun_f_5()
+
+        /// @src 0:77:99  "function f() public {}"
+        function fun_f_5() {
+            sstore(0, 42)
+        }
+        /// @src 0:60:101  "contract C {..."
+    }
+}

test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/args

@@ -0,0 +1,18 @@
+{
+	"language": "Yul",
+	"sources": {
+		"C": {
+			"urls": [
+				"standard_yul_debug_info_ethdebug_compatible_output_eof/in.yul"
+			]
+		}
+	},
+	"settings": {
+		"eofVersion": 1,
+		"evmVersion": "osaka",
+		"debug": {"debugInfo": ["ethdebug"]},
+		"outputSelection": {
+			"*": {"*": ["ir", "irOptimized", "evm.bytecode.ethdebug"]}
+		}
+	}
+}

test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/in.yul

@@ -0,0 +1,42 @@
+{
+    "contracts": {
+        "C": {
+            "C_6_deployed": {
+                "evm": {
+                    "bytecode": {
+                        "ethdebug": "<ETHDEBUG DEBUG DATA REMOVED>"
+                    }
+                },
+                "ir": "/// ethdebug: enabled
+/// @use-src 0:\"input.sol\"
+object \"C_6_deployed\" {
+    code {
+        /// @src 0:60:101
+        mstore(64, 128)
+        fun_f_5()
+        /// @src 0:77:99
+        function fun_f_5()
+        { sstore(0, 42) }
+    }
+}
+",
+                "irOptimized": "/// ethdebug: enabled
+/// @use-src 0:\"input.sol\"
+object \"C_6_deployed\" {
+    code {
+        {
+            /// @src 0:60:101
+            mstore(64, 128)
+            fun_f()
+        }
+        /// @src 0:77:99
+        function fun_f()
+        { sstore(0, 42) }
+    }
+}
+"
+            }
+        }
+    },
+    "ethdebug": "<ETHDEBUG DEBUG DATA REMOVED>"
+}

test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/input.json

@@ -0,0 +1 @@
+--allow-paths .

test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/output.json

@@ -0,0 +1,17 @@
+/// @use-src 0:"input.sol"
+object "C_6_deployed" {
+    code {
+        /// @src 0:60:101  "contract C {..."
+        mstore(64, 128)
+
+        // f()
+        fun_f_5()
+
+        /// @src 0:77:99  "function f() public {}"
+        function fun_f_5() {
+            sstore(0, 42)
+        }
+        /// @src 0:60:101  "contract C {..."
+    }
+}
+

test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/strip-ethdebug

@@ -0,0 +1,13 @@
+{
+	"language": "Yul",
+	"sources": {
+		"C": {"urls": ["standard_yul_ethdebug_eof/in.yul"]}
+	},
+	"settings": {
+		"eofVersion": 1,
+		"evmVersion": "osaka",
+		"outputSelection": {
+			"*": {"*": ["evm.bytecode.ethdebug", "evm.deployedBytecode.ethdebug", "ir", "irOptimized"]}
+		}
+	}
+}

test/cmdlineTests/standard_yul_ethdebug_eof/args

@@ -0,0 +1,42 @@
+{
+    "contracts": {
+        "C": {
+            "C_6_deployed": {
+                "evm": {
+                    "bytecode": {
+                        "ethdebug": "<ETHDEBUG DEBUG DATA REMOVED>"
+                    }
+                },
+                "ir": "/// ethdebug: enabled
+/// @use-src 0:\"input.sol\"
+object \"C_6_deployed\" {
+    code {
+        /// @src 0:60:101
+        mstore(64, 128)
+        fun_f_5()
+        /// @src 0:77:99
+        function fun_f_5()
+        { sstore(0, 42) }
+    }
+}
+",
+                "irOptimized": "/// ethdebug: enabled
+/// @use-src 0:\"input.sol\"
+object \"C_6_deployed\" {
+    code {
+        {
+            /// @src 0:60:101
+            mstore(64, 128)
+            fun_f()
+        }
+        /// @src 0:77:99
+        function fun_f()
+        { sstore(0, 42) }
+    }
+}
+"
+            }
+        }
+    },
+    "ethdebug": "<ETHDEBUG DEBUG DATA REMOVED>"
+}