We are of course in violent agreement. The point to note is that the decision on whether or not the reordering can occur, based on whether or not A and B are t

We are of course in violent agreement. The point to note is that the decision on whether or not the reordering can occur, based on whether or not A and B are the same or not, is made dynamically at the point of execution.