Repro test

Author: nikola-matic

scripts/common/cmdline_helpers.py

@@ -37,15 +37,21 @@ def f(*args, **kwargs):
     return tmp_dir_decorator
 
 
-def solc_bin_report(solc_binary: str, input_files: List[Path], via_ir: bool) -> FileReport:
+def solc_bin_report(solc_binary: str,
+                    input_files: List[Path],
+                    via_ir: bool,
+                    optimize: bool = False,
+                    yul_optimizations: Optional[str] = None) -> FileReport:
     """
     Runs the solidity compiler binary
     """
 
     output = subprocess.check_output(
         [solc_binary, '--bin'] +
         input_files +
-        (['--via-ir'] if via_ir else []),
+        (['--via-ir'] if via_ir else []) +
+        (['--optimize'] if optimize else []) +
+        (['--yul-optimizations', yul_optimizations] if yul_optimizations else []),
         encoding='utf8',
     )
     return parse_cli_output('', output, 0)

test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/inputs.sol

@@ -0,0 +1,15 @@
+==== Source: A.sol ====
+contract DummyContract1 {}
+contract DummyContract2 {}
+contract DummyContract3 {}
+contract DummyContract4 {}
+contract DummyContract5 {}
+
+==== Source: B.sol ====
+contract C {
+    function f(uint8 a_0, uint8 a_1, uint8 a_2) public pure {
+        a_0 = 0;
+        a_1 = 1;
+        a_2 = 2;
+    }
+}

test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/test.py

@@ -0,0 +1,53 @@
+#!/usr/bin/env python3
+
+import os
+import sys
+from pathlib import Path
+from textwrap import dedent
+
+# pylint: disable=wrong-import-position
+PROJECT_ROOT = Path(__file__).parents[3]
+sys.path.insert(0, str(PROJECT_ROOT / 'scripts'))
+
+from common.cmdline_helpers import add_preamble
+from common.cmdline_helpers import inside_temporary_dir
+from common.cmdline_helpers import save_bytecode
+from common.cmdline_helpers import solc_bin_report
+from common.git_helpers import git_diff
+from splitSources import split_sources
+
+
+@inside_temporary_dir(Path(__file__).parent.name)
+def test_bytecode_equivalence():
+    source_file_path = Path(__file__).parent / 'inputs.sol'
+    split_sources(source_file_path, suppress_output=True)
+    add_preamble(Path.cwd())
+
+    solc_binary = os.environ.get('SOLC')
+    if solc_binary is None:
+        raise RuntimeError(dedent("""\
+            `solc` compiler not found.
+            Please ensure you set the SOLC environment variable
+            with the correct path to the compiler's binary.
+        """))
+
+    # Repro for https://github.com/ethereum/solidity/issues/14829
+    save_bytecode(Path('A.bin'),
+                  solc_bin_report(solc_binary,
+                                  [Path('A.sol')],
+                                  via_ir=True,
+                                  optimize=True,
+                                  yul_optimizations='a:'),
+                  contract='B')
+    save_bytecode(Path('AB.bin'),
+                  solc_bin_report(solc_binary,
+                                  [Path('A.sol'),
+                                   Path('B.sol')],
+                                  via_ir=True, optimize=True,
+                                  yul_optimizations='a:'),
+                  contract='B')
+    return git_diff(Path('A.bin'), Path('AB.bin'))
+
+
+if __name__ == '__main__':
+    sys.exit(test_bytecode_equivalence())