genIf(o, ind, "!=", s[0].ub, readCh);
genGoTo(o, 0, from, bg, readCh);
}
- if (DFlag)
- {
- genGoTo(o, ind, from, next, readCh);
- }
return ;
}
else
genIf(o, ind, ">=", s[0].ub, readCh);
genGoTo(o, 0, from, s[1].to, readCh);
}
- if (DFlag)
- {
- genGoTo(o, ind, from, next, readCh);
- }
return ;
}
else
s += 1;
}
}
-
- if (DFlag)
- {
- genGoTo(o, ind, from, next, readCh);
- }
}
void Go::genLinear(OutputFile & o, uint ind, const State *from, const State *next, bool &readCh, uint mask) const