Searched refs:PredCheck (Results 1 – 1 of 1) sorted by relevance
1309 struct PredCheck { struct1314 PredCheck(bool r, unsigned w, Record *p): IsRead(r), RWIdx(w), Predicate(p) {} in PredCheck() argument1320 SmallVector<PredCheck, 4> PredTerm;1326 PredTransition(ArrayRef<PredCheck> PT, unsigned ProcId) { in PredTransition()1353 ArrayRef<PredCheck> Term);1373 ArrayRef<PredCheck> Term) { in mutuallyExclusive()1374 for (const PredCheck &PC: Term) { in mutuallyExclusive()1706 [](const PredCheck &P) { return P.Predicate; }); in inferFromTransitions()2258 for (const PredCheck &PC : TI.PredTerm) in dump()