Searched refs:MaxHighZeros (Results 1 – 1 of 1) sorted by relevance
1050 unsigned MaxHighZeros = 0; in computeKnownBitsFromOperator() local1060 MaxHighZeros = 1; in computeKnownBitsFromOperator()1066 MaxHighZeros = std::max(Known.countMinLeadingZeros(), in computeKnownBitsFromOperator()1079 MaxHighZeros = in computeKnownBitsFromOperator()1086 MaxHighZeros = 1; in computeKnownBitsFromOperator()1094 if (MaxHighZeros > 0) in computeKnownBitsFromOperator()1095 Known.Zero.setHighBits(MaxHighZeros); in computeKnownBitsFromOperator()