Searched refs:FromBitWidth (Results 1 – 3 of 3) sorted by relevance
266 uint64_t FromBitWidth) { in fromCast() argument280 if (ToBitWidth > FromBitWidth) in fromCast()282 ? Solver->mkBVSignExt(ToBitWidth - FromBitWidth, Exp) in fromCast()283 : Solver->mkBVZeroExt(ToBitWidth - FromBitWidth, Exp); in fromCast()285 if (ToBitWidth < FromBitWidth) in fromCast()293 if (ToBitWidth != FromBitWidth) in fromCast()
993 unsigned FromBitWidth = Trunc->getOperand(0)->getType()->getIntegerBitWidth(); in selectTrunc() local996 if (ToBitWidth <= 32 && (32 < FromBitWidth && FromBitWidth <= 64)) { in selectTrunc()
248 bool shouldChangeType(unsigned FromBitWidth, unsigned ToBitWidth) const;