Lines Matching defs:BO
479 const BinaryOperator *BO,
481 til::SExpr *E0 = translate(BO->getLHS(), Ctx);
482 til::SExpr *E1 = translate(BO->getRHS(), Ctx);
490 const BinaryOperator *BO,
493 const Expr *LHS = BO->getLHS();
494 const Expr *RHS = BO->getRHS();
515 til::SExpr *SExprBuilder::translateBinaryOperator(const BinaryOperator *BO,
517 switch (BO->getOpcode()) {
520 return new (Arena) til::Undefined(BO);
522 case BO_Mul: return translateBinOp(til::BOP_Mul, BO, Ctx);
523 case BO_Div: return translateBinOp(til::BOP_Div, BO, Ctx);
524 case BO_Rem: return translateBinOp(til::BOP_Rem, BO, Ctx);
525 case BO_Add: return translateBinOp(til::BOP_Add, BO, Ctx);
526 case BO_Sub: return translateBinOp(til::BOP_Sub, BO, Ctx);
527 case BO_Shl: return translateBinOp(til::BOP_Shl, BO, Ctx);
528 case BO_Shr: return translateBinOp(til::BOP_Shr, BO, Ctx);
529 case BO_LT: return translateBinOp(til::BOP_Lt, BO, Ctx);
530 case BO_GT: return translateBinOp(til::BOP_Lt, BO, Ctx, true);
531 case BO_LE: return translateBinOp(til::BOP_Leq, BO, Ctx);
532 case BO_GE: return translateBinOp(til::BOP_Leq, BO, Ctx, true);
533 case BO_EQ: return translateBinOp(til::BOP_Eq, BO, Ctx);
534 case BO_NE: return translateBinOp(til::BOP_Neq, BO, Ctx);
535 case BO_Cmp: return translateBinOp(til::BOP_Cmp, BO, Ctx);
536 case BO_And: return translateBinOp(til::BOP_BitAnd, BO, Ctx);
537 case BO_Xor: return translateBinOp(til::BOP_BitXor, BO, Ctx);
538 case BO_Or: return translateBinOp(til::BOP_BitOr, BO, Ctx);
539 case BO_LAnd: return translateBinOp(til::BOP_LogicAnd, BO, Ctx);
540 case BO_LOr: return translateBinOp(til::BOP_LogicOr, BO, Ctx);
542 case BO_Assign: return translateBinAssign(til::BOP_Eq, BO, Ctx, true);
543 case BO_MulAssign: return translateBinAssign(til::BOP_Mul, BO, Ctx);
544 case BO_DivAssign: return translateBinAssign(til::BOP_Div, BO, Ctx);
545 case BO_RemAssign: return translateBinAssign(til::BOP_Rem, BO, Ctx);
546 case BO_AddAssign: return translateBinAssign(til::BOP_Add, BO, Ctx);
547 case BO_SubAssign: return translateBinAssign(til::BOP_Sub, BO, Ctx);
548 case BO_ShlAssign: return translateBinAssign(til::BOP_Shl, BO, Ctx);
549 case BO_ShrAssign: return translateBinAssign(til::BOP_Shr, BO, Ctx);
550 case BO_AndAssign: return translateBinAssign(til::BOP_BitAnd, BO, Ctx);
551 case BO_XorAssign: return translateBinAssign(til::BOP_BitXor, BO, Ctx);
552 case BO_OrAssign: return translateBinAssign(til::BOP_BitOr, BO, Ctx);
556 return translate(BO->getRHS(), Ctx);
558 return new (Arena) til::Undefined(BO);