System and method for computer program compilation using scalar register promotion and static single assignment representation

Abstract

A scalar register promotion using static single assignment representation (SRP-SSAR) system and method are used in a compiler for optimizing compilation of source code. This optimization uses a promotion algorithm that is profile-driven and is based on the scope of intervals and works on static single representation of a program. The SRP-SSAR system comprises logic which promotes variables that hold scalar values and inserts loads and stores in an enclosing program interval (often natural loops). The system relies on recursive promotion of the outer program interval to propagate these loads and stores to the appropriate program interval. This logic exists in computer memory and is invoked by a user to compile source code into executable code. Use of the present invention significantly reduces memory operations, thereby increasing efficiency.

Dependencies are inferred from the claim text.