test_worst_tload()

Documentation for tests/benchmark/test_worst_compute.py::test_worst_tload@e9958ed2.

Generate fixtures for these test cases for Osaka with:

fill -v tests/benchmark/test_worst_compute.py::test_worst_tload -m benchmark

Test running a block with as many TLOAD calls as possible.

Source code in tests/benchmark/test_worst_compute.py

@pytest.mark.parametrize("key_mut", [True, False])
# `val_mut` indicates that at the end of each big-loop, the value of the target
# key changes.
@pytest.mark.parametrize("val_mut", [True, False])
def test_worst_tload(
    benchmark_test: BenchmarkTestFiller,
    key_mut: bool,
    val_mut: bool,
) -> None:
    """Test running a block with as many TLOAD calls as possible."""
    start_key = 41
    code_key_mut = Bytecode()
    code_val_mut = Bytecode()
    setup = Bytecode()
    if key_mut and val_mut:
        setup = Op.PUSH1(start_key)
        attack_block = Op.POP(Op.TLOAD(Op.DUP1))
        code_key_mut = Op.POP + Op.GAS
        code_val_mut = Op.TSTORE(Op.DUP2, Op.GAS)
    if key_mut and not val_mut:
        attack_block = Op.POP(Op.TLOAD(Op.GAS))
    if not key_mut and val_mut:
        attack_block = Op.POP(Op.TLOAD(Op.CALLVALUE))
        code_val_mut = Op.TSTORE(Op.CALLVALUE, Op.GAS)  # CALLVALUE configured in the tx
    if not key_mut and not val_mut:
        attack_block = Op.POP(Op.TLOAD(Op.CALLVALUE))

    cleanup = code_key_mut + code_val_mut
    tx_value = start_key if not key_mut and val_mut else 0

    benchmark_test(
        code_generator=JumpLoopGenerator(
            setup=setup,
            attack_block=attack_block,
            cleanup=cleanup,
            tx_kwargs={
                "value": tx_value,
            },
        ),
    )

Parametrized Test Cases

This test case is only parametrized by fork.

Fork All Forks Prague Osaka

Fixture Type All Fixture Types blockchain_test

Test ID (Abbreviated)	val_mut	key_mut
...fork_Prague-blockchain_test-val_mut_True-key_mut_True	True	True
...fork_Prague-blockchain_test-val_mut_True-key_mut_False	True	False
...fork_Prague-blockchain_test-val_mut_False-key_mut_True	False	True
...fork_Prague-blockchain_test-val_mut_False-key_mut_False	False	False
...fork_Osaka-blockchain_test-val_mut_True-key_mut_True	True	True
...fork_Osaka-blockchain_test-val_mut_True-key_mut_False	True	False
...fork_Osaka-blockchain_test-val_mut_False-key_mut_True	False	True
...fork_Osaka-blockchain_test-val_mut_False-key_mut_False	False	False