505                                          const BinaryOperator *BO,  in translateBinOp()  argument
507    til::SExpr *E0 = translate(BO->getLHS(), Ctx);  in translateBinOp()
508    til::SExpr *E1 = translate(BO->getRHS(), Ctx);  in translateBinOp()
516                                              const BinaryOperator *BO,  in translateBinAssign()  argument
519   const Expr *LHS = BO->getLHS();  in translateBinAssign()
520   const Expr *RHS = BO->getRHS();  in translateBinAssign()
541 til::SExpr *SExprBuilder::translateBinaryOperator(const BinaryOperator *BO,  in translateBinaryOperator()  argument
543   switch (BO->getOpcode()) {  in translateBinaryOperator()
546     return new (Arena) til::Undefined(BO);  in translateBinaryOperator()
548   case BO_Mul:  return translateBinOp(til::BOP_Mul, BO, Ctx);  in translateBinaryOperator()
549   case BO_Div:  return translateBinOp(til::BOP_Div, BO, Ctx);  in translateBinaryOperator()
550   case BO_Rem:  return translateBinOp(til::BOP_Rem, BO, Ctx);  in translateBinaryOperator()
551   case BO_Add:  return translateBinOp(til::BOP_Add, BO, Ctx);  in translateBinaryOperator()
552   case BO_Sub:  return translateBinOp(til::BOP_Sub, BO, Ctx);  in translateBinaryOperator()
553   case BO_Shl:  return translateBinOp(til::BOP_Shl, BO, Ctx);  in translateBinaryOperator()
554   case BO_Shr:  return translateBinOp(til::BOP_Shr, BO, Ctx);  in translateBinaryOperator()
555   case BO_LT:   return translateBinOp(til::BOP_Lt,  BO, Ctx);  in translateBinaryOperator()
556   case BO_GT:   return translateBinOp(til::BOP_Lt,  BO, Ctx, true);  in translateBinaryOperator()
557   case BO_LE:   return translateBinOp(til::BOP_Leq, BO, Ctx);  in translateBinaryOperator()
558   case BO_GE:   return translateBinOp(til::BOP_Leq, BO, Ctx, true);  in translateBinaryOperator()
559   case BO_EQ:   return translateBinOp(til::BOP_Eq,  BO, Ctx);  in translateBinaryOperator()
560   case BO_NE:   return translateBinOp(til::BOP_Neq, BO, Ctx);  in translateBinaryOperator()
561   case BO_Cmp:  return translateBinOp(til::BOP_Cmp, BO, Ctx);  in translateBinaryOperator()
562   case BO_And:  return translateBinOp(til::BOP_BitAnd,   BO, Ctx);  in translateBinaryOperator()
563   case BO_Xor:  return translateBinOp(til::BOP_BitXor,   BO, Ctx);  in translateBinaryOperator()
564   case BO_Or:   return translateBinOp(til::BOP_BitOr,    BO, Ctx);  in translateBinaryOperator()
565   case BO_LAnd: return translateBinOp(til::BOP_LogicAnd, BO, Ctx);  in translateBinaryOperator()
566   case BO_LOr:  return translateBinOp(til::BOP_LogicOr,  BO, Ctx);  in translateBinaryOperator()
568   case BO_Assign:    return translateBinAssign(til::BOP_Eq,  BO, Ctx, true);  in translateBinaryOperator()
569   case BO_MulAssign: return translateBinAssign(til::BOP_Mul, BO, Ctx);  in translateBinaryOperator()
570   case BO_DivAssign: return translateBinAssign(til::BOP_Div, BO, Ctx);  in translateBinaryOperator()
571   case BO_RemAssign: return translateBinAssign(til::BOP_Rem, BO, Ctx);  in translateBinaryOperator()
572   case BO_AddAssign: return translateBinAssign(til::BOP_Add, BO, Ctx);  in translateBinaryOperator()
573   case BO_SubAssign: return translateBinAssign(til::BOP_Sub, BO, Ctx);  in translateBinaryOperator()
574   case BO_ShlAssign: return translateBinAssign(til::BOP_Shl, BO, Ctx);  in translateBinaryOperator()
575   case BO_ShrAssign: return translateBinAssign(til::BOP_Shr, BO, Ctx);  in translateBinaryOperator()
576   case BO_AndAssign: return translateBinAssign(til::BOP_BitAnd, BO, Ctx);  in translateBinaryOperator()
577   case BO_XorAssign: return translateBinAssign(til::BOP_BitXor, BO, Ctx);  in translateBinaryOperator()
578   case BO_OrAssign:  return translateBinAssign(til::BOP_BitOr,  BO, Ctx);  in translateBinaryOperator()
582     return translate(BO->getRHS(), Ctx);  in translateBinaryOperator()
584   return new (Arena) til::Undefined(BO);  in translateBinaryOperator()