Abstract

The Coagulating Code Generator (CCG) is designed to generate highly efficient code in terms of instruction selection, register usage, and procedure calls. These are not the only determinants of code efficiency, however. Optimizing compilers also try to improve code by a number of well-know transformations that we refer to as global optimizations; examples are global common subexpression elimination and moving invariant computations out of loops. We report here our studies of the interaction between global optimizations and CCG based on experiments with selectively enabling specific optimizations and analysis of emitted code. We also summarize a comparison between CCG and a production optimizing compiler.

Citations