Searched refs:IsKnownNonNegative (Results 1 – 3 of 3) sorted by relevance
341 bool IsKnownNonNegative; member344 bool IsKnownNonNegative = false) in DecompEntry()346 IsKnownNonNegative(IsKnownNonNegative) {} in DecompEntry()355 Decomposition(Value *V, bool IsKnownNonNegative = false) { in Decomposition()356 Vars.emplace_back(1, V, IsKnownNonNegative); in Decomposition()503 bool IsKnownNonNegative = false; in decompose() local518 IsKnownNonNegative = true; in decompose()543 return {V, IsKnownNonNegative}; in decompose()554 IsKnownNonNegative = true; in decompose()594 return {V, IsKnownNonNegative}; in decompose()[all …]
995 auto IsKnownNonNegative = [this](Value *V) { in reorderGEP() local998 IsChainInBounds &= all_of(GEP->indices(), IsKnownNonNegative); in reorderGEP()1000 IsChainInBounds &= all_of(PtrGEP->indices(), IsKnownNonNegative); in reorderGEP()
2442 auto IsKnownNonNegative = [&](const SCEV *S) { in StrengthenNoWrapFlags() local2446 if (SignOrUnsignWrap == SCEV::FlagNSW && all_of(Ops, IsKnownNonNegative)) in StrengthenNoWrapFlags()2490 Ops[0]->isZero() && IsKnownNonNegative(Ops[1])) in StrengthenNoWrapFlags()