@Override
public void endVisit(JBinaryOperation x, Context ctx) {
JType lhsType = x.getLhs().getType();
JType rhsType = x.getRhs().getType();
JType resultType = x.getType();
JBinaryOperator op = x.getOp();
if (program.isJavaLangString(resultType)) {
// Don't mess with concat.
return;
}
if (lhsType == JPrimitiveType.BOOLEAN
&& (op == JBinaryOperator.AND || op == JBinaryOperator.OR)) {
// Don't mess with if rewriter.
return;
}
// Special case: shift operators always coerce a long RHS to int.
if (op.isShiftOperator()) {
if (rhsType == longType) {
rhsType = program.getTypePrimitiveInt();
}
} else if (lhsType == longType || rhsType == longType) {
// We must coerce lhs and rhs to the same type, either long or a float.
// Assume a long type.
JType coerceTo = longType;
// But double / float takes precedence over long.
JPrimitiveType floatType = program.getTypePrimitiveFloat();
JPrimitiveType doubleType = program.getTypePrimitiveDouble();
// See if the lhs can coerce the rhs
if ((lhsType == floatType || lhsType == doubleType)) {
coerceTo = lhsType;
}
if (op.isAssignment()) {
// In an assignment, the lhs must coerce the rhs
coerceTo = lhsType;
} else if ((rhsType == floatType || rhsType == doubleType)) {
coerceTo = rhsType;
}