Lines Matching refs:Query

66 struct Query {  struct
72 Query(AssumptionCache *AC = nullptr, const Instruction *CxtI = nullptr, in Query() function
76 Query(const Query &Q, const Value *NewExcl) in Query() argument
101 const Query &Q);
108 Query(AC, safeCxtI(V, CxtI), DT)); in computeKnownBits()
113 const Query &Q);
120 Query(AC, safeCxtI(V, CxtI), DT)); in ComputeSignBit()
124 const Query &Q);
130 Query(AC, safeCxtI(V, CxtI), DT)); in isKnownToBeAPowerOfTwo()
134 const Query &Q);
139 return ::isKnownNonZero(V, TD, Depth, Query(AC, safeCxtI(V, CxtI), DT)); in isKnownNonZero()
144 const Query &Q);
150 Query(AC, safeCxtI(V, CxtI), DT)); in MaskedValueIsZero()
154 unsigned Depth, const Query &Q);
160 return ::ComputeNumSignBits(V, TD, Depth, Query(AC, safeCxtI(V, CxtI), DT)); in ComputeNumSignBits()
167 const Query &Q) { in computeKnownBitsAddSub()
247 const Query &Q) { in computeKnownBitsMul()
385 static bool isValidAssumeForContext(Value *V, const Query &Q, in isValidAssumeForContext()
446 Query(nullptr, CxtI, DT), DL); in isValidAssumeForContext()
480 unsigned Depth, const Query &Q) { in computeKnownBitsFromAssume()
530 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
538 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
540 computeKnownBits(B, MaskKnownZero, MaskKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
551 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
553 computeKnownBits(B, MaskKnownZero, MaskKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
564 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
566 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
577 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
579 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
590 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
592 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
606 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
608 computeKnownBits(B, BKnownZero, BKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
622 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
632 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
645 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
657 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
667 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
678 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
689 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
700 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
711 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
721 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
725 if (isKnownToBeAPowerOfTwo(A, false, Depth+1, Query(Q, I))) in computeKnownBitsFromAssume()
752 const Query &Q) { in computeKnownBits()
1332 const Query &Q) { in ComputeSignBit()
1351 const Query &Q) { in isKnownToBeAPowerOfTwo()
1449 unsigned Depth, const Query &Q) { in isGEPKnownNonNull()
1532 const Query &Q) { in isKnownNonZero()
1686 const Query &Q) { in MaskedValueIsZero()
1703 unsigned Depth, const Query &Q) { in ComputeNumSignBits()