Searched refs:IsCheck (Results 1 – 1 of 1) sorted by relevance
594 bool IsCheck; member597 FactOrCheck(DomTreeNode *DTN, Instruction *Inst, bool IsCheck, bool Not) in FactOrCheck()599 IsCheck(IsCheck), Not(Not) {} in FactOrCheck()611 if (!IsCheck && isa<IntrinsicInst>(Inst)) { in isAssumeFact()618 bool isConditionFact() const { return !IsCheck && isa<CmpInst>(Inst); } in isConditionFact()1002 if (CB.IsCheck) in eliminateConstraints()1011 if (CB.IsCheck) { in eliminateConstraints()