An op that does not declare itself explicitly as “no side effect” is considered to have “unknown side effects” by default side effecting conservatively. This is what I commented on the review!
(that applies to the gpu.barrier that @grypp mentions above)
To be reordered, an op must declare itself either Pure or ConditionallySpeculatable