89   unsigned BitWidth = getBitWidth();  in sextInReg()  local
90   assert(0 < SrcBitWidth && SrcBitWidth <= BitWidth &&  in sextInReg()
93   if (SrcBitWidth == BitWidth)  in sextInReg()
96   unsigned ExtBits = BitWidth - SrcBitWidth;  in sextInReg()
168   unsigned BitWidth = LHS.getBitWidth();  in shl()  local
169   KnownBits Known(BitWidth);  in shl()
172   if (RHS.isConstant() && RHS.getConstant().ult(BitWidth)) {  in shl()
187   if (MinShiftAmount.ult(BitWidth)) {  in shl()
189     MinTrailingZeros = std::min(MinTrailingZeros, BitWidth);  in shl()
195   if (MaxShiftAmount.ult(BitWidth) && !LHS.isUnknown()) {  in shl()
222   unsigned BitWidth = LHS.getBitWidth();  in lshr()  local
223   KnownBits Known(BitWidth);  in lshr()
225   if (RHS.isConstant() && RHS.getConstant().ult(BitWidth)) {  in lshr()
240   if (MinShiftAmount.ult(BitWidth)) {  in lshr()
242     MinLeadingZeros = std::min(MinLeadingZeros, BitWidth);  in lshr()
248   if (MaxShiftAmount.ult(BitWidth) && !LHS.isUnknown()) {  in lshr()
275   unsigned BitWidth = LHS.getBitWidth();  in ashr()  local
276   KnownBits Known(BitWidth);  in ashr()
278   if (RHS.isConstant() && RHS.getConstant().ult(BitWidth)) {  in ashr()
292   if (MinShiftAmount.ult(BitWidth)) {  in ashr()
295       MinLeadingZeros = std::min(MinLeadingZeros, BitWidth);  in ashr()
299       MinLeadingOnes = std::min(MinLeadingOnes, BitWidth);  in ashr()
306   if (MaxShiftAmount.ult(BitWidth) && !LHS.isUnknown()) {  in ashr()
417   unsigned BitWidth = LHS.getBitWidth();  in mul()  local
418   assert(BitWidth == RHS.getBitWidth() && !LHS.hasConflict() &&  in mul()
493   unsigned ResultBitsKnown = std::min(SmallestOperand + TrailZ, BitWidth);  in mul()
498   KnownBits Res(BitWidth);  in mul()
504   if (NoUndefSelfMultiply && BitWidth > 1) {  in mul()
514   unsigned BitWidth = LHS.getBitWidth();  in mulhs()  local
515   assert(BitWidth == RHS.getBitWidth() && !LHS.hasConflict() &&  in mulhs()
517   KnownBits WideLHS = LHS.sext(2 * BitWidth);  in mulhs()
518   KnownBits WideRHS = RHS.sext(2 * BitWidth);  in mulhs()
519   return mul(WideLHS, WideRHS).extractBits(BitWidth, BitWidth);  in mulhs()
523   unsigned BitWidth = LHS.getBitWidth();  in mulhu()  local
524   assert(BitWidth == RHS.getBitWidth() && !LHS.hasConflict() &&  in mulhu()
526   KnownBits WideLHS = LHS.zext(2 * BitWidth);  in mulhu()
527   KnownBits WideRHS = RHS.zext(2 * BitWidth);  in mulhu()
528   return mul(WideLHS, WideRHS).extractBits(BitWidth, BitWidth);  in mulhu()
532   unsigned BitWidth = LHS.getBitWidth();  in udiv()  local
534   KnownBits Known(BitWidth);  in udiv()
542   if (RHSMaxLeadingZeros != BitWidth)  in udiv()
543     LeadZ = std::min(BitWidth, LeadZ + BitWidth - RHSMaxLeadingZeros - 1);  in udiv()
550   unsigned BitWidth = LHS.getBitWidth();  in urem()  local
552   KnownBits Known(BitWidth);  in urem()
571   unsigned BitWidth = LHS.getBitWidth();  in srem()  local
573   KnownBits Known(BitWidth);  in srem()