 See for example.Memory dependence prediction is an optimization on top of memory dependence speculation.Sequential execution semantics imply that stores and loads appear to execute in the order specified by the program.