Global opts do present a problem -- this is one of the reasons why
having multiple levels of IL is a good idea.
Unquestionably, but GCC's main strength has always been (and I suspect will
always continue to be) its RTL optimizations. So giving them up in a major
case such as this is a real downside.