Integrated Modulo Scheduling for Clustered VLIW Architectures

We solve the problem of integrating modulo scheduling with instruction selection (including cluster assignment), instruction scheduling and register allocation, with optimal spill code generation and scheduling. Our method is based on integer linear programming. We prove that our algorithm delivers optimal results in finite time for a certain class of architectures. We. believe that these results are interesting both from a theoretical point of view and as a reference point when devising heuristic methods.