[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