740   SMTExprRef mkBitvector(const llvm::APSInt Int, unsigned BitWidth) override {  in mkBitvector()  argument
744     if (LLVM_UNLIKELY(!Int.isRepresentableByInt64())) {  in mkBitvector()
746       Int.toString(Buffer, 10);  in mkBitvector()
751     const int64_t BitReprAsSigned = Int.getExtValue();  in mkBitvector()
756         Int.isSigned()  in mkBitvector()
766     llvm::APSInt Int = llvm::APSInt(Float.bitcastToAPInt(), false);  in mkFloat()  local
767     SMTExprRef Z3Int = mkBitvector(Int, Int.getBitWidth());  in mkFloat()
802     llvm::APSInt Int(Sort->getFloatSortSize(), true);  in toAPFloat()  local
806     if (!toAPSInt(BVSort, AST, Int, true)) {  in toAPFloat()
815     Float = llvm::APFloat(Semantics, Int);  in toAPFloat()
820                 llvm::APSInt &Int, bool useSemantics) {  in toAPSInt()  argument
822       if (useSemantics && Int.getBitWidth() != Sort->getBitvectorSortSize()) {  in toAPSInt()
835         Int = getBitvector(AST, Int.getBitWidth(), Int.isUnsigned());  in toAPSInt()
844       if (useSemantics && Int.getBitWidth() < 1) {  in toAPSInt()
849       Int = llvm::APSInt(llvm::APInt(Int.getBitWidth(), getBoolean(AST)),  in toAPSInt()
850                          Int.isUnsigned());  in toAPSInt()
857   bool getInterpretation(const SMTExprRef &Exp, llvm::APSInt &Int) override {  in getInterpretation()  argument
868     return toAPSInt(Sort, Assign, Int, true);  in getInterpretation()