728   SMTExprRef mkBitvector(const llvm::APSInt Int, unsigned BitWidth) override {  in mkBitvector()  argument
732     if (LLVM_UNLIKELY(!Int.isRepresentableByInt64())) {  in mkBitvector()
734       Int.toString(Buffer, 10);  in mkBitvector()
739     const int64_t BitReprAsSigned = Int.getExtValue();  in mkBitvector()
744         Int.isSigned()  in mkBitvector()
754     llvm::APSInt Int = llvm::APSInt(Float.bitcastToAPInt(), false);  in mkFloat()  local
755     SMTExprRef Z3Int = mkBitvector(Int, Int.getBitWidth());  in mkFloat()
790     llvm::APSInt Int(Sort->getFloatSortSize(), true);  in toAPFloat()  local
794     if (!toAPSInt(BVSort, AST, Int, true)) {  in toAPFloat()
803     Float = llvm::APFloat(Semantics, Int);  in toAPFloat()
808                 llvm::APSInt &Int, bool useSemantics) {  in toAPSInt()  argument
810       if (useSemantics && Int.getBitWidth() != Sort->getBitvectorSortSize()) {  in toAPSInt()
823         Int = getBitvector(AST, Int.getBitWidth(), Int.isUnsigned());  in toAPSInt()
832       if (useSemantics && Int.getBitWidth() < 1) {  in toAPSInt()
837       Int = llvm::APSInt(llvm::APInt(Int.getBitWidth(), getBoolean(AST)),  in toAPSInt()
838                          Int.isUnsigned());  in toAPSInt()
845   bool getInterpretation(const SMTExprRef &Exp, llvm::APSInt &Int) override {  in getInterpretation()  argument
856     return toAPSInt(Sort, Assign, Int, true);  in getInterpretation()