The LLVM Compiler Infrastructure Project
An aggressive open-source compiler for C and C++ and Stacker, a forth-like language. It specializes in interprocedural optimization and analysis, and handles runtime and offline optimization "in the field" as well.