ethereum.arrow_glacier.vm.instructions.control_flow

Ethereum Virtual Machine (EVM) Control Flow Instructions ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

.. contents:: Table of Contents :backlinks: none :local:

Introduction

Implementations of the EVM control flow instructions.

stop

Stop further execution of EVM code.

Parameters

evm : The current EVM frame.

def stop(​evm: Evm​) -> None:
24
    """
25
    Stop further execution of EVM code.
26
27
    Parameters
28
    ----------
29
    evm :
30
        The current EVM frame.
31
    """
32
    # STACK
33
    pass
34
35
    # GAS
36
    pass
37
38
    # OPERATION
39
    evm.running = False
40
41
    # PROGRAM COUNTER
42
    evm.pc += Uint(1)

jump

Alter the program counter to the location specified by the top of the stack.

Parameters

evm : The current EVM frame.

def jump(​evm: Evm​) -> None:
46
    """
47
    Alter the program counter to the location specified by the top of the
48
    stack.
49
50
    Parameters
51
    ----------
52
    evm :
53
        The current EVM frame.
54
55
    """
56
    # STACK
57
    jump_dest = Uint(pop(evm.stack))
58
59
    # GAS
60
    charge_gas(evm, GAS_MID)
61
62
    # OPERATION
63
    if jump_dest not in evm.valid_jump_destinations:
64
        raise InvalidJumpDestError
65
66
    # PROGRAM COUNTER
67
    evm.pc = Uint(jump_dest)

jumpi

Alter the program counter to the specified location if and only if a condition is true. If the condition is not true, then the program counter would increase only by 1.

Parameters

evm : The current EVM frame.

def jumpi(​evm: Evm​) -> None:
71
    """
72
    Alter the program counter to the specified location if and only if a
73
    condition is true. If the condition is not true, then the program counter
74
    would increase only by 1.
75
76
    Parameters
77
    ----------
78
    evm :
79
        The current EVM frame.
80
81
    """
82
    # STACK
83
    jump_dest = Uint(pop(evm.stack))
84
    conditional_value = pop(evm.stack)
85
86
    # GAS
87
    charge_gas(evm, GAS_HIGH)
88
89
    # OPERATION
90
    if conditional_value == 0:
91
        destination = evm.pc + Uint(1)
92
    elif jump_dest not in evm.valid_jump_destinations:
93
        raise InvalidJumpDestError
94
    else:
95
        destination = jump_dest
96
97
    # PROGRAM COUNTER
98
    evm.pc = destination

pc

Push onto the stack the value of the program counter after reaching the current instruction and without increasing it for the next instruction.

Parameters

evm : The current EVM frame.

def pc(​evm: Evm​) -> None:
102
    """
103
    Push onto the stack the value of the program counter after reaching the
104
    current instruction and without increasing it for the next instruction.
105
106
    Parameters
107
    ----------
108
    evm :
109
        The current EVM frame.
110
111
    """
112
    # STACK
113
    pass
114
115
    # GAS
116
    charge_gas(evm, GAS_BASE)
117
118
    # OPERATION
119
    push(evm.stack, U256(evm.pc))
120
121
    # PROGRAM COUNTER
122
    evm.pc += Uint(1)

gas_left

Push the amount of available gas (including the corresponding reduction for the cost of this instruction) onto the stack.

Parameters

evm : The current EVM frame.

def gas_left(​evm: Evm​) -> None:
126
    """
127
    Push the amount of available gas (including the corresponding reduction
128
    for the cost of this instruction) onto the stack.
129
130
    Parameters
131
    ----------
132
    evm :
133
        The current EVM frame.
134
135
    """
136
    # STACK
137
    pass
138
139
    # GAS
140
    charge_gas(evm, GAS_BASE)
141
142
    # OPERATION
143
    push(evm.stack, U256(evm.gas_left))
144
145
    # PROGRAM COUNTER
146
    evm.pc += Uint(1)

jumpdest

Mark a valid destination for jumps. This is a noop, present only to be used by JUMP and JUMPI opcodes to verify that their jump is valid.

Parameters

evm : The current EVM frame.

def jumpdest(​evm: Evm​) -> None:
150
    """
151
    Mark a valid destination for jumps. This is a noop, present only
152
    to be used by `JUMP` and `JUMPI` opcodes to verify that their jump is
153
    valid.
154
155
    Parameters
156
    ----------
157
    evm :
158
        The current EVM frame.
159
160
    """
161
    # STACK
162
    pass
163
164
    # GAS
165
    charge_gas(evm, GAS_JUMPDEST)
166
167
    # OPERATION
168
    pass
169
170
    # PROGRAM COUNTER
171
    evm.pc += Uint(1)