Lines Matching defs:op
143 BinaryOperator::Opcode op = SE->getOpcode();
144 if (BinaryOperator::isComparisonOp(op)) {
146 op = BinaryOperator::negateComparisonOp(op);
148 return assumeSymRel(state, SE->getLHS(), op, SE->getRHS());
159 BinaryOperator::Opcode Op = SSE->getOpcode();
160 assert(BinaryOperator::isComparisonOp(Op));
170 Op = BinaryOperator::reverseComparisonOp(Op);
172 Op = BinaryOperator::negateComparisonOp(Op);
173 return assumeSymRel(state, Subtraction, Op, Zero);
232 BinaryOperator::Opcode Op = SE->getOpcode();
233 if (Op == BO_Add || Op == BO_Sub) {
240 if (Op == BO_Sub)
248 BinaryOperator::Opcode op,
250 assert(BinaryOperator::isComparisonOp(op) &&
277 switch (op) {
