Lines Matching defs:Int

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