def METHOD_NAME(self, stmt):
    if isinstance(stmt.data, pyvex.IRExpr.Get) and stmt.data.result_size(self.tyenv) == 64:
        self.tmps_with_64bit_regs.add(stmt.tmp)
    self.tmps_assignment_stmtidx[stmt.tmp] = self.stmt_idx
    if isinstance(stmt.data, pyvex.IRExpr.Get) and stmt.data.result_size(self.tyenv) == 64:
        self.tmp_with_reg_as_value[stmt.tmp] = stmt.data.offset
    super().METHOD_NAME(stmt)