Searched refs:MaxHighZeros (Results 1 – 1 of 1) sorted by relevance
1137 unsigned MaxHighZeros = 0; in computeKnownBitsFromOperator() local1147 MaxHighZeros = 1; in computeKnownBitsFromOperator()1153 MaxHighZeros = std::max(Known.countMinLeadingZeros(), in computeKnownBitsFromOperator()1166 MaxHighZeros = in computeKnownBitsFromOperator()1174 MaxHighZeros = 1; in computeKnownBitsFromOperator()1182 if (MaxHighZeros > 0) in computeKnownBitsFromOperator()1183 Known.Zero.setHighBits(MaxHighZeros); in computeKnownBitsFromOperator()