|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
lib/Analysis/ValueTracking.cpp 594 assert(I->getParent()->getParent() == Q.CxtI->getParent()->getParent() &&
596 if (Q.isExcluded(I))
603 assert(I->getCalledFunction()->getIntrinsicID() == Intrinsic::assume &&
606 Value *Arg = I->getArgOperand(0);
608 if (Arg == V && isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
614 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)) {
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)) {
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)) {
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)) {
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)) {
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)) {
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) {
733 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
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) {
757 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
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)) {
779 computeKnownBits(A, RHSKnown, Depth + 1, Query(Q, I));
790 isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
792 computeKnownBits(A, RHSKnown, Depth + 1, Query(Q, I));
803 isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
805 computeKnownBits(A, RHSKnown, Depth + 1, Query(Q, I));
816 isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
818 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
829 isValidAssumeForContext(I, Q.CxtI, Q.DT)) {
831 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
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)))