Simple and effective link-time optimization of Modula-3 programs

Abstract

This paper, we describe the opportunities for link-time optimization of Modula-3 and present two link-time optimization techniques. Data-driven simplification is a new technique. It uses a program's type hierarchy to recover completely the cost of opaque types and to reduce the runtime overhead of methods. It also reveals other opportunities for optimization, such as constant and type propagation and procedure inlining and cloning. Profile-driven optimization uses profile data to identify and...