if flags & SF:
      yield assign_t(self.sf.copy(), sign_t(self.eflags_expr.copy()))