Mikael, The complete patch bootstraps current FSF gcc trunk on x86_64-apple-darwin11 and the resulting gfortran compiler can compile the Polyhedron 2005 benchmarks using...
Compile Command : gfortran-fsf-4.7 -O3 -ffast-math -funroll-loops -flto -fwhole-program %n.f90 -o %n without runtime regressions. However I don't seem to see any particular performance improvements with your patches applied. In fact, a few benchmarks including nf and test_fpu seem to show slower runtimes (~8-11%). Have you done any benchmarking with and without the proposed patches? Jack