|
|
reference, declaration → definition
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);