consume was implemented because real architectures provide data dependency on the load path (i.e. a load of a pointer value is never reordered past the a load o

consume was implemented because real architectures provide data dependency on the load path (i.e. a load of a pointer value is never reordered past the a load of the pointed value). No architecture provides such a guarantee on the store path, unless , like TSO, provides it for all stores, so no point in specifying it in the standard.