Method for avoiding excessive overhead while using a form of SSA (static single assignment) extended to use storage locations other than local variables

摘要

The usual formulation of the compiler representation known as "SSA-form' can only handle local variables. It is desirable to extend this to allow other locations to be represented. Therefore, this invention adds synchronization operations that allow the efficient use of SSA form for non-local memory locations in the presence of possible aliasing.