693     Query QueryNoAC = Q;  in computeKnownBitsFromAssume()  local
694     QueryNoAC.AC = nullptr;  in computeKnownBitsFromAssume()
710             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
718             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
720             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
731             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
733             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
744             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
746             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
757             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
759             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
770             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
772             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
786             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
788             computeKnownBits(B, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
802             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
815             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
827             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
837             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
849             computeKnownBits(A, Depth + 1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
862             computeKnownBits(A, Depth + 1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
875             computeKnownBits(A, Depth + 1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
888             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
901             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
912             computeKnownBits(A, Depth+1, QueryNoAC).anyextOrTrunc(BitWidth);  in computeKnownBitsFromAssume()
924         if (isKnownToBeAPowerOfTwo(A, false, Depth + 1, QueryNoAC))  in computeKnownBitsFromAssume()