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