738     Query QueryNoAC = Q;  in computeKnownBitsFromAssume()  local
739     QueryNoAC.AC = nullptr;  in computeKnownBitsFromAssume()
755             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
763             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
765             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
776             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
778             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
789             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
791             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
802             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
804             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
815             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
817             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
831             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
833             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
847             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
860             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
872             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
882             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
894             computeKnownBits(A, Depth + 1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
907             computeKnownBits(A, Depth + 1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
920             computeKnownBits(A, Depth + 1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
933             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
946             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
957             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
969         if (isKnownToBeAPowerOfTwo(A, false, Depth + 1, QueryNoAC))  in computeKnownBitsFromAssume()