Lines Matching refs:VInfo
970 void pushVariant(const TransVariant &VInfo, bool IsRead);
1147 pushVariant(const TransVariant &VInfo, bool IsRead) { in pushVariant() argument
1149 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()
1166 SelectedRWs.push_back(SchedModels.getSchedRWIdx(VInfo.VarOrSeqDef, IsRead)); in pushVariant()
1169 const CodeGenSchedRW &SchedRW = SchedModels.getSchedRW(VInfo.RWIdx, IsRead); in pushVariant()