466                                          const BinaryOperator *BO,  in translateBinOp()  argument
468    til::SExpr *E0 = translate(BO->getLHS(), Ctx);  in translateBinOp()
469    til::SExpr *E1 = translate(BO->getRHS(), Ctx);  in translateBinOp()
478                                              const BinaryOperator *BO,  in translateBinAssign()  argument
481   const Expr *LHS = BO->getLHS();  in translateBinAssign()
482   const Expr *RHS = BO->getRHS();  in translateBinAssign()
504 til::SExpr *SExprBuilder::translateBinaryOperator(const BinaryOperator *BO,  in translateBinaryOperator()  argument
506   switch (BO->getOpcode()) {  in translateBinaryOperator()
509     return new (Arena) til::Undefined(BO);  in translateBinaryOperator()
511   case BO_Mul:  return translateBinOp(til::BOP_Mul, BO, Ctx);  in translateBinaryOperator()
512   case BO_Div:  return translateBinOp(til::BOP_Div, BO, Ctx);  in translateBinaryOperator()
513   case BO_Rem:  return translateBinOp(til::BOP_Rem, BO, Ctx);  in translateBinaryOperator()
514   case BO_Add:  return translateBinOp(til::BOP_Add, BO, Ctx);  in translateBinaryOperator()
515   case BO_Sub:  return translateBinOp(til::BOP_Sub, BO, Ctx);  in translateBinaryOperator()
516   case BO_Shl:  return translateBinOp(til::BOP_Shl, BO, Ctx);  in translateBinaryOperator()
517   case BO_Shr:  return translateBinOp(til::BOP_Shr, BO, Ctx);  in translateBinaryOperator()
518   case BO_LT:   return translateBinOp(til::BOP_Lt,  BO, Ctx);  in translateBinaryOperator()
519   case BO_GT:   return translateBinOp(til::BOP_Lt,  BO, Ctx, true);  in translateBinaryOperator()
520   case BO_LE:   return translateBinOp(til::BOP_Leq, BO, Ctx);  in translateBinaryOperator()
521   case BO_GE:   return translateBinOp(til::BOP_Leq, BO, Ctx, true);  in translateBinaryOperator()
522   case BO_EQ:   return translateBinOp(til::BOP_Eq,  BO, Ctx);  in translateBinaryOperator()
523   case BO_NE:   return translateBinOp(til::BOP_Neq, BO, Ctx);  in translateBinaryOperator()
524   case BO_And:  return translateBinOp(til::BOP_BitAnd,   BO, Ctx);  in translateBinaryOperator()
525   case BO_Xor:  return translateBinOp(til::BOP_BitXor,   BO, Ctx);  in translateBinaryOperator()
526   case BO_Or:   return translateBinOp(til::BOP_BitOr,    BO, Ctx);  in translateBinaryOperator()
527   case BO_LAnd: return translateBinOp(til::BOP_LogicAnd, BO, Ctx);  in translateBinaryOperator()
528   case BO_LOr:  return translateBinOp(til::BOP_LogicOr,  BO, Ctx);  in translateBinaryOperator()
530   case BO_Assign:    return translateBinAssign(til::BOP_Eq,  BO, Ctx, true);  in translateBinaryOperator()
531   case BO_MulAssign: return translateBinAssign(til::BOP_Mul, BO, Ctx);  in translateBinaryOperator()
532   case BO_DivAssign: return translateBinAssign(til::BOP_Div, BO, Ctx);  in translateBinaryOperator()
533   case BO_RemAssign: return translateBinAssign(til::BOP_Rem, BO, Ctx);  in translateBinaryOperator()
534   case BO_AddAssign: return translateBinAssign(til::BOP_Add, BO, Ctx);  in translateBinaryOperator()
535   case BO_SubAssign: return translateBinAssign(til::BOP_Sub, BO, Ctx);  in translateBinaryOperator()
536   case BO_ShlAssign: return translateBinAssign(til::BOP_Shl, BO, Ctx);  in translateBinaryOperator()
537   case BO_ShrAssign: return translateBinAssign(til::BOP_Shr, BO, Ctx);  in translateBinaryOperator()
538   case BO_AndAssign: return translateBinAssign(til::BOP_BitAnd, BO, Ctx);  in translateBinaryOperator()
539   case BO_XorAssign: return translateBinAssign(til::BOP_BitXor, BO, Ctx);  in translateBinaryOperator()
540   case BO_OrAssign:  return translateBinAssign(til::BOP_BitOr,  BO, Ctx);  in translateBinaryOperator()
544     return translate(BO->getRHS(), Ctx);  in translateBinaryOperator()
546   return new (Arena) til::Undefined(BO);  in translateBinaryOperator()