Lines Matching refs:IsSigned
212 bool IsSigned = false; member
217 StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned, in StackEntry()
219 : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned), in StackEntry()
229 bool IsSigned = false; member
233 ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq, in ConstraintTy()
235 : Coefficients(std::move(Coefficients)), IsSigned(IsSigned), IsEq(IsEq), in ConstraintTy()
435 bool IsSigned, const DataLayout &DL);
444 bool IsSigned, const DataLayout &DL) { in decomposeGEP() argument
450 assert(!IsSigned && "The logic below only supports decomposition for " in decomposeGEP()
459 auto IdxResult = decompose(Index, Preconditions, IsSigned, DL); in decomposeGEP()
477 bool IsSigned, const DataLayout &DL) { in decompose() argument
479 auto MergeResults = [&Preconditions, IsSigned, &DL](Value *A, Value *B, in decompose()
481 auto ResA = decompose(A, Preconditions, IsSigned, DL); in decompose()
488 if (Ty->isPointerTy() && !IsSigned) { in decompose()
490 return decomposeGEP(*GEP, Preconditions, IsSigned, DL); in decompose()
506 if (IsSigned) { in decompose()
522 return MergeResults(Op0, Op1, IsSigned); in decompose()
526 auto Result = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
537 auto Result = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
567 return MergeResults(Op0, Op1, IsSigned); in decompose()
577 return MergeResults(Op0, Op1, IsSigned); in decompose()
590 return MergeResults(Op0, CI, IsSigned); in decompose()
595 auto Result = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
602 auto Result = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
608 auto ResA = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
609 auto ResB = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
660 bool IsSigned = CmpInst::isSigned(Pred); in getConstraint() local
661 auto &Value2Index = getValue2Index(IsSigned); in getConstraint()
663 Preconditions, IsSigned, DL); in getConstraint()
665 Preconditions, IsSigned, DL); in getConstraint()
696 IsSigned, IsEq, IsNe); in getConstraint()
720 if (Pred == (IsSigned ? CmpInst::ICMP_SLT : CmpInst::ICMP_ULT)) in getConstraint()
833 getCS(R.IsSigned).isConditionImplied(R.Coefficients); in doesHold()
1245 auto CollectArguments = [&](ArrayRef<Value *> Ops, bool IsSigned) { in generateReproducer() argument
1246 auto &Value2Index = Info.getValue2Index(IsSigned); in generateReproducer()
1299 auto CloneInstructions = [&](ArrayRef<Value *> Ops, bool IsSigned) { in generateReproducer() argument
1302 auto &Value2Index = Info.getValue2Index(IsSigned); in generateReproducer()
1366 auto &CSToUse = Info.getCS(R.IsSigned); in checkCondition()
1480 Info.popLastConstraint(E.IsSigned); in removeEntryFromStack()
1482 auto &Mapping = Info.getValue2Index(E.IsSigned); in removeEntryFromStack()
1485 Info.popLastNVariables(E.IsSigned, E.ValuesToRelease.size()); in removeEntryFromStack()
1566 auto &CSToUse = getCS(R.IsSigned); in addFact()
1576 auto &Value2Index = getValue2Index(R.IsSigned); in addFact()
1584 dumpConstraint(R.Coefficients, getValue2Index(R.IsSigned)); in addFact()
1588 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned, in addFact()
1591 if (!R.IsSigned) { in addFact()
1597 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned, in addFact()
1608 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned, in addFact()
1655 auto &CSToUse = Info.getCS(R.IsSigned); in tryToSimplifyOverflowMath()
1746 dumpConstraint(Info.getCS(E.IsSigned).getLastConstraint(), in eliminateConstraints()
1747 Info.getValue2Index(E.IsSigned)); in eliminateConstraints()
1868 count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; }); in eliminateConstraints()