Lines Matching refs:IsNegated
145 void addFact(CmpInst::Predicate Pred, Value *A, Value *B, bool IsNegated,
167 bool IsNegated, unsigned NumIn, unsigned NumOut,
394 CmpInst::Predicate Pred, Value *A, Value *B, bool IsNegated, unsigned NumIn, in transferToOtherSystem() argument
410 IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
411 addFact(CmpInst::ICMP_SLT, A, B, IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
416 addFact(CmpInst::ICMP_ULT, A, B, IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
421 IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
425 addFact(CmpInst::ICMP_UGE, A, B, IsNegated, NumIn, NumOut, DFSInStack); in transferToOtherSystem()
575 bool IsNegated, unsigned NumIn, unsigned NumOut, in addFact() argument
608 DFSInStack.emplace_back(NumIn, NumOut, IsNegated, R.IsSigned, in addFact()
617 DFSInStack.emplace_back(NumIn, NumOut, IsNegated, R.IsSigned, in addFact()