http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53632
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-03 15:06:56 UTC --- I don't know if anything was changed, but the speed seems OK now
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53632
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-03 15:06:56 UTC --- I don't know if anything was changed, but the speed seems OK now