237     return llvm::APFloat::IEEEhalf();  in getFloatSemantics()
239     return llvm::APFloat::IEEEsingle();  in getFloatSemantics()
241     return llvm::APFloat::IEEEdouble();  in getFloatSemantics()
243     return llvm::APFloat::IEEEquad();  in getFloatSemantics()
250   return (llvm::APFloat::semanticsPrecision(LHS) ==  in areEquivalent()
251           llvm::APFloat::semanticsPrecision(RHS)) &&  in areEquivalent()
252          (llvm::APFloat::semanticsMinExponent(LHS) ==  in areEquivalent()
253           llvm::APFloat::semanticsMinExponent(RHS)) &&  in areEquivalent()
254          (llvm::APFloat::semanticsMaxExponent(LHS) ==  in areEquivalent()
255           llvm::APFloat::semanticsMaxExponent(RHS)) &&  in areEquivalent()
256          (llvm::APFloat::semanticsSizeInBits(LHS) ==  in areEquivalent()
257           llvm::APFloat::semanticsSizeInBits(RHS));  in areEquivalent()
750   SMTExprRef mkFloat(const llvm::APFloat Float) override {  in mkFloat()
752         getFloatSort(llvm::APFloat::semanticsSizeInBits(Float.getSemantics()));  in mkFloat()
787                  llvm::APFloat &Float, bool useSemantics) {  in toAPFloat()
803     Float = llvm::APFloat(Semantics, Int);  in toAPFloat()
859   bool getInterpretation(const SMTExprRef &Exp, llvm::APFloat &Float) override {  in getInterpretation()