Lines Matching refs:BW
5292 /// where N = 2^BW and BW is the common bit width of A and B. The signedness of
5298 uint32_t BW = A.getBitWidth();
5299 assert(BW == B.getBitWidth() && "Bit widths must be the same.");
5319 // (N / D) may need BW+1 bits in its representation. Hence, we'll use this
5321 APInt AD = A.lshr(Mult2).zext(BW + 1); // AD = A / D
5322 APInt Mod(BW + 1, 0);
5323 Mod.setBit(BW - Mult2); // Mod = N / D
5328 APInt Result = (I * B.lshr(Mult2).zext(BW + 1)).urem(Mod);
5330 // The result is guaranteed to be less than 2^BW so we may truncate it to BW
5332 return SE.getConstant(Result.trunc(BW));
5464 // Start + Step*N = 0 (mod 2^BW)
5468 // Step*N = -Start (mod 2^BW)
5470 // where BW is the common bit width of Start and Step.
5495 // 1*N = -Start; -1*N = Start (mod 2^BW), so:
