In this section we present the formulation of four recent ILP-based analyses in a uniform format for a simple example language. The four analyses are concerned with instruction scheduling, energy efficiency, code-size minimization, and register allocation. Casting the analyses in a common framework makes it easier to understand fundamental similarities and differences. For each of the four analyses, we specify the following items.
Processor: The key resource constraint of the intended processor.
Source program: Information about the source program that we assume is given to the ILP-based analysis, such as liveness information. Liveness information expresses, for each program point, which variables will be needed later in the computation. ...