def visit_MLIL_LSL(self, expr):
left, right = self.visit_both_sides(expr)
if right.size() != left.size():
right = ZeroExt(left.size() - right.size(), right)
return left << right
def visit_MLIL_CMP_NE(self, expr):
left = self.visit(expr.left)
right = self.visit(expr.right)
if right.size() != left.size():
right = ZeroExt(left.size() - right.size(), right)
return left != right