Searched refs:VInfo (Results 1 – 2 of 2) sorted by relevance
40 InfoRec &VInfo = DT.Info[DT.Roots[i]]; in DFSPass()41 VInfo.DFSNum = VInfo.Semi = ++N; in DFSPass()42 VInfo.Label = V; in DFSPass()123 typename DominatorTreeBase<typename GraphT::NodeType>::InfoRec &VInfo = in Eval() local125 typename GraphT::NodeType* VAncestor = DT.Vertex[VInfo.Parent]; in Eval()128 if (Visited.insert(VAncestor).second && VInfo.Parent >= LastLinked) { in Eval()135 if (VInfo.Parent < LastLinked) in Eval()141 typename GraphT::NodeType* VLabel = VInfo.Label; in Eval()143 VInfo.Label = VAncestorLabel; in Eval()144 VInfo.Parent = VAInfo.Parent; in Eval()
962 void pushVariant(const TransVariant &VInfo, bool IsRead);1139 pushVariant(const TransVariant &VInfo, bool IsRead) { in pushVariant() argument1141 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1145 if (VInfo.ProcIdx != 0) in pushVariant()1146 Trans.ProcIndices.assign(1, VInfo.ProcIdx); in pushVariant()1149 if (VInfo.VarOrSeqDef->isSubClassOf("SchedVar")) { in pushVariant()1150 Record *PredDef = VInfo.VarOrSeqDef->getValueAsDef("Predicate"); in pushVariant()1151 Trans.PredTerm.push_back(PredCheck(IsRead, VInfo.RWIdx,PredDef)); in pushVariant()1152 RecVec SelectedDefs = VInfo.VarOrSeqDef->getValueAsListOfDefs("Selected"); in pushVariant()1156 assert(VInfo.VarOrSeqDef->isSubClassOf("WriteSequence") && in pushVariant()[all …]