The compiler has an optimization where if two otherwise-identical instructions have complementary predicates, the two instructions will be combined into a single unconditional instruction. This is common in compiler-generated sequences. The problem is that the compiler should not do this if the instructions access a volatile object and performing the optimization would reorder the accesses. This is exactly the situation in this test case - the user is trying to control the order of volatile accesses with an if statement.