Searched defs:ToWidth (Results 1 – 4 of 4) 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()
118 unsigned ToWidth = To->getPrimitiveSizeInBits(); in ShouldChangeType() local
209 unsigned ToWidth = To->getPrimitiveSizeInBits(); in shouldChangeType() local
393 const unsigned ToWidth = Ctx.getIntWidth(ToType); in getNarrowingKind() local