Skip to content

test_clz_gas_cost_boundary()

Documentation for tests/osaka/eip7939_count_leading_zeros/test_count_leading_zeros.py::test_clz_gas_cost_boundary@88e9fb8f.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7939_count_leading_zeros/test_count_leading_zeros.py::test_clz_gas_cost_boundary --fork Osaka

Test CLZ opcode gas cost boundary.

Source code in tests/osaka/eip7939_count_leading_zeros/test_count_leading_zeros.py 
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
@EIPChecklist.Opcode.Test.GasUsage.Normal()
@EIPChecklist.Opcode.Test.GasUsage.OutOfGasExecution()
@EIPChecklist.Opcode.Test.GasUsage.ExtraGas()
@pytest.mark.valid_from("Osaka")
@pytest.mark.parametrize("bits", [0, 64, 128, 255])
@pytest.mark.parametrize("gas_cost_delta", [-2, -1, 0, 1, 2])
def test_clz_gas_cost_boundary(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
    bits: int,
    gas_cost_delta: int,
) -> None:
    """Test CLZ opcode gas cost boundary."""
    code = Op.PUSH32(1 << bits) + Op.CLZ

    contract_address = pre.deploy_contract(code=code)

    call_code = Op.SSTORE(
        0,
        Op.CALL(
            gas=fork.gas_costs().G_VERY_LOW + Spec.CLZ_GAS_COST + gas_cost_delta,
            address=contract_address,
        ),
    )
    call_address = pre.deploy_contract(
        code=call_code,
        storage={"0x00": "0xdeadbeef"},
    )

    tx = Transaction(to=call_address, sender=pre.fund_eoa(), gas_limit=200_000)

    post = {call_address: Account(storage={"0x00": 0 if gas_cost_delta < 0 else 1})}

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

Parametrized Test Cases

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

Test ID (Abbreviated) gas_cost_delta bits
...fork_Osaka-state_test-gas_cost_delta_-2-bits_0 -2 0
...fork_Osaka-state_test-gas_cost_delta_-2-bits_64 -2 64
...fork_Osaka-state_test-gas_cost_delta_-2-bits_128 -2 128
...fork_Osaka-state_test-gas_cost_delta_-2-bits_255 -2 255
...fork_Osaka-state_test-gas_cost_delta_-1-bits_0 -1 0
...fork_Osaka-state_test-gas_cost_delta_-1-bits_64 -1 64
...fork_Osaka-state_test-gas_cost_delta_-1-bits_128 -1 128
...fork_Osaka-state_test-gas_cost_delta_-1-bits_255 -1 255
...fork_Osaka-state_test-gas_cost_delta_0-bits_0 0 0
...fork_Osaka-state_test-gas_cost_delta_0-bits_64 0 64
...fork_Osaka-state_test-gas_cost_delta_0-bits_128 0 128
...fork_Osaka-state_test-gas_cost_delta_0-bits_255 0 255
...fork_Osaka-state_test-gas_cost_delta_1-bits_0 1 0
...fork_Osaka-state_test-gas_cost_delta_1-bits_64 1 64
...fork_Osaka-state_test-gas_cost_delta_1-bits_128 1 128
...fork_Osaka-state_test-gas_cost_delta_1-bits_255 1 255
...fork_Osaka-state_test-gas_cost_delta_2-bits_0 2 0
...fork_Osaka-state_test-gas_cost_delta_2-bits_64 2 64
...fork_Osaka-state_test-gas_cost_delta_2-bits_128 2 128
...fork_Osaka-state_test-gas_cost_delta_2-bits_255 2 255
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-2-bits_0 -2 0
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-2-bits_64 -2 64
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-2-bits_128 -2 128
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-2-bits_255 -2 255
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-1-bits_0 -1 0
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-1-bits_64 -1 64
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-1-bits_128 -1 128
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_-1-bits_255 -1 255
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_0-bits_0 0 0
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_0-bits_64 0 64
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_0-bits_128 0 128
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_0-bits_255 0 255
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_1-bits_0 1 0
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_1-bits_64 1 64
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_1-bits_128 1 128
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_1-bits_255 1 255
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_2-bits_0 2 0
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_2-bits_64 2 64
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_2-bits_128 2 128
...fork_Osaka-blockchain_test_from_state_test-gas_cost_delta_2-bits_255 2 255