Searched refs:VInfo (Results 1 – 5 of 5) 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) && 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()
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()
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 …]
1262 my $VInfo = `$SigcheckCmd -nobanner -n $Path 2>$TMP_DIR/null`;1263 $VInfo=~s/\s*\(.*\)\s*//;1264 chomp($VInfo);1266 if($VInfo eq "n/a") {1267 $VInfo = uc($VInfo);1270 return $VInfo;
6062 if(my $VInfo = $LibInfo{$Version}{"info"}{$1})6064 if($VInfo=~/cnst[ ]*:[ ]*\@(\d+)/)