Bidirectional liveness analysis, or how less than half of the Alpha's registers are used


Interprocedural data flow analyses of executable programs suffer from the conservative assumptions that need to be made because no precise control flow graph is available and because registers are spilled onto the stack. This paper discusses the exploitation of calling-conventions in executable code data flow analyses to avoid the propagation of the… (More)
DOI: 10.1016/j.sysarc.2006.03.001


5 Figures and Tables

Slides referencing similar topics