Software support for speculative loads | Synapse