def evaluate_binary(self, size_out: int, size_in: int, in1: BV,
in2: BV) -> BV:
in1, in2 = make_bv_sizes_equal(in1, in2)
return in1.LShR(in2)
def evaluate_binary(self, size_out: int, size_in: int, in1: BV,
in2: BV) -> BV:
if in2.size() < in1.size():
in2 = in2.sign_extend(in1.size() - in2.size())
return in1.LShR(in2)