Searched refs:AndBitWidth (Results 1 – 2 of 2) sorted by relevance
8327 unsigned AndBitWidth = And.getValueSizeInBits(); in LowerToBT() local8328 if (BitWidth > AndBitWidth) { in LowerToBT()8331 if (Zeros.countLeadingOnes() < BitWidth - AndBitWidth) in LowerToBT()
18155 unsigned AndBitWidth = And.getValueSizeInBits(); in LowerAndToBT() local18156 if (BitWidth > AndBitWidth) { in LowerAndToBT()18159 if (Known.countMinLeadingZeros() < BitWidth - AndBitWidth) in LowerAndToBT()