A computer product, method, and apparatus for detecting conflicting stores on speculatively boosted load operations

摘要

A computer product and method for causing a computer to perform load operations in a particular efficient way are disclosed. The computer is made to replace a load instruction at a particular location in a computer program instruction sequence with two instructions, an advanced load instruction and a load check instruction. The advanced load instruction is inserted into the instruction sequence up-stream from where the original load instruction was located, and may be inserted above store instructions. The load check instruction is inserted into the instruction sequence at or prior to the first dependent use instruction using the advanced load data, optimally at the location previously occupied by the load instruction.