Function canonicalize_binary_operands 

pub(crate) fn canonicalize_binary_operands<'tcx, 'body>(
    tcx: TyCtxt<'tcx>,
    local_decls: &'body LocalDecls<'tcx>,
    op: BinOp,
    lhs: &mut Operand<'tcx>,
    rhs: &mut Operand<'tcx>,
) -> bool

Canonicalize operands of binary operations. This only canonicalize their ordering for now.