Searched refs:fromFloatUnOp (Results 1 – 1 of 1) sorted by relevance
58 static inline llvm::SMTExprRef fromFloatUnOp(llvm::SMTSolverRef &Solver, in fromFloatUnOp() function191 return fromFloatUnOp(Solver, UO_LNot, in fromFloatSpecialBinOp()244 return fromFloatUnOp(Solver, UO_LNot, in fromFloatBinOp()458 ? fromFloatUnOp(Solver, USE->getOpcode(), OperandExp) in getSymExpr()