Searched defs:ToWidth (Results 1 – 8 of 8) sorted by relevance
706 SMTExprRef mkFPtoSBV(const SMTExprRef &From, unsigned ToWidth) override { in mkFPtoSBV()713 SMTExprRef mkFPtoUBV(const SMTExprRef &From, unsigned ToWidth) override { in mkFPtoUBV()
709 SMTExprRef mkFPtoSBV(const SMTExprRef &From, unsigned ToWidth) override { in mkFPtoSBV()716 SMTExprRef mkFPtoUBV(const SMTExprRef &From, unsigned ToWidth) override { in mkFPtoUBV()
118 unsigned ToWidth = To->getPrimitiveSizeInBits(); in ShouldChangeType() local
209 unsigned ToWidth = To->getPrimitiveSizeInBits(); in shouldChangeType() local
2257 unsigned ToWidth = ToType->getScalarSizeInBits(); in joinVectorElements() local
269 unsigned ToWidth = To->getPrimitiveSizeInBits(); in shouldChangeType() local
6032 uint64_t ToWidth = Type->getIntegerBitWidth(); in pushCast() local
393 const unsigned ToWidth = Ctx.getIntWidth(ToType); in getNarrowingKind() local