235     return llvm::APFloat::IEEEhalf();  in getFloatSemantics()
237     return llvm::APFloat::IEEEsingle();  in getFloatSemantics()
239     return llvm::APFloat::IEEEdouble();  in getFloatSemantics()
241     return llvm::APFloat::IEEEquad();  in getFloatSemantics()
248   return (llvm::APFloat::semanticsPrecision(LHS) ==  in areEquivalent()
249           llvm::APFloat::semanticsPrecision(RHS)) &&  in areEquivalent()
250          (llvm::APFloat::semanticsMinExponent(LHS) ==  in areEquivalent()
251           llvm::APFloat::semanticsMinExponent(RHS)) &&  in areEquivalent()
252          (llvm::APFloat::semanticsMaxExponent(LHS) ==  in areEquivalent()
253           llvm::APFloat::semanticsMaxExponent(RHS)) &&  in areEquivalent()
254          (llvm::APFloat::semanticsSizeInBits(LHS) ==  in areEquivalent()
255           llvm::APFloat::semanticsSizeInBits(RHS));  in areEquivalent()
748   SMTExprRef mkFloat(const llvm::APFloat Float) override {  in mkFloat()
750         getFloatSort(llvm::APFloat::semanticsSizeInBits(Float.getSemantics()));  in mkFloat()
785                  llvm::APFloat &Float, bool useSemantics) {  in toAPFloat()
801     Float = llvm::APFloat(Semantics, Int);  in toAPFloat()
857   bool getInterpretation(const SMTExprRef &Exp, llvm::APFloat &Float) override {  in getInterpretation()