reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/Analysis/ValueTracking.cpp
  582   if (!Q.AC || !Q.CxtI)
  582   if (!Q.AC || !Q.CxtI)
  590   for (auto &AssumeVH : Q.AC->assumptionsFor(V)) {
  594     assert(I->getParent()->getParent() == Q.CxtI->getParent()->getParent() &&
  596     if (Q.isExcluded(I))
  608     if (Arg == V && isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  608     if (Arg == V && isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  614         isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  614         isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  639           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  639           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  641         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  647                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  647                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  649         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  651         computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I));
  660                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  660                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  662         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  664         computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I));
  673                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  673                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  675         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  677         computeKnownBits(B, BKnown, Depth+1, Query(Q, I));
  686                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  686                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  688         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  690         computeKnownBits(B, BKnown, Depth+1, Query(Q, I));
  699                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  699                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  701         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  703         computeKnownBits(B, BKnown, Depth+1, Query(Q, I));
  715                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  715                  isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  717         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  719         computeKnownBits(B, BKnown, Depth+1, Query(Q, I));
  731                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  731                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  733         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  743                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  743                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  745         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  755                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  755                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  757         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  765                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  765                  isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) {
  767         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  777           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  777           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  779         computeKnownBits(A, RHSKnown, Depth + 1, Query(Q, I));
  790           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  790           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  792         computeKnownBits(A, RHSKnown, Depth + 1, Query(Q, I));
  803           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  803           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  805         computeKnownBits(A, RHSKnown, Depth + 1, Query(Q, I));
  816           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  816           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  818         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  829           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  829           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  831         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  840           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  840           isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
  842         computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
  854         if (isKnownToBeAPowerOfTwo(A, false, Depth + 1, Query(Q, I)))
  871     if (Q.ORE)
  872       Q.ORE->emit([&]() {
  873         auto *CxtI = const_cast<Instruction *>(Q.CxtI);