Searched refs:FromBitWidth (Results 1 – 2 of 2) sorted by relevance
261 QualType FromTy, uint64_t FromBitWidth) { in fromCast() argument275 if (ToBitWidth > FromBitWidth) in fromCast()277 ? Solver->mkBVSignExt(ToBitWidth - FromBitWidth, Exp) in fromCast()278 : Solver->mkBVZeroExt(ToBitWidth - FromBitWidth, Exp); in fromCast()280 if (ToBitWidth < FromBitWidth) in fromCast()288 if (ToBitWidth != FromBitWidth) in fromCast()
438 bool shouldChangeType(unsigned FromBitWidth, unsigned ToBitWidth) const;