Witness-generating implementation of bitwise AND/OR/XOR operations. More...
#include <bitwise.hpp>
Public Member Functions | |
| Bitwise (EventEmitterInterface< BitwiseEvent > &event_emitter) | |
| MemoryValue | and_op (const MemoryValue &a, const MemoryValue &b) override |
| Perform bitwise AND on two tagged memory values. | |
| MemoryValue | or_op (const MemoryValue &a, const MemoryValue &b) override |
| Perform bitwise OR on two tagged memory values. | |
| MemoryValue | xor_op (const MemoryValue &a, const MemoryValue &b) override |
| Perform bitwise XOR on two tagged memory values. | |
| std::pair< MemoryValue, MemoryValue > | simd_and_op_64 (const MemoryValue &a1, const MemoryValue &b1, const MemoryValue &a2, const MemoryValue &b2) override |
| Two independent U64 ANDs packed into one U128 sub-trace row (SIMD-64). | |
| std::pair< MemoryValue, MemoryValue > | simd_xor_op_64 (const MemoryValue &a1, const MemoryValue &b1, const MemoryValue &a2, const MemoryValue &b2) override |
| Two independent U64 XORs packed into one U128 sub-trace row (SIMD-64). See simd_and_op_64. | |
 Public Member Functions inherited from bb::avm2::simulation::BitwiseInterface | |
| virtual | ~BitwiseInterface ()=default |
Private Attributes | |
| EventEmitterInterface< BitwiseEvent > & | events |
Detailed Description
Witness-generating implementation of bitwise AND/OR/XOR operations.
Definition at line 15 of file bitwise.hpp.
Constructor & Destructor Documentation
◆ Bitwise()
|
inline |
- Parameters
-
event_emitter Destination for BitwiseEvent emissions consumed by tracegen.
Definition at line 20 of file bitwise.hpp.
Member Function Documentation
◆ and_op()
|
overridevirtual |
Perform bitwise AND on two tagged memory values.
On success, emits a BitwiseEvent with the computed result and returns it. On error (FF tag or tag mismatch), emits the event with res=0, then throws.
- Parameters
-
a Left operand. b Right operand.
- Returns
- The AND result with the same tag as the inputs.
- Exceptions
-
BitwiseException If either tag is FF or tags don't match.
Implements bb::avm2::simulation::BitwiseInterface.
Definition at line 21 of file bitwise.cpp.
◆ or_op()
|
overridevirtual |
Perform bitwise OR on two tagged memory values.
On success, emits a BitwiseEvent with the computed result and returns it. On error (FF tag or tag mismatch), emits the event with res=0, then throws.
- Parameters
-
a Left operand. b Right operand.
- Returns
- The OR result with the same tag as the inputs.
- Exceptions
-
BitwiseException If either tag is FF or tags don't match.
Implements bb::avm2::simulation::BitwiseInterface.
Definition at line 50 of file bitwise.cpp.
◆ simd_and_op_64()
|
overridevirtual |
Two independent U64 ANDs packed into one U128 sub-trace row (SIMD-64).
AND is bit-independent, so the low and high 64-bit lanes do not interact. Emits a single BitwiseEvent with simd_64=true holding the packed U128 operands/result.
- Returns
- The two U64 results (lane 0, lane 1).
Implements bb::avm2::simulation::BitwiseSimdInterface.
Definition at line 116 of file bitwise.cpp.
◆ simd_xor_op_64()
|
overridevirtual |
Two independent U64 XORs packed into one U128 sub-trace row (SIMD-64). See simd_and_op_64.
Implements bb::avm2::simulation::BitwiseSimdInterface.
Definition at line 137 of file bitwise.cpp.
◆ xor_op()
|
overridevirtual |
Perform bitwise XOR on two tagged memory values.
On success, emits a BitwiseEvent with the computed result and returns it. On error (FF tag or tag mismatch), emits the event with res=0, then throws.
- Parameters
-
a Left operand. b Right operand.
- Returns
- The XOR result with the same tag as the inputs.
- Exceptions
-
BitwiseException If either tag is FF or tags don't match.
Implements bb::avm2::simulation::BitwiseInterface.
Definition at line 79 of file bitwise.cpp.
Member Data Documentation
◆ events
|
private |
Definition at line 38 of file bitwise.hpp.
The documentation for this class was generated from the following files:
- src/barretenberg/vm2/simulation/gadgets/bitwise.hpp
- src/barretenberg/vm2/simulation/gadgets/bitwise.cpp
