http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53787
--- Comment #17 from Martin Jambor <jamborm at gcc dot gnu.org> --- Created attachment 32136 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32136&action=edit Patch doing ipa-prop function body analysis in dominator order Yuri, this patch should make the requested propagation happen even in the benchmark attached to comment #14. Can you please verify it works for you? Does it speed up anything for you? Thanks.