I've always been curious about Intel's ICC. Aside from the generic optimization techniques, when it comes to architecture-specific optimization, being the architecture's architectures imply they could easily do a better job at producing faster code (at least for Intel's chips), right? and, although it is proprietary, it seems to have very advanced features and overall seems very interesting.
Maybe someone with more knowledge can comment on this.