Lines Matching refs:APFloat
242 return llvm::APFloat::IEEEhalf(); in getFloatSemantics()
244 return llvm::APFloat::IEEEsingle(); in getFloatSemantics()
246 return llvm::APFloat::IEEEdouble(); in getFloatSemantics()
248 return llvm::APFloat::IEEEquad(); in getFloatSemantics()
255 return (llvm::APFloat::semanticsPrecision(LHS) == in areEquivalent()
256 llvm::APFloat::semanticsPrecision(RHS)) && in areEquivalent()
257 (llvm::APFloat::semanticsMinExponent(LHS) == in areEquivalent()
258 llvm::APFloat::semanticsMinExponent(RHS)) && in areEquivalent()
259 (llvm::APFloat::semanticsMaxExponent(LHS) == in areEquivalent()
260 llvm::APFloat::semanticsMaxExponent(RHS)) && in areEquivalent()
261 (llvm::APFloat::semanticsSizeInBits(LHS) == in areEquivalent()
262 llvm::APFloat::semanticsSizeInBits(RHS)); in areEquivalent()
762 SMTExprRef mkFloat(const llvm::APFloat Float) override { in mkFloat()
764 getFloatSort(llvm::APFloat::semanticsSizeInBits(Float.getSemantics())); in mkFloat()
799 llvm::APFloat &Float, bool useSemantics) { in toAPFloat()
815 Float = llvm::APFloat(Semantics, Int); in toAPFloat()
871 bool getInterpretation(const SMTExprRef &Exp, llvm::APFloat &Float) override { in getInterpretation()