Optimal Loop Parallelization under Register Constraints

Christine Eisenbeis (1) , Antoine Sawaya (1)

1 A3 - Advanced analysis to code optimization

This report deals with the interaction between instruction scheduling and register allocation, in the case of straight line code and in the case of loops. This problem is at the heart of code optimization in microprocessors with instruction-level parallelism. Usual solutions use heuristics based on a decoupled approach. We propose here a formulation by linear integer programming, that allows dependence, resource and register constraints to be integrated in the same framework . By varying the parameters, all kinds of optimization problems can be solved exactly (maximization of the throughput, minimization of the number of registers). We report on examples of computation timings that turn out to be prohibitive in some specific cases, but tractable on average.

Mots clés: LOOP SCHEDULING; REGISTER ALLOCATION; LINEAR INTEGER PROGRAMMING

Domaines: Autre [cs.OH]

Christine Eisenbeis, Antoine Sawaya. Optimal Loop Parallelization under Register Constraints. [Research Report] RR-2781, INRIA. 1996. ⟨inria-00073911⟩