Lines Matching refs:IsSigned

56   bool IsSigned = false;  member
61 StackEntry(unsigned NumIn, unsigned NumOut, bool IsNot, bool IsSigned, in StackEntry()
63 : NumIn(NumIn), NumOut(NumOut), IsNot(IsNot), IsSigned(IsSigned), in StackEntry()
81 bool IsSigned = false; member
86 ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned) in ConstraintTy()
87 : Coefficients(Coefficients), IsSigned(IsSigned) {} in ConstraintTy()
179 bool IsSigned) { in decompose() argument
186 if (IsSigned) { in decompose()
314 bool IsSigned = CmpInst::isSigned(Pred); in getConstraint() local
315 auto &Value2Index = getValue2Index(IsSigned); in getConstraint()
317 Preconditions, IsSigned); in getConstraint()
319 Preconditions, IsSigned); in getConstraint()
352 IsSigned); in getConstraint()
364 if (Pred == (IsSigned ? CmpInst::ICMP_SLT : CmpInst::ICMP_ULT)) in getConstraint()
586 assert(CmpInst::isSigned(Pred) == R.IsSigned && in addFact()
588 auto &CSToUse = getCS(R.IsSigned); in addFact()
599 getValue2Index(R.IsSigned).insert(KV); in addFact()
605 dumpWithNames(R.Coefficients, getValue2Index(R.IsSigned)); in addFact()
608 DFSInStack.emplace_back(NumIn, NumOut, IsNegated, R.IsSigned, in addFact()
617 DFSInStack.emplace_back(NumIn, NumOut, IsNegated, R.IsSigned, in addFact()
711 dumpWithNames(Info.getCS(E.IsSigned).getLastConstraint(), in eliminateConstraints()
712 Info.getValue2Index(E.IsSigned)); in eliminateConstraints()
716 Info.popLastConstraint(E.IsSigned); in eliminateConstraints()
718 auto &Mapping = Info.getValue2Index(E.IsSigned); in eliminateConstraints()
721 Info.popLastNVariables(E.IsSigned, E.ValuesToRelease.size()); in eliminateConstraints()
752 auto &CSToUse = Info.getCS(R.IsSigned); in eliminateConstraints()
760 dumpWithNames(CSToUse, Info.getValue2Index(R.IsSigned)); in eliminateConstraints()
780 dumpWithNames(CSToUse, Info.getValue2Index(R.IsSigned)); in eliminateConstraints()
820 count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; }); in eliminateConstraints()