Lines Matching refs:IsSigned
211 bool IsSigned = false; member
216 StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned, in StackEntry()
218 : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned), in StackEntry()
228 bool IsSigned = false; member
232 ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq, in ConstraintTy()
234 : Coefficients(Coefficients), IsSigned(IsSigned), IsEq(IsEq), IsNe(IsNe) { in ConstraintTy()
434 bool IsSigned, const DataLayout &DL);
443 bool IsSigned, const DataLayout &DL) { in decomposeGEP() argument
449 assert(!IsSigned && "The logic below only supports decomposition for " in decomposeGEP()
458 auto IdxResult = decompose(Index, Preconditions, IsSigned, DL); in decomposeGEP()
476 bool IsSigned, const DataLayout &DL) { in decompose() argument
478 auto MergeResults = [&Preconditions, IsSigned, &DL](Value *A, Value *B, in decompose()
480 auto ResA = decompose(A, Preconditions, IsSigned, DL); in decompose()
487 if (Ty->isPointerTy() && !IsSigned) { in decompose()
489 return decomposeGEP(*GEP, Preconditions, IsSigned, DL); in decompose()
503 if (IsSigned) { in decompose()
511 return MergeResults(Op0, Op1, IsSigned); in decompose()
515 auto Result = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
526 auto Result = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
551 return MergeResults(Op0, Op1, IsSigned); in decompose()
561 return MergeResults(Op0, Op1, IsSigned); in decompose()
574 return MergeResults(Op0, CI, IsSigned); in decompose()
579 auto Result = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
586 auto Result = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
592 auto ResA = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
593 auto ResB = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
644 bool IsSigned = CmpInst::isSigned(Pred); in getConstraint() local
645 auto &Value2Index = getValue2Index(IsSigned); in getConstraint()
647 Preconditions, IsSigned, DL); in getConstraint()
649 Preconditions, IsSigned, DL); in getConstraint()
680 IsSigned, IsEq, IsNe); in getConstraint()
704 if (Pred == (IsSigned ? CmpInst::ICMP_SLT : CmpInst::ICMP_ULT)) in getConstraint()
817 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()
1210 auto CollectArguments = [&](ArrayRef<Value *> Ops, bool IsSigned) { in generateReproducer() argument
1211 auto &Value2Index = Info.getValue2Index(IsSigned); in generateReproducer()
1264 auto CloneInstructions = [&](ArrayRef<Value *> Ops, bool IsSigned) { in generateReproducer() argument
1267 auto &Value2Index = Info.getValue2Index(IsSigned); in generateReproducer()
1331 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition()
1403 Info.popLastConstraint(E.IsSigned); in removeEntryFromStack()
1405 auto &Mapping = Info.getValue2Index(E.IsSigned); in removeEntryFromStack()
1408 Info.popLastNVariables(E.IsSigned, E.ValuesToRelease.size()); in removeEntryFromStack()
1489 auto &CSToUse = getCS(R.IsSigned); in addFact()
1499 auto &Value2Index = getValue2Index(R.IsSigned); in addFact()
1507 dumpConstraint(R.Coefficients, getValue2Index(R.IsSigned)); in addFact()
1511 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned, in addFact()
1514 if (!R.IsSigned) { in addFact()
1520 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned, in addFact()
1531 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned, in addFact()
1578 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath()
1669 dumpConstraint(Info.getCS(E.IsSigned).getLastConstraint(), in eliminateConstraints()
1670 Info.getValue2Index(E.IsSigned)); in eliminateConstraints()
1784 count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; }); in eliminateConstraints()