- cerr << " " << Msg << ":\t";
- WriteAsOperand(*cerr.stream(), V1, true, M) << ", ";
- WriteAsOperand(*cerr.stream(), V2, true, M) << "\n";
+ std::stringstream s1, s2;
+ WriteAsOperand(s1, V1, true, M);
+ WriteAsOperand(s2, V2, true, M);
+ std::string o1(s1.str()), o2(s2.str());
+ if (o2 < o1)
+ std::swap(o1, o2);
+ cerr << " " << Msg << ":\t"
+ << o1 << ", "
+ << o2 << "\n";