Skip to content

Test Swapn

Documentation for tests/prague/eip7692_eof_v1/eip663_dupn_swapn_exchange/test_swapn.py.

Generate fixtures for these test cases for Prague with:

Prague only: 

fill -v tests/prague/eip7692_eof_v1/eip663_dupn_swapn_exchange/test_swapn.py --fork=Prague --evm-bin=/path/to/evm-tool-dev-version
For all forks up to and including Prague: 
fill -v tests/prague/eip7692_eof_v1/eip663_dupn_swapn_exchange/test_swapn.py --until=Prague --evm-bin=/path/to/evm-tool-dev-version

Tests EIP-663: SWAPN, DUPN and EXCHANGE instructions

Tests for the SWAPN instruction.

test_swapn_all_valid_immediates(eof_state_test)

Test case for all valid SWAPN immediates.

Source code in tests/prague/eip7692_eof_v1/eip663_dupn_swapn_exchange/test_swapn.py 
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
@pytest.mark.valid_from(EOF_FORK_NAME)
def test_swapn_all_valid_immediates(eof_state_test: EOFStateTestFiller):
    """
    Test case for all valid SWAPN immediates.
    """
    n = 256
    values = range(0x500, 0x500 + 257)

    eof_code = Container(
        sections=[
            Section.Code(
                code=sum(Op.PUSH2[v] for v in values)
                + sum(Op.SSTORE(x, Op.SWAPN[0xFF - x]) for x in range(0, n))
                + Op.STOP,
            )
        ],
    )

    values_rotated = list(values[1:]) + [values[0]]
    post = Account(storage=dict(zip(range(0, n), reversed(values_rotated))))

    eof_state_test(
        tx_sender_funding_amount=1_000_000_000,
        data=eof_code,
        container_post=post,
    )

test_swapn_on_max_stack(swapn_operand, eof_test)

Test case out of bounds DUPN immediate.

Source code in tests/prague/eip7692_eof_v1/eip663_dupn_swapn_exchange/test_swapn.py 
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
@pytest.mark.parametrize(
    "swapn_operand",
    [
        0,
        2**8 - 1,
    ],
)
@pytest.mark.valid_from(EOF_FORK_NAME)
def test_swapn_on_max_stack(
    swapn_operand: int,
    eof_test: EOFTestFiller,
):
    """
    Test case out of bounds DUPN immediate.
    """
    eof_code = Container(
        sections=[
            Section.Code(
                code=sum(Op.PUSH2[v] for v in range(0, MAX_OPERAND_STACK_HEIGHT))
                + Op.SWAPN[swapn_operand]
                + Op.STOP,
            )
        ],
    )
    eof_test(
        data=eof_code,
    )

test_swapn_stack_underflow(stack_height, eof_test)

Test case out of bounds DUPN immediate.

Source code in tests/prague/eip7692_eof_v1/eip663_dupn_swapn_exchange/test_swapn.py 
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
@pytest.mark.parametrize(
    "stack_height",
    [
        0,
        1,
        2**8 - 1,
    ],
)
@pytest.mark.valid_from(EOF_FORK_NAME)
def test_swapn_stack_underflow(
    stack_height: int,
    eof_test: EOFTestFiller,
):
    """
    Test case out of bounds DUPN immediate.
    """
    eof_code = Container(
        sections=[
            Section.Code(
                code=sum(Op.PUSH2[v] for v in range(0, stack_height))
                + Op.SWAPN[stack_height]
                + Op.STOP,
                max_stack_height=MAX_OPERAND_STACK_HEIGHT,
            )
        ],
    )
    eof_test(
        data=eof_code,
        expect_exception=EOFException.STACK_UNDERFLOW,
    )