Searched refs:fromUnOp (Results 1 – 1 of 1) sorted by relevance
39 static inline llvm::SMTExprRef fromUnOp(llvm::SMTSolverRef &Solver, in fromUnOp() function66 return fromUnOp(Solver, Op, Exp); in fromFloatUnOp()141 return fromUnOp(Solver, UO_LNot, in fromBinOp()459 : fromUnOp(Solver, USE->getOpcode(), OperandExp); in getSymExpr()518 return Assumption ? fromUnOp(Solver, UO_LNot, Exp) : Exp; in getZeroExpr()