[PATCH] See through ADDR_EXPR for forwprop

Richard Guenther rguenth@tat.physik.uni-tuebingen.de
Mon May 23 12:29:00 GMT 2005


This patch enables us to forward-propagate ADDR_EXPRs of the form

alias2.cpp.t21.dce1:
  D.2326_109 = &dX.D.2303.D.2259.domain_m[0].D.2216;
  D.2326_110 = D.2326_109;
  D.2327_111 = &D.2326_110->D.2207;
  this_112 = D.2327_111;
  D.2802_113 = this_112->D.2161.domain_m;

alias2.cpp.t22.forwprop1
  D.2802_113 = dX.D.2303.D.2259.domain_m[0].D.2216.D.2207.D.2161.domain_m;

in one step, instead of waiting for .t75.forwprop3 like
happened in the testcase for PR19626.

Any reason why we should not do this?

Bootstrapped on x86_64-unknown-linux-gnu, regtesting in progress.

Ok for mainline after slush?

Thanks,
Richard.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: fix-forwprop
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20050523/a3d11032/attachment.ksh>


More information about the Gcc-patches mailing list