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