Searched refs:OperandExp (Results 1 – 1 of 1) sorted by relevance
454 llvm::SMTExprRef OperandExp = in getSymExpr() local458 ? fromFloatUnOp(Solver, USE->getOpcode(), OperandExp) in getSymExpr()459 : fromUnOp(Solver, USE->getOpcode(), OperandExp); in getSymExpr()