268                                          const BinaryOperator *BO,  in translateBinOp()  argument
270    til::SExpr *E0 = translate(BO->getLHS(), Ctx);  in translateBinOp()
271    til::SExpr *E1 = translate(BO->getRHS(), Ctx);  in translateBinOp()
280                                              const BinaryOperator *BO,  in translateBinAssign()  argument
283   const Expr *LHS = BO->getLHS();  in translateBinAssign()
284   const Expr *RHS = BO->getRHS();  in translateBinAssign()
306 til::SExpr *SExprBuilder::translateBinaryOperator(const BinaryOperator *BO,  in translateBinaryOperator()  argument
308   switch (BO->getOpcode()) {  in translateBinaryOperator()
311     return new (Arena) til::Undefined(BO);  in translateBinaryOperator()
313   case BO_Mul:  return translateBinOp(til::BOP_Mul, BO, Ctx);  in translateBinaryOperator()
314   case BO_Div:  return translateBinOp(til::BOP_Div, BO, Ctx);  in translateBinaryOperator()
315   case BO_Rem:  return translateBinOp(til::BOP_Rem, BO, Ctx);  in translateBinaryOperator()
316   case BO_Add:  return translateBinOp(til::BOP_Add, BO, Ctx);  in translateBinaryOperator()
317   case BO_Sub:  return translateBinOp(til::BOP_Sub, BO, Ctx);  in translateBinaryOperator()
318   case BO_Shl:  return translateBinOp(til::BOP_Shl, BO, Ctx);  in translateBinaryOperator()
319   case BO_Shr:  return translateBinOp(til::BOP_Shr, BO, Ctx);  in translateBinaryOperator()
320   case BO_LT:   return translateBinOp(til::BOP_Lt,  BO, Ctx);  in translateBinaryOperator()
321   case BO_GT:   return translateBinOp(til::BOP_Lt,  BO, Ctx, true);  in translateBinaryOperator()
322   case BO_LE:   return translateBinOp(til::BOP_Leq, BO, Ctx);  in translateBinaryOperator()
323   case BO_GE:   return translateBinOp(til::BOP_Leq, BO, Ctx, true);  in translateBinaryOperator()
324   case BO_EQ:   return translateBinOp(til::BOP_Eq,  BO, Ctx);  in translateBinaryOperator()
325   case BO_NE:   return translateBinOp(til::BOP_Neq, BO, Ctx);  in translateBinaryOperator()
326   case BO_And:  return translateBinOp(til::BOP_BitAnd,   BO, Ctx);  in translateBinaryOperator()
327   case BO_Xor:  return translateBinOp(til::BOP_BitXor,   BO, Ctx);  in translateBinaryOperator()
328   case BO_Or:   return translateBinOp(til::BOP_BitOr,    BO, Ctx);  in translateBinaryOperator()
329   case BO_LAnd: return translateBinOp(til::BOP_LogicAnd, BO, Ctx);  in translateBinaryOperator()
330   case BO_LOr:  return translateBinOp(til::BOP_LogicOr,  BO, Ctx);  in translateBinaryOperator()
332   case BO_Assign:    return translateBinAssign(til::BOP_Eq,  BO, Ctx, true);  in translateBinaryOperator()
333   case BO_MulAssign: return translateBinAssign(til::BOP_Mul, BO, Ctx);  in translateBinaryOperator()
334   case BO_DivAssign: return translateBinAssign(til::BOP_Div, BO, Ctx);  in translateBinaryOperator()
335   case BO_RemAssign: return translateBinAssign(til::BOP_Rem, BO, Ctx);  in translateBinaryOperator()
336   case BO_AddAssign: return translateBinAssign(til::BOP_Add, BO, Ctx);  in translateBinaryOperator()
337   case BO_SubAssign: return translateBinAssign(til::BOP_Sub, BO, Ctx);  in translateBinaryOperator()
338   case BO_ShlAssign: return translateBinAssign(til::BOP_Shl, BO, Ctx);  in translateBinaryOperator()
339   case BO_ShrAssign: return translateBinAssign(til::BOP_Shr, BO, Ctx);  in translateBinaryOperator()
340   case BO_AndAssign: return translateBinAssign(til::BOP_BitAnd, BO, Ctx);  in translateBinaryOperator()
341   case BO_XorAssign: return translateBinAssign(til::BOP_BitXor, BO, Ctx);  in translateBinaryOperator()
342   case BO_OrAssign:  return translateBinAssign(til::BOP_BitOr,  BO, Ctx);  in translateBinaryOperator()
346     return translate(BO->getRHS(), Ctx);  in translateBinaryOperator()
348   return new (Arena) til::Undefined(BO);  in translateBinaryOperator()