Searched refs:getFloatSort (Results 1 – 3 of 3) sorted by relevance
33 return Solver->getFloatSort(BitWidth); in mkSort()292 return Solver->mkFPtoFP(Exp, Solver->getFloatSort(ToBitWidth)); in fromCast()298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast()
144 SMTSortRef getFloatSort(unsigned BitWidth) { in getFloatSort() function
750 getFloatSort(llvm::APFloat::semanticsSizeInBits(Float.getSemantics())); in mkFloat()