Skip to content

test_dup()

Documentation for tests/frontier/opcodes/test_dup.py::test_dup@9c2813ee.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/frontier/opcodes/test_dup.py::test_dup --fork Amsterdam

Test the DUP1-DUP16 opcodes.

Note: Test case ported from ethereum/tests.

Test ported from ethereum/tests/GeneralStateTests/VMTests/ vmTests/dup.json by Ori Pomerantz.

Source code in tests/frontier/opcodes/test_dup.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
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
@pytest.mark.parametrize(
    "dup_opcode",
    [
        Op.DUP1,
        Op.DUP2,
        Op.DUP3,
        Op.DUP4,
        Op.DUP5,
        Op.DUP6,
        Op.DUP7,
        Op.DUP8,
        Op.DUP9,
        Op.DUP10,
        Op.DUP11,
        Op.DUP12,
        Op.DUP13,
        Op.DUP14,
        Op.DUP15,
        Op.DUP16,
    ],
    ids=lambda op: str(op),
)
def test_dup(
    state_test: StateTestFiller,
    fork: Fork,
    dup_opcode: Op,
    pre: Alloc,
) -> None:
    """
    Test the DUP1-DUP16 opcodes.

    Note: Test case ported from
    [ethereum/tests](https://github.com/ethereum/tests).

    Test ported from [ethereum/tests/GeneralStateTests/VMTests/
    vmTests/dup.json](https://github.com/ethereum/tests/blob/
    v14.0/GeneralStateTests/VMTests/vmTests/dup.json) by Ori Pomerantz.
    """
    env = Environment()
    sender = pre.fund_eoa()
    post = {}

    # Push 0x00 - 0x10 onto the stack
    account_code = sum(Op.PUSH1(i) for i in range(0x11))

    # Use the DUP opcode
    account_code += dup_opcode

    # Save each stack value into different keys in storage
    account_code += sum(Op.PUSH1(i) + Op.SSTORE for i in range(0x11))

    account = pre.deploy_contract(account_code)

    tx = Transaction(
        ty=0x0,
        to=account,
        gas_limit=500000,
        gas_price=10,
        protected=fork.supports_protected_txs(),
        data="",
        sender=sender,
    )

    """
    Storage will be structured as follows:

    0x00: 0x10-0x01 (Depending on DUP opcode)
    0x01: 0x10
    0x02: 0x0F
    0x03: 0x0E
    0x04: 0x0D
    0x05: 0x0C
    0x06: 0x0B
    0x07: 0x0A
    0x08: 0x09
    0x09: 0x08
    0x0A: 0x07
    0x0B: 0x06
    0x0C: 0x05
    0x0D: 0x04
    0x0E: 0x03
    0x0F: 0x02
    0x10: 0x01

    DUP1 copies the first element of the stack (0x10).
    DUP16 copies the 16th element of the stack (0x01).
    """
    s: Storage.StorageDictType = dict(
        zip(range(1, 17), range(16, 0, -1), strict=False)
    )
    s[0] = 16 - (dup_opcode.int() - 0x80)

    post[account] = Account(storage=s)

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

Parametrized Test Cases

This test generates 16 parametrized test cases across 14 forks.