Operation

Home /
Tags /
Operation

BitVecAnd

Function

BitVecAnd Description Perform bitwise AND operation between two bitvectors. Result is stored in the first bitvector.

BitVecNot

Function

BitVecNot Description Perform bitwise NOT operation on a bitvector. Result is stored in the first bitvector.

BitVecOr

Function

BitVecOr Description Perform bitwise OR operation between two bitvectors. Result is stored in the first bitvector.

BitVecShiftLeft

Function

BitVecShiftLeft Description Shift all bits in bitvector to the left by specified positions. New bits on the right are filled with zeros.

BitVecShiftRight

Function

BitVecShiftRight Description Shift all bits in bitvector to the right by specified positions. New bits on the left are filled with zeros.

BitVecXor

Function

BitVecXor Description Perform bitwise XOR operation between two bitvectors. Result is stored in the first bitvector.