Abstract: A method of compiling a computer program with interprocedural register allocation for global variables. The method of compiling includes a front-end phase, an interprocedural analysis phase, and a back-end phase. The interprocedural analysis phase receives intermediate representations from the front-end phase, processes the intermediate representations together to compute interprocedural information, and outputs optimized intermediate representations. During the interprocedural analysis phase, a set of eligible global variables are selected for promotion, wherein promotion of the selected eligible global variables comprises replacing memory references to said variables with references to global registers assigned to said variables. Other embodiments, aspects and features are also disclosed.