Skip to content

test_tload_calls()

Documentation for tests/cancun/eip1153_tstore/test_tload_calls.py::test_tload_calls@verkle@v0.0.6.

Generate fixtures for these test cases for Cancun with:

Cancun only: 

fill -v tests/cancun/eip1153_tstore/test_tload_calls.py::test_tload_calls --fork=Cancun --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Cancun: 

fill -v tests/cancun/eip1153_tstore/test_tload_calls.py::test_tload_calls --until=Cancun

Ported .json vectors:

(04_tloadAfterCallFiller.yml) Loading a slot after a call to another contract is 0.

(12_tloadDelegateCallFiller.yml) delegatecall reads transient storage in the context of the current address

Source code in tests/cancun/eip1153_tstore/test_tload_calls.py 
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
@pytest.mark.valid_from("Cancun")
@pytest.mark.parametrize("call_type", [Op.CALL, Op.CALLCODE, Op.DELEGATECALL])
def test_tload_calls(state_test: StateTestFiller, pre: Alloc, call_type: Op):
    """
    Ported .json vectors:

    (04_tloadAfterCallFiller.yml)
    Loading a slot after a call to another contract is 0.

    (12_tloadDelegateCallFiller.yml)
    delegatecall reads transient storage in the context of the current address
    """
    # Storage variables
    slot_a_tload_after_subcall_result = 0
    slot_a_subcall_result = 1
    slot_b_subcall_tload_result = 2
    slot_b_subcall_updated_tload_result = 3

    def make_call(call_type: Op, address: Address) -> Bytecode:
        if call_type == Op.DELEGATECALL or call_type == Op.STATICCALL:
            return call_type(Op.GAS(), address, 0, 32, 0, 0)
        else:
            return call_type(Op.GAS(), address, 0, 0, 32, 0, 0)

    address_call = pre.deploy_contract(
        balance=1_000_000_000_000_000_000,
        code=Op.JUMPDEST()
        + Op.SSTORE(slot_b_subcall_tload_result, Op.TLOAD(0))
        + Op.TSTORE(0, 20)
        + Op.SSTORE(slot_b_subcall_updated_tload_result, Op.TLOAD(0)),
        storage={
            slot_b_subcall_tload_result: 0xFF,
            slot_b_subcall_updated_tload_result: 0xFF,
        },
    )

    address_to = pre.deploy_contract(
        balance=1_000_000_000_000_000_000,
        code=Op.JUMPDEST()
        + Op.TSTORE(0, 10)
        + Op.SSTORE(slot_a_subcall_result, make_call(call_type, address_call))
        + Op.SSTORE(slot_a_tload_after_subcall_result, Op.TLOAD(0)),
        storage={
            slot_a_subcall_result: 0xFF,
            slot_a_tload_after_subcall_result: 0xFF,
        },
    )

    post = {
        address_to: Account(
            storage={
                # other calls don't change context, there for tload updated in this account
                slot_a_tload_after_subcall_result: 10 if call_type == Op.CALL else 20,
                slot_a_subcall_result: 1,
                # since context unchanged the subcall works as if continued execution
                slot_b_subcall_tload_result: 0 if call_type == Op.CALL else 10,
                slot_b_subcall_updated_tload_result: 0 if call_type == Op.CALL else 20,
            }
        ),
        address_call: Account(
            storage={
                slot_b_subcall_tload_result: 0 if call_type == Op.CALL else 0xFF,
                slot_b_subcall_updated_tload_result: 20 if call_type == Op.CALL else 0xFF,
            }
        ),
    }

    tx = Transaction(
        sender=pre.fund_eoa(7_000_000_000_000_000_000),
        to=address_to,
        gas_price=10,
        data=b"",
        gas_limit=5000000,
        value=0,
    )

    state_test(env=Environment(), pre=pre, post=post, tx=tx)

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Skipped Parameters

For more concise readability, the table below does not list the following parameter values: fork, blockchain_test, state_test, state_test_only, eof_test, eof_state_test.

Test ID call_type
call_type_CALL CALL
call_type_CALLCODE CALLCODE
call_type_DELEGATECALL DELEGATECALL
call_type_CALL CALL
call_type_CALLCODE CALLCODE
call_type_DELEGATECALL DELEGATECALL