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()
416   unsigned BitWidth = LHS.getBitWidth();  in mul()  local
417   assert(BitWidth == RHS.getBitWidth() && !LHS.hasConflict() &&  in mul()
423                BitWidth) -  in mul()
424       BitWidth;  in mul()
425   LeadZ = std::min(LeadZ, BitWidth);  in mul()
483   unsigned ResultBitsKnown = std::min(SmallestOperand + TrailZ, BitWidth);  in mul()
488   KnownBits Res(BitWidth);  in mul()
496   unsigned BitWidth = LHS.getBitWidth();  in mulhs()  local
497   assert(BitWidth == RHS.getBitWidth() && !LHS.hasConflict() &&  in mulhs()
499   KnownBits WideLHS = LHS.sext(2 * BitWidth);  in mulhs()
500   KnownBits WideRHS = RHS.sext(2 * BitWidth);  in mulhs()
501   return mul(WideLHS, WideRHS).extractBits(BitWidth, BitWidth);  in mulhs()
505   unsigned BitWidth = LHS.getBitWidth();  in mulhu()  local
506   assert(BitWidth == RHS.getBitWidth() && !LHS.hasConflict() &&  in mulhu()
508   KnownBits WideLHS = LHS.zext(2 * BitWidth);  in mulhu()
509   KnownBits WideRHS = RHS.zext(2 * BitWidth);  in mulhu()
510   return mul(WideLHS, WideRHS).extractBits(BitWidth, BitWidth);  in mulhu()
514   unsigned BitWidth = LHS.getBitWidth();  in udiv()  local
516   KnownBits Known(BitWidth);  in udiv()
524   if (RHSMaxLeadingZeros != BitWidth)  in udiv()
525     LeadZ = std::min(BitWidth, LeadZ + BitWidth - RHSMaxLeadingZeros - 1);  in udiv()
532   unsigned BitWidth = LHS.getBitWidth();  in urem()  local
534   KnownBits Known(BitWidth);  in urem()
553   unsigned BitWidth = LHS.getBitWidth();  in srem()  local
555   KnownBits Known(BitWidth);  in srem()