Lines Matching refs:Query
94 struct Query { struct
100 Query(AssumptionCache *AC = nullptr, const Instruction *CxtI = nullptr, in Query() argument
104 Query(const Query &Q, const Value *NewExcl) in Query() argument
129 const Query &Q);
136 Query(AC, safeCxtI(V, CxtI), DT)); in computeKnownBits()
141 const Query &Q);
148 Query(AC, safeCxtI(V, CxtI), DT)); in ComputeSignBit()
152 const Query &Q, const DataLayout &DL);
159 Query(AC, safeCxtI(V, CxtI), DT), DL); in isKnownToBeAPowerOfTwo()
163 const Query &Q);
168 return ::isKnownNonZero(V, DL, Depth, Query(AC, safeCxtI(V, CxtI), DT)); in isKnownNonZero()
172 unsigned Depth, const Query &Q);
178 Query(AC, safeCxtI(V, CxtI), DT)); in MaskedValueIsZero()
182 unsigned Depth, const Query &Q);
188 return ::ComputeNumSignBits(V, DL, Depth, Query(AC, safeCxtI(V, CxtI), DT)); in ComputeNumSignBits()
195 const Query &Q) { in computeKnownBitsAddSub()
275 const Query &Q) { in computeKnownBitsMul()
413 static bool isValidAssumeForContext(Value *V, const Query &Q) { in isValidAssumeForContext()
470 Query(nullptr, CxtI, DT)); in isValidAssumeForContext()
508 unsigned Depth, const Query &Q) { in computeKnownBitsFromTrueCondition()
560 if (isKnownToBeAPowerOfTwo(RHS, false, Depth + 1, Query(Q, Cmp), DL)) in computeKnownBitsFromTrueCondition()
577 const Query &Q) { in computeKnownBitsFromDominatingCondition()
676 unsigned Depth, const Query &Q) { in computeKnownBitsFromAssume()
724 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
732 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
734 computeKnownBits(B, MaskKnownZero, MaskKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
745 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
747 computeKnownBits(B, MaskKnownZero, MaskKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
758 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
760 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
771 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
773 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
784 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
786 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
800 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
802 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
816 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
826 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
838 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
850 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
859 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
869 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
879 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
889 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
899 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
908 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
912 if (isKnownToBeAPowerOfTwo(A, false, Depth + 1, Query(Q, I), DL)) in computeKnownBitsFromAssume()
938 const DataLayout &DL, unsigned Depth, const Query &Q) { in computeKnownBits()
1516 const DataLayout &DL, unsigned Depth, const Query &Q) { in ComputeSignBit()
1535 const Query &Q, const DataLayout &DL) { in isKnownToBeAPowerOfTwo()
1632 unsigned Depth, const Query &Q) { in isGEPKnownNonNull()
1711 const Query &Q) { in isKnownNonZero()
1861 unsigned Depth, const Query &Q) { in MaskedValueIsZero()
1878 const Query &Q) { in ComputeNumSignBits()