ethereum.spurious_dragon.vm.instructions.bitwiseethereum.byzantium.vm.instructions.bitwise
Ethereum Virtual Machine (EVM) Bitwise Instructions ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
.. contents:: Table of Contents :backlinks: none :local:
Introduction
Implementations of the EVM bitwise instructions.
bitwise_and
Bitwise AND operation of the top 2 elements of the stack. Pushes the result back on the stack.
Parameters
evm : The current EVM frame.
def bitwise_and(evm: Evm) -> None:
23 | """ |
---|---|
24 | Bitwise AND operation of the top 2 elements of the stack. Pushes the |
25 | result back on the stack. |
26 |
|
27 | Parameters |
28 | ---------- |
29 | evm : |
30 | The current EVM frame. |
31 |
|
32 | """ |
33 | # STACK |
34 | x = pop(evm.stack) |
35 | y = pop(evm.stack) |
36 | |
37 | # GAS |
38 | charge_gas(evm, GAS_VERY_LOW) |
39 | |
40 | # OPERATION |
41 | push(evm.stack, x & y) |
42 | |
43 | # PROGRAM COUNTER |
44 | evm.pc += Uint(1) |
bitwise_or
Bitwise OR operation of the top 2 elements of the stack. Pushes the result back on the stack.
Parameters
evm : The current EVM frame.
def bitwise_or(evm: Evm) -> None:
48 | """ |
---|---|
49 | Bitwise OR operation of the top 2 elements of the stack. Pushes the |
50 | result back on the stack. |
51 |
|
52 | Parameters |
53 | ---------- |
54 | evm : |
55 | The current EVM frame. |
56 |
|
57 | """ |
58 | # STACK |
59 | x = pop(evm.stack) |
60 | y = pop(evm.stack) |
61 | |
62 | # GAS |
63 | charge_gas(evm, GAS_VERY_LOW) |
64 | |
65 | # OPERATION |
66 | push(evm.stack, x | y) |
67 | |
68 | # PROGRAM COUNTER |
69 | evm.pc += Uint(1) |
bitwise_xor
Bitwise XOR operation of the top 2 elements of the stack. Pushes the result back on the stack.
Parameters
evm : The current EVM frame.
def bitwise_xor(evm: Evm) -> None:
73 | """ |
---|---|
74 | Bitwise XOR operation of the top 2 elements of the stack. Pushes the |
75 | result back on the stack. |
76 |
|
77 | Parameters |
78 | ---------- |
79 | evm : |
80 | The current EVM frame. |
81 |
|
82 | """ |
83 | # STACK |
84 | x = pop(evm.stack) |
85 | y = pop(evm.stack) |
86 | |
87 | # GAS |
88 | charge_gas(evm, GAS_VERY_LOW) |
89 | |
90 | # OPERATION |
91 | push(evm.stack, x ^ y) |
92 | |
93 | # PROGRAM COUNTER |
94 | evm.pc += Uint(1) |
bitwise_not
Bitwise NOT operation of the top element of the stack. Pushes the result back on the stack.
Parameters
evm : The current EVM frame.
def bitwise_not(evm: Evm) -> None:
98 | """ |
---|---|
99 | Bitwise NOT operation of the top element of the stack. Pushes the |
100 | result back on the stack. |
101 |
|
102 | Parameters |
103 | ---------- |
104 | evm : |
105 | The current EVM frame. |
106 |
|
107 | """ |
108 | # STACK |
109 | x = pop(evm.stack) |
110 | |
111 | # GAS |
112 | charge_gas(evm, GAS_VERY_LOW) |
113 | |
114 | # OPERATION |
115 | push(evm.stack, ~x) |
116 | |
117 | # PROGRAM COUNTER |
118 | evm.pc += Uint(1) |
get_byte
For a word (defined by next top element of the stack), retrieve the Nth byte (0-indexed and defined by top element of stack) from the left (most significant) to right (least significant).
Parameters
evm : The current EVM frame.
def get_byte(evm: Evm) -> None:
122 | """ |
---|---|
123 | For a word (defined by next top element of the stack), retrieve the |
124 | Nth byte (0-indexed and defined by top element of stack) from the |
125 | left (most significant) to right (least significant). |
126 |
|
127 | Parameters |
128 | ---------- |
129 | evm : |
130 | The current EVM frame. |
131 |
|
132 | """ |
133 | # STACK |
134 | byte_index = pop(evm.stack) |
135 | word = pop(evm.stack) |
136 | |
137 | # GAS |
138 | charge_gas(evm, GAS_VERY_LOW) |
139 | |
140 | # OPERATION |
141 | if byte_index >= U256(32): |
142 | result = U256(0) |
143 | else: |
144 | extra_bytes_to_right = U256(31) - byte_index |
145 | # Remove the extra bytes in the right |
146 | word = word >> (extra_bytes_to_right * U256(8)) |
147 | # Remove the extra bytes in the left |
148 | word = word & U256(0xFF) |
149 | result = word |
150 | |
151 | push(evm.stack, result) |
152 | |
153 | # PROGRAM COUNTER |
154 | evm.pc += Uint(1) |