Searched refs:doFloatTypeConversion (Results 1 – 1 of 1) sorted by relevance
611 SMTConv::doFloatTypeConversion<llvm::SMTExprRef, &fromCast>( in doTypeConversion()755 doFloatTypeConversion(llvm::SMTSolverRef &Solver, ASTContext &Ctx, T &LHS, in doFloatTypeConversion() function