Lines Matching defs:IsSigned

211   bool IsSigned = false;
216   StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned,
218       : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned),
228   bool IsSigned = false;
232   ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq,
234       : Coefficients(std::move(Coefficients)), IsSigned(IsSigned), IsEq(IsEq),
443                                bool IsSigned, const DataLayout &DL);
452                                   bool IsSigned, const DataLayout &DL) {
458   assert(!IsSigned && "The logic below only supports decomposition for "
469     auto IdxResult = decompose(Index, Preconditions, IsSigned, DL);
489                                bool IsSigned, const DataLayout &DL) {
491   auto MergeResults = [&Preconditions, IsSigned, &DL](Value *A, Value *B,
493     auto ResA = decompose(A, Preconditions, IsSigned, DL);
500   if (Ty->isPointerTy() && !IsSigned) {
502       return decomposeGEP(*GEP, Preconditions, IsSigned, DL);
518   if (IsSigned) {
537       return MergeResults(Op0, Op1, IsSigned);
540       auto ResA = decompose(Op0, Preconditions, IsSigned, DL);
541       auto ResB = decompose(Op1, Preconditions, IsSigned, DL);
548       auto Result = decompose(Op0, Preconditions, IsSigned, DL);
559         auto Result = decompose(Op0, Preconditions, IsSigned, DL);
596     return MergeResults(Op0, Op1, IsSigned);
606     return MergeResults(Op0, Op1, IsSigned);
619     return MergeResults(Op0, CI, IsSigned);
624     auto Result = decompose(Op1, Preconditions, IsSigned, DL);
631     auto Result = decompose(Op1, Preconditions, IsSigned, DL);
637     auto ResA = decompose(Op0, Preconditions, IsSigned, DL);
638     auto ResB = decompose(Op1, Preconditions, IsSigned, DL);
693   bool IsSigned = ForceSignedSystem || CmpInst::isSigned(Pred);
694   auto &Value2Index = getValue2Index(IsSigned);
696                         Preconditions, IsSigned, DL);
698                         Preconditions, IsSigned, DL);
729       IsSigned, IsEq, IsNe);
866          getCS(R.IsSigned).isConditionImplied(R.Coefficients);
1279   auto CollectArguments = [&](ArrayRef<Value *> Ops, bool IsSigned) {
1280     auto &Value2Index = Info.getValue2Index(IsSigned);
1333   auto CloneInstructions = [&](ArrayRef<Value *> Ops, bool IsSigned) {
1336     auto &Value2Index = Info.getValue2Index(IsSigned);
1400   auto &CSToUse = Info.getCS(R.IsSigned);
1514   Info.popLastConstraint(E.IsSigned);
1516   auto &Mapping = Info.getValue2Index(E.IsSigned);
1519   Info.popLastNVariables(E.IsSigned, E.ValuesToRelease.size());
1617   auto &CSToUse = getCS(R.IsSigned);
1628   auto &Value2Index = getValue2Index(R.IsSigned);
1636     dumpConstraint(R.Coefficients, getValue2Index(R.IsSigned));
1640   DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1643   if (!R.IsSigned) {
1649       DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1660     DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1706     auto &CSToUse = Info.getCS(R.IsSigned);
1797         dumpConstraint(Info.getCS(E.IsSigned).getLastConstraint(),
1798                        Info.getValue2Index(E.IsSigned));
1929       count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; });