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 elimina...