Searched refs:VInfo (Results 1 – 3 of 3) sorted by relevance
39 InfoRec &VInfo = DT.Info[DT.Roots[i]]; in DFSPass()40 VInfo.DFSNum = VInfo.Semi = ++N; in DFSPass()41 VInfo.Label = V; in DFSPass()122 typename DominatorTreeBase<typename GraphT::NodeType>::InfoRec &VInfo = in Eval() local124 typename GraphT::NodeType* VAncestor = DT.Vertex[VInfo.Parent]; in Eval()127 if (Visited.insert(VAncestor).second && VInfo.Parent >= LastLinked) { in Eval()134 if (VInfo.Parent < LastLinked) in Eval()140 typename GraphT::NodeType* VLabel = VInfo.Label; in Eval()142 VInfo.Label = VAncestorLabel; in Eval()143 VInfo.Parent = VAInfo.Parent; in Eval()
275 InfoRec *VInfo = &NodeToInfo[V]; in eval() local276 if (VInfo->Parent < LastLinked) in eval()277 return VInfo->Label; in eval()282 Stack.push_back(VInfo); in eval()283 VInfo = &NodeToInfo[NumToNode[VInfo->Parent]]; in eval()284 } while (VInfo->Parent >= LastLinked); in eval()288 const InfoRec *PInfo = VInfo; in eval()291 VInfo = Stack.pop_back_val(); in eval()292 VInfo->Parent = PInfo->Parent; in eval()293 const InfoRec *VLabelInfo = &NodeToInfo[VInfo->Label]; in eval()[all …]
970 void pushVariant(const TransVariant &VInfo, bool IsRead);1147 pushVariant(const TransVariant &VInfo, bool IsRead) { in pushVariant() argument1149 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1153 if (VInfo.ProcIdx != 0) in pushVariant()1154 Trans.ProcIndices.assign(1, VInfo.ProcIdx); in pushVariant()1157 if (VInfo.VarOrSeqDef->isSubClassOf("SchedVar")) { in pushVariant()1158 Record *PredDef = VInfo.VarOrSeqDef->getValueAsDef("Predicate"); in pushVariant()1159 Trans.PredTerm.push_back(PredCheck(IsRead, VInfo.RWIdx,PredDef)); in pushVariant()1160 RecVec SelectedDefs = VInfo.VarOrSeqDef->getValueAsListOfDefs("Selected"); in pushVariant()1164 assert(VInfo.VarOrSeqDef->isSubClassOf("WriteSequence") && in pushVariant()[all …]