Searched refs:FromBitWidth (Results 1 – 2 of 2) sorted by relevance
264 uint64_t FromBitWidth) { in fromCast() argument278 if (ToBitWidth > FromBitWidth) in fromCast()280 ? Solver->mkBVSignExt(ToBitWidth - FromBitWidth, Exp) in fromCast()281 : Solver->mkBVZeroExt(ToBitWidth - FromBitWidth, Exp); in fromCast()283 if (ToBitWidth < FromBitWidth) in fromCast()291 if (ToBitWidth != FromBitWidth) in fromCast()
247 bool shouldChangeType(unsigned FromBitWidth, unsigned ToBitWidth) const;