download.intel.com/technology/architecture/sma.pdf > This prediction is eventually verified by checking all RS-dispatched store addresses for an address match > against newer loads that were predicted non-conflicting and already executed. > If there is an offending load already executed, the pipe is flushed and execution restarted from that load.