Re: [PATCH][3/n] into-SSA TLC

["H.J. Lu" <hjl dot tools at gmail dot com>]

On Fri, Jul 27, 2012 at 5:16 AM, Richard Guenther <rguenther@suse.de> wrote:
>
> This tries to more clearly separate per-SSA name held information
> from per-DECL held information during update-ssa.  We already have
> a global array of SSA name informations so it is pointless to
> have a hashtable mapping SSA names to yet another piece of information
> (a bitmap).  This patch simply puts the bitmap into that SSA name
> auxiliar vector.  Lifetime is managed by using a separate obstack
> and the aux vector age.
>
> Bootstrap and regtest pending on x86_64-unknown-linux-gnu.
>
> Richard.
>
> 2012-07-27  Richard Guenther  <rguenther@suse.de>
>
>         * tree-cfg.c (gimple_can_merge_blocks_p): Do more fine-grained
>         check whether SSA form is not up-to-date.
>         * tree-flow.h (name_mappings_registered_p): Remove.
>         * tree-into-ssa.c (struct repl_map_d): Remove.
>         (repl_tbl): Likewise.
>         (struct ssa_name_info): Add repl_set member.
>         (update_ssa_obstack): New static global.
>         (get_ssa_name_ann): Initialize repl_set.
>         (clear_ssa_name_info): Assert age did not wrap.
>         (repl_map_hash, repl_map_eq, repl_map_free): Remove.
>         (names_replaced_by): Adjust.
>         (add_to_repl_tbl): Likewise.
>         (dump_tree_ssa_stats): Likewise.
>         (init_update_ssa): Initialize update_ssa_obstack.
>         (delete_update_ssa): Free update_ssa_obstack.
>         (name_mappings_registered_p): Remove.
>         (update_ssa): Adjust.
>

This caused:

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54327


-- 
H.J.