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