REGISTER LIVENESS ANALYSIS FOR SIMD ARCHITECTURES

摘要

Systems and methods of allocating physical registers to variables may involve identifying a partial definition of a variable in an inter-procedural control flow graph. A determination can be made as to whether to terminate a live range of the variable based at least in part on the partial definition. Additionally, a physical register may be allocated to the variable based at least in part on the live range.

主权项

1. A method comprising:
identifying a partial definition of a variable in a inter-procedural control flow graph; identifying a strongly connected component status of an inter-procedural control flow graph block containing the partial definition; determining whether to terminate a live range of the variable based at least in part on the strongly connected component status, and whether the strongly connected component contains multiple entry loops, and whether the partial definition is a definition that does not use indirect addressing of the variable; and allocating a physical register to the variable based at least in part on the live range.