This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [middle-end, patch 2/8] Overhaul of modification analysis
- From: "H.J. Lu" <hjl dot tools at gmail dot com>
- To: "Martin Jambor" <mjambor at suse dot cz>
- Cc: "GCC Patches" <gcc-patches at gcc dot gnu dot org>, "Jan Hubicka" <jh at suse dot cz>, "Kenneth Zadeck" <zadeck at naturalbridge dot com>, "Razya Ladelsky" <RAZYA at il dot ibm dot com>, "Paolo Carlini" <paolo dot carlini at oracle dot com>
- Date: Thu, 24 Jul 2008 16:25:32 -0700
- Subject: Re: [middle-end, patch 2/8] Overhaul of modification analysis
- References: <20080715194347.569852675@virgil.suse.cz> <20080715194420.924428217@virgil.suse.cz>
Hi Martin,
Your patch, revision 138092, breaks C++:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36926
H.J.
----
On Tue, Jul 15, 2008 at 12:43 PM, Martin Jambor <mjambor@suse.cz> wrote:
> This patch is a rewrite of modification analysis done by ipa-cp. It
> is not really crucial for ipa-cp itself but is hopefully cleaner and
> has extended capabilities required for indirect inlining. In
> particular, it also tracks modifications of structures.
>
> In contrast to the previous submission, I now take advantage of the
> TREE_ADDRESSABILITY flag and do not compute it myself all over again.
>
>
> 2008-07-15 Martin Jambor <mjambor@suse.cz>
>
> * ipa-cp.c (ipcp_initialize_node_lattices): Initialize lattices to
> bottom if the function is not inlinable.
>
> * ipa-prop.c: Include diagnostic.h.
> (ipa_check_stmt_modifications): Check LHS of GIMPLE_MODIFY_EXPRs
> thoroughly.
> (ipa_detect_param_modifications): Function rewritten from scratch.
> (ipa_compute_jump_functions): Changed accesses to modification flags.
> (ipa_free_node_params_substructures): Update flags destruction.
> (ipa_node_duplication_hook): Update flags duplication.
> (ipa_print_all_params_modified): Updated flag access.
>
> * ipa-prop.h (struct ipa_param_flags): New structure.
> (struct ipa_node_params): New field modification_analysis_done,
> modified_flags changed into param_flags.
> (ipa_is_ith_param_modified): Changed to use new flags.
>
>
>