feat(tests): update 7702 precompile test cases (#1431)

- Add a test case that calls the delegated precompile acct directly from
  the same transaction as the auth. Supply enough gas only to cover the
  intrinsic cost of the call, with no extra gas for any precompile
  code execution.

- Update the test case for all call opcodes to use all of the call opcodes.

Author: fselmo

docs/CHANGELOG.md

@@ -19,6 +19,8 @@ Test fixtures for use by clients are available for each release on the [Github r
 
 ### 🧪 Test Cases
 
+- ✨  Test 7702 precompile case in same transaction as delegation without extra gas in case of precompile code execution; parametrize all call opcodes in existing precompile test ([#1431](https://github.com/ethereum/execution-spec-tests/pull/1431)).
+
 ## [v4.2.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v4.2.0) - 2025-04-08
 
 **Note**: Although not a breaking change, `consume` users should delete the cache directory (typically located at `~/.cache/ethereum-execution-spec-tests`) used to store downloaded fixture release tarballs. This release adds support for [ethereum/tests](https://github.com/ethereum/tests) and [ethereum/legacytests](https://github.com/ethereum/legacytests) fixture release downloads and the structure of the cache directory has been updated to accommodate this change.

tests/prague/eip7702_set_code_tx/test_set_code_txs.py

@@ -39,6 +39,7 @@
 from ethereum_test_tools import Macros as Om
 from ethereum_test_tools import Opcodes as Op
 from ethereum_test_tools.eof.v1 import Container, Section
+from ethereum_test_types import TransactionReceipt
 
 from ...cancun.eip4844_blobs.spec import Spec as Spec4844
 from ..eip6110_deposits.helpers import DepositRequest
@@ -2514,32 +2515,31 @@ def test_set_code_to_log(
     )
 
 
-@pytest.mark.with_all_call_opcodes(
-    selector=(
-        lambda opcode: opcode
-        not in [Op.STATICCALL, Op.CALLCODE, Op.DELEGATECALL, Op.EXTDELEGATECALL, Op.EXTSTATICCALL]
-    )
-)
+@pytest.mark.with_all_call_opcodes
 @pytest.mark.with_all_precompiles
 def test_set_code_to_precompile(
     state_test: StateTestFiller,
     pre: Alloc,
     precompile: int,
     call_opcode: Op,
 ):
-    """Test setting the code of an account to a pre-compile address."""
+    """
+    Test setting the code of an account to a pre-compile address and executing all call
+    opcodes.
+    """
     auth_signer = pre.fund_eoa(auth_account_start_balance)
 
+    value = 1 if call_opcode in {Op.CALL, Op.CALLCODE, Op.EXTCALL} else 0
     caller_code_storage = Storage()
     caller_code = (
         Op.SSTORE(
             caller_code_storage.store_next(call_return_code(opcode=call_opcode, success=True)),
-            call_opcode(address=auth_signer),
+            call_opcode(address=auth_signer, value=value, gas=0),
         )
         + Op.SSTORE(caller_code_storage.store_next(0), Op.RETURNDATASIZE)
         + Op.STOP
     )
-    caller_code_address = pre.deploy_contract(caller_code)
+    caller_code_address = pre.deploy_contract(caller_code, balance=value)
 
     tx = Transaction(
         sender=pre.fund_eoa(),
@@ -2570,6 +2570,52 @@ def test_set_code_to_precompile(
     )
 
 
+@pytest.mark.with_all_precompiles
+def test_set_code_to_precompile_not_enough_gas_for_precompile_execution(
+    state_test: StateTestFiller,
+    pre: Alloc,
+    fork: Fork,
+    precompile: int,
+):
+    """
+    Test set code to precompile and making direct call in same transaction with intrinsic gas
+    only, no extra gas for precompile execution.
+    """
+    auth_signer = pre.fund_eoa(amount=1)
+    auth = AuthorizationTuple(address=Address(precompile), nonce=0, signer=auth_signer)
+
+    intrinsic_gas = fork.transaction_intrinsic_cost_calculator()(
+        authorization_list_or_count=[auth],
+    )
+    discount = min(
+        Spec.PER_EMPTY_ACCOUNT_COST - Spec.PER_AUTH_BASE_COST,
+        intrinsic_gas // 5,  # max discount EIP-3529
+    )
+
+    tx = Transaction(
+        sender=pre.fund_eoa(),
+        to=auth_signer,
+        gas_limit=intrinsic_gas,
+        value=1,
+        authorization_list=[auth],
+        # explicitly check expected gas, no precompile code executed
+        expected_receipt=TransactionReceipt(gas_used=intrinsic_gas - discount),
+    )
+
+    state_test(
+        pre=pre,
+        tx=tx,
+        post={
+            auth_signer: Account(
+                # implicitly checks no OOG, successful tx transfers ``value=1``
+                balance=2,
+                code=Spec.delegation_designation(Address(precompile)),
+                nonce=1,
+            ),
+        },
+    )
+
+
 def deposit_contract_initial_storage() -> Storage:
     """Return the initial storage of the deposit contract."""
     storage = Storage()