gimple-walk.h: New File.
* gimple-walk.h: New File. Relocate prototypes from gimple.h. (struct walk_stmt_info): Relocate here from gimple.h. * gimple-iterator.h: New File. Relocate prototypes from gimple.h. (struct gimple_stmt_iterator_d): Relocate here from gimple.h. (gsi_start_1, gsi_none, gsi_start_bb, gsi_last_1, gsi_last_bb, gsi_end_p, gsi_one_before_end_p, gsi_next, gsi_prev, gsi_stmt, gsi_after_labels, gsi_next_nondebug, gsi_prev_nondebug, gsi_start_nondebug_bb, gsi_start_nondebug_after_labels_bb, gsi_last_nondebug_bb, gsi_bb, gsi_seq): Relocate here from gimple.h. * gimple.h (struct gimple_stmt_iterator_d): Move to gimple-iterator.h. (gsi_start_1, gsi_none, gsi_start_bb, gsi_last_1, gsi_last_bb, gsi_end_p, gsi_one_before_end_p, gsi_next, gsi_prev, gsi_stmt, gsi_after_labels, gsi_next_nondebug, gsi_prev_nondebug, gsi_start_nondebug_bb, gsi_start_nondebug_after_labels_bb, gsi_last_nondebug_bb, gsi_bb, gsi_seq): Move to gimple-iterator.h. (struct walk_stmt_info): Move to gimple-walk.h. (gimple_seq_set_location): Move to gimple.c * gimple-walk.c: New File. (walk_gimple_seq_mod, walk_gimple_seq, walk_gimple_asm, walk_gimple_op, walk_gimple_stmt, get_base_loadstore, walk_stmt_load_store_addr_ops, walk_stmt_load_store_ops): Relocate here from gimple.c. * gimple-iterator.c: Include gimple-iterator.h. * gimple.c (walk_gimple_seq_mod, walk_gimple_seq, walk_gimple_asm, walk_gimple_op, walk_gimple_stmt, get_base_loadstore, walk_stmt_load_store_addr_ops, walk_stmt_load_store_ops): Move to gimple-walk.c. (gimple_seq_set_location): Relocate from gimple.h. * tree-phinodes.h (set_phi_nodes): Move to tree-phinodes.c. * tree-phinodes.c (set_phi_nodes): Relocate from tree-phinodes.h. * gengtype.c (open_base_files): Add gimple-iterator.h to include list. * Makefile.in (OBJS): Add gimple-walk.o * asan.c: Update Include list as required for gimple-iterator.h and gimple-walk.h. * cfgexpand.c: Likewise. * cfgloop.c: Likewise. * cfgloopmanip.c: Likewise. * cgraph.c: Likewise. * cgraphbuild.c: Likewise. * cgraphunit.c: Likewise. * gimple-fold.c: Likewise. * gimple-low.c: Likewise. * gimple-pretty-print.c: Likewise. * gimple-ssa-isolate-paths.c: Likewise. * gimple-ssa-strength-reduction.c: Likewise. * gimple-streamer-in.c: Likewise. * gimple-streamer-out.c: Likewise. * gimplify.c: Likewise. * graphite-blocking.c: Likewise. * graphite-clast-to-gimple.c: Likewise. * graphite-dependences.c: Likewise. * graphite-interchange.c: Likewise. * graphite-optimize-isl.c: Likewise. * graphite-poly.c: Likewise. * graphite-scop-detection.c: Likewise. * graphite-sese-to-poly.c: Likewise. * graphite.c: Likewise. * ipa-inline-analysis.c: Likewise. * ipa-profile.c: Likewise. * ipa-prop.c: Likewise. * ipa-pure-const.c: Likewise. * ipa-split.c: Likewise. * lto-streamer-in.c: Likewise. * lto-streamer-out.c: Likewise. * omp-low.c: Likewise. * predict.c: Likewise. * profile.c: Likewise. * sese.c: Likewise. * tracer.c: Likewise. * trans-mem.c: Likewise. * tree-call-cdce.c: Likewise. * tree-cfg.c: Likewise. * tree-cfgcleanup.c: Likewise. * tree-complex.c: Likewise. * tree-data-ref.c: Likewise. * tree-dfa.c: Likewise. * tree-eh.c: Likewise. * tree-emutls.c: Likewise. * tree-if-conv.c: Likewise. * tree-inline.c: Likewise. * tree-into-ssa.c: Likewise. * tree-loop-distribution.c: Likewise. * tree-nested.c: Likewise. * tree-nrv.c: Likewise. * tree-object-size.c: Likewise. * tree-outof-ssa.c: Likewise. * tree-parloops.c: Likewise. * tree-predcom.c: Likewise. * tree-profile.c: Likewise. * tree-scalar-evolution.c: Likewise. * tree-sra.c: Likewise. * tree-ssa-ccp.c: Likewise. * tree-ssa-coalesce.c: Likewise. * tree-ssa-copy.c: Likewise. * tree-ssa-copyrename.c: Likewise. * tree-ssa-dce.c: Likewise. * tree-ssa-dom.c: Likewise. * tree-ssa-dse.c: Likewise. * tree-ssa-forwprop.c: Likewise. * tree-ssa-ifcombine.c: Likewise. * tree-ssa-live.c: Likewise. * tree-ssa-loop-ch.c: Likewise. * tree-ssa-loop-im.c: Likewise. * tree-ssa-loop-ivcanon.c: Likewise. * tree-ssa-loop-ivopts.c: Likewise. * tree-ssa-loop-manip.c: Likewise. * tree-ssa-loop-niter.c: Likewise. * tree-ssa-loop-prefetch.c: Likewise. * tree-ssa-loop.c: Likewise. * tree-ssa-math-opts.c: Likewise. * tree-ssa-phiopt.c: Likewise. * tree-ssa-phiprop.c: Likewise. * tree-ssa-pre.c: Likewise. * tree-ssa-propagate.c: Likewise. * tree-ssa-reassoc.c: Likewise. * tree-ssa-sink.c: Likewise. * tree-ssa-strlen.c: Likewise. * tree-ssa-structalias.c: Likewise. * tree-ssa-tail-merge.c: Likewise. * tree-ssa-ter.c: Likewise. * tree-ssa-threadedge.c: Likewise. * tree-ssa-threadupdate.c: Likewise. * tree-ssa-uncprop.c: Likewise. * tree-ssa-uninit.c: Likewise. * tree-ssa.c: Likewise. * tree-stdarg.c: Likewise. * tree-switch-conversion.c: Likewise. * tree-tailcall.c: Likewise. * tree-vect-data-refs.c: Likewise. * tree-vect-generic.c: Likewise. * tree-vect-loop-manip.c: Likewise. * tree-vect-loop.c: Likewise. * tree-vect-patterns.c: Likewise. * tree-vect-slp.c: Likewise. * tree-vect-stmts.c: Likewise. * tree-vectorizer.c: Likewise. * tree-vrp.c: Likewise. * tree.c: Likewise. * tsan.c: Likewise. * value-prof.c: Likewise. * vtable-verify.c: Likewise. * config/aarch64/aarch64-builtins.c: Include gimple-iterator.h. * config/rs6000/rs6000.c: Include gimple-iterator.h and gimple-walk.h. * testsuite/g++.dg/plugin/selfassign.c: Include gimple-iterator.h. * testsuite/gcc.dg/plugin/selfassign.c: Likewise. From-SVN: r204763
This commit is contained in:
parent
d35e43b970
commit
5be5c23841
143
gcc/ChangeLog
143
gcc/ChangeLog
|
@ -1,3 +1,146 @@
|
|||
2013-11-13 Andrew MacLeod <amacleod@redhat,com>
|
||||
|
||||
* gimple-walk.h: New File. Relocate prototypes from gimple.h.
|
||||
(struct walk_stmt_info): Relocate here from gimple.h.
|
||||
* gimple-iterator.h: New File. Relocate prototypes from gimple.h.
|
||||
(struct gimple_stmt_iterator_d): Relocate here from gimple.h.
|
||||
(gsi_start_1, gsi_none, gsi_start_bb, gsi_last_1, gsi_last_bb,
|
||||
gsi_end_p, gsi_one_before_end_p, gsi_next, gsi_prev, gsi_stmt,
|
||||
gsi_after_labels, gsi_next_nondebug, gsi_prev_nondebug,
|
||||
gsi_start_nondebug_bb, gsi_start_nondebug_after_labels_bb,
|
||||
gsi_last_nondebug_bb, gsi_bb, gsi_seq): Relocate here from gimple.h.
|
||||
* gimple.h (struct gimple_stmt_iterator_d): Move to gimple-iterator.h.
|
||||
(gsi_start_1, gsi_none, gsi_start_bb, gsi_last_1, gsi_last_bb,
|
||||
gsi_end_p, gsi_one_before_end_p, gsi_next, gsi_prev, gsi_stmt,
|
||||
gsi_after_labels, gsi_next_nondebug, gsi_prev_nondebug,
|
||||
gsi_start_nondebug_bb, gsi_start_nondebug_after_labels_bb,
|
||||
gsi_last_nondebug_bb, gsi_bb, gsi_seq): Move to gimple-iterator.h.
|
||||
(struct walk_stmt_info): Move to gimple-walk.h.
|
||||
(gimple_seq_set_location): Move to gimple.c
|
||||
* gimple-walk.c: New File.
|
||||
(walk_gimple_seq_mod, walk_gimple_seq, walk_gimple_asm, walk_gimple_op,
|
||||
walk_gimple_stmt, get_base_loadstore, walk_stmt_load_store_addr_ops,
|
||||
walk_stmt_load_store_ops): Relocate here from gimple.c.
|
||||
* gimple-iterator.c: Include gimple-iterator.h.
|
||||
* gimple.c (walk_gimple_seq_mod, walk_gimple_seq, walk_gimple_asm,
|
||||
walk_gimple_op, walk_gimple_stmt, get_base_loadstore,
|
||||
walk_stmt_load_store_addr_ops, walk_stmt_load_store_ops): Move to
|
||||
gimple-walk.c.
|
||||
(gimple_seq_set_location): Relocate from gimple.h.
|
||||
* tree-phinodes.h (set_phi_nodes): Move to tree-phinodes.c.
|
||||
* tree-phinodes.c (set_phi_nodes): Relocate from tree-phinodes.h.
|
||||
* gengtype.c (open_base_files): Add gimple-iterator.h to include list.
|
||||
* Makefile.in (OBJS): Add gimple-walk.o
|
||||
* asan.c: Update Include list as required for gimple-iterator.h and
|
||||
gimple-walk.h.
|
||||
* cfgexpand.c: Likewise.
|
||||
* cfgloop.c: Likewise.
|
||||
* cfgloopmanip.c: Likewise.
|
||||
* cgraph.c: Likewise.
|
||||
* cgraphbuild.c: Likewise.
|
||||
* cgraphunit.c: Likewise.
|
||||
* gimple-fold.c: Likewise.
|
||||
* gimple-low.c: Likewise.
|
||||
* gimple-pretty-print.c: Likewise.
|
||||
* gimple-ssa-isolate-paths.c: Likewise.
|
||||
* gimple-ssa-strength-reduction.c: Likewise.
|
||||
* gimple-streamer-in.c: Likewise.
|
||||
* gimple-streamer-out.c: Likewise.
|
||||
* gimplify.c: Likewise.
|
||||
* graphite-blocking.c: Likewise.
|
||||
* graphite-clast-to-gimple.c: Likewise.
|
||||
* graphite-dependences.c: Likewise.
|
||||
* graphite-interchange.c: Likewise.
|
||||
* graphite-optimize-isl.c: Likewise.
|
||||
* graphite-poly.c: Likewise.
|
||||
* graphite-scop-detection.c: Likewise.
|
||||
* graphite-sese-to-poly.c: Likewise.
|
||||
* graphite.c: Likewise.
|
||||
* ipa-inline-analysis.c: Likewise.
|
||||
* ipa-profile.c: Likewise.
|
||||
* ipa-prop.c: Likewise.
|
||||
* ipa-pure-const.c: Likewise.
|
||||
* ipa-split.c: Likewise.
|
||||
* lto-streamer-in.c: Likewise.
|
||||
* lto-streamer-out.c: Likewise.
|
||||
* omp-low.c: Likewise.
|
||||
* predict.c: Likewise.
|
||||
* profile.c: Likewise.
|
||||
* sese.c: Likewise.
|
||||
* tracer.c: Likewise.
|
||||
* trans-mem.c: Likewise.
|
||||
* tree-call-cdce.c: Likewise.
|
||||
* tree-cfg.c: Likewise.
|
||||
* tree-cfgcleanup.c: Likewise.
|
||||
* tree-complex.c: Likewise.
|
||||
* tree-data-ref.c: Likewise.
|
||||
* tree-dfa.c: Likewise.
|
||||
* tree-eh.c: Likewise.
|
||||
* tree-emutls.c: Likewise.
|
||||
* tree-if-conv.c: Likewise.
|
||||
* tree-inline.c: Likewise.
|
||||
* tree-into-ssa.c: Likewise.
|
||||
* tree-loop-distribution.c: Likewise.
|
||||
* tree-nested.c: Likewise.
|
||||
* tree-nrv.c: Likewise.
|
||||
* tree-object-size.c: Likewise.
|
||||
* tree-outof-ssa.c: Likewise.
|
||||
* tree-parloops.c: Likewise.
|
||||
* tree-predcom.c: Likewise.
|
||||
* tree-profile.c: Likewise.
|
||||
* tree-scalar-evolution.c: Likewise.
|
||||
* tree-sra.c: Likewise.
|
||||
* tree-ssa-ccp.c: Likewise.
|
||||
* tree-ssa-coalesce.c: Likewise.
|
||||
* tree-ssa-copy.c: Likewise.
|
||||
* tree-ssa-copyrename.c: Likewise.
|
||||
* tree-ssa-dce.c: Likewise.
|
||||
* tree-ssa-dom.c: Likewise.
|
||||
* tree-ssa-dse.c: Likewise.
|
||||
* tree-ssa-forwprop.c: Likewise.
|
||||
* tree-ssa-ifcombine.c: Likewise.
|
||||
* tree-ssa-live.c: Likewise.
|
||||
* tree-ssa-loop-ch.c: Likewise.
|
||||
* tree-ssa-loop-im.c: Likewise.
|
||||
* tree-ssa-loop-ivcanon.c: Likewise.
|
||||
* tree-ssa-loop-ivopts.c: Likewise.
|
||||
* tree-ssa-loop-manip.c: Likewise.
|
||||
* tree-ssa-loop-niter.c: Likewise.
|
||||
* tree-ssa-loop-prefetch.c: Likewise.
|
||||
* tree-ssa-loop.c: Likewise.
|
||||
* tree-ssa-math-opts.c: Likewise.
|
||||
* tree-ssa-phiopt.c: Likewise.
|
||||
* tree-ssa-phiprop.c: Likewise.
|
||||
* tree-ssa-pre.c: Likewise.
|
||||
* tree-ssa-propagate.c: Likewise.
|
||||
* tree-ssa-reassoc.c: Likewise.
|
||||
* tree-ssa-sink.c: Likewise.
|
||||
* tree-ssa-strlen.c: Likewise.
|
||||
* tree-ssa-structalias.c: Likewise.
|
||||
* tree-ssa-tail-merge.c: Likewise.
|
||||
* tree-ssa-ter.c: Likewise.
|
||||
* tree-ssa-threadedge.c: Likewise.
|
||||
* tree-ssa-threadupdate.c: Likewise.
|
||||
* tree-ssa-uncprop.c: Likewise.
|
||||
* tree-ssa-uninit.c: Likewise.
|
||||
* tree-ssa.c: Likewise.
|
||||
* tree-stdarg.c: Likewise.
|
||||
* tree-switch-conversion.c: Likewise.
|
||||
* tree-tailcall.c: Likewise.
|
||||
* tree-vect-data-refs.c: Likewise.
|
||||
* tree-vect-generic.c: Likewise.
|
||||
* tree-vect-loop-manip.c: Likewise.
|
||||
* tree-vect-loop.c: Likewise.
|
||||
* tree-vect-patterns.c: Likewise.
|
||||
* tree-vect-slp.c: Likewise.
|
||||
* tree-vect-stmts.c: Likewise.
|
||||
* tree-vectorizer.c: Likewise.
|
||||
* tree-vrp.c: Likewise.
|
||||
* tree.c: Likewise.
|
||||
* tsan.c: Likewise.
|
||||
* value-prof.c: Likewise.
|
||||
* vtable-verify.c: Likewise.
|
||||
|
||||
2013-11-13 Steven Bosscher <steven@gcc.gnu.org>
|
||||
|
||||
* gimple-ssa-isolate-paths.c (pass_isolate_erroneous_paths): Comment
|
||||
|
|
|
@ -1240,6 +1240,7 @@ OBJS = \
|
|||
gimple-ssa-strength-reduction.o \
|
||||
gimple-streamer-in.o \
|
||||
gimple-streamer-out.o \
|
||||
gimple-walk.o \
|
||||
gimplify.o \
|
||||
godump.o \
|
||||
graph.o \
|
||||
|
|
|
@ -24,6 +24,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-iterator.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-ssanames.h"
|
||||
|
|
|
@ -31,6 +31,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "langhooks.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -29,6 +29,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "flags.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "pointer-set.h"
|
||||
#include "ggc.h"
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "cfgloop.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop-manip.h"
|
||||
#include "dumpfile.h"
|
||||
|
||||
|
|
|
@ -40,6 +40,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "cgraph.h"
|
||||
#include "intl.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "timevar.h"
|
||||
#include "dumpfile.h"
|
||||
#include "gimple-ssa.h"
|
||||
|
|
|
@ -24,6 +24,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "langhooks.h"
|
||||
#include "pointer-set.h"
|
||||
#include "intl.h"
|
||||
|
|
|
@ -165,6 +165,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "output.h"
|
||||
#include "rtl.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-into-ssa.h"
|
||||
|
|
|
@ -31,6 +31,7 @@
|
|||
#include "diagnostic-core.h"
|
||||
#include "optabs.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
|
||||
enum aarch64_simd_builtin_type_mode
|
||||
{
|
||||
|
|
|
@ -52,6 +52,8 @@
|
|||
#include "cfgloop.h"
|
||||
#include "sched-int.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "intl.h"
|
||||
#include "params.h"
|
||||
#include "tm-constrs.h"
|
||||
|
|
|
@ -1769,9 +1769,9 @@ open_base_files (void)
|
|||
"tree.h", "rtl.h", "function.h", "insn-config.h", "expr.h",
|
||||
"hard-reg-set.h", "basic-block.h", "cselib.h", "insn-addr.h",
|
||||
"optabs.h", "libfuncs.h", "debug.h", "ggc.h", "cgraph.h",
|
||||
"gimple.h", "gimple-ssa.h", "tree-cfg.h", "tree-phinodes.h",
|
||||
"ssa-iterators.h", "tree-ssanames.h", "tree-ssa-loop.h",
|
||||
"tree-ssa-loop-ivopts.h", "tree-ssa-loop-manip.h",
|
||||
"gimple.h", "gimple-iterator.h", "gimple-ssa.h", "tree-cfg.h",
|
||||
"tree-phinodes.h", "ssa-iterators.h", "tree-ssanames.h",
|
||||
"tree-ssa-loop.h", "tree-ssa-loop-ivopts.h", "tree-ssa-loop-manip.h",
|
||||
"tree-ssa-loop-niter.h", "tree-into-ssa.h", "tree-dfa.h",
|
||||
"tree-ssa.h", "reload.h", "cpp-id-data.h", "tree-chrec.h",
|
||||
"except.h", "output.h", "cfgloop.h",
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "dumpfile.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-ssanames.h"
|
||||
#include "tree-into-ssa.h"
|
||||
|
|
|
@ -24,6 +24,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -0,0 +1,288 @@
|
|||
/* Header file for gimple iterators.
|
||||
Copyright (C) 2013 Free Software Foundation, Inc.
|
||||
|
||||
This file is part of GCC.
|
||||
|
||||
GCC is free software; you can redistribute it and/or modify it under
|
||||
the terms of the GNU General Public License as published by the Free
|
||||
Software Foundation; either version 3, or (at your option) any later
|
||||
version.
|
||||
|
||||
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
||||
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||
for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License
|
||||
along with GCC; see the file COPYING3. If not see
|
||||
<http://www.gnu.org/licenses/>. */
|
||||
|
||||
#ifndef GCC_GIMPLE_ITERATOR_H
|
||||
#define GCC_GIMPLE_ITERATOR_H
|
||||
|
||||
/* Iterator object for GIMPLE statement sequences. */
|
||||
|
||||
typedef struct gimple_stmt_iterator_d
|
||||
{
|
||||
/* Sequence node holding the current statement. */
|
||||
gimple_seq_node ptr;
|
||||
|
||||
/* Sequence and basic block holding the statement. These fields
|
||||
are necessary to handle edge cases such as when statement is
|
||||
added to an empty basic block or when the last statement of a
|
||||
block/sequence is removed. */
|
||||
gimple_seq *seq;
|
||||
basic_block bb;
|
||||
} gimple_stmt_iterator;
|
||||
|
||||
extern void gsi_insert_seq_before_without_update (gimple_stmt_iterator *,
|
||||
gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
extern void gsi_insert_seq_before (gimple_stmt_iterator *, gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
extern void gsi_insert_seq_after_without_update (gimple_stmt_iterator *,
|
||||
gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
extern void gsi_insert_seq_after (gimple_stmt_iterator *, gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
extern gimple_seq gsi_split_seq_after (gimple_stmt_iterator);
|
||||
extern void gsi_set_stmt (gimple_stmt_iterator *, gimple);
|
||||
extern void gsi_split_seq_before (gimple_stmt_iterator *, gimple_seq *);
|
||||
extern void gsi_replace (gimple_stmt_iterator *, gimple, bool);
|
||||
extern void gsi_replace_with_seq (gimple_stmt_iterator *, gimple_seq, bool);
|
||||
extern void gsi_insert_before_without_update (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
extern void gsi_insert_before (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
extern void gsi_insert_after_without_update (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
extern void gsi_insert_after (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
extern bool gsi_remove (gimple_stmt_iterator *, bool);
|
||||
extern gimple_stmt_iterator gsi_for_stmt (gimple);
|
||||
extern void gsi_move_after (gimple_stmt_iterator *, gimple_stmt_iterator *);
|
||||
extern void gsi_move_before (gimple_stmt_iterator *, gimple_stmt_iterator *);
|
||||
extern void gsi_move_to_bb_end (gimple_stmt_iterator *, basic_block);
|
||||
extern void gsi_insert_on_edge (edge, gimple);
|
||||
extern void gsi_insert_seq_on_edge (edge, gimple_seq);
|
||||
extern basic_block gsi_insert_on_edge_immediate (edge, gimple);
|
||||
extern basic_block gsi_insert_seq_on_edge_immediate (edge, gimple_seq);
|
||||
extern void gsi_commit_edge_inserts (void);
|
||||
extern void gsi_commit_one_edge_insert (edge, basic_block *);
|
||||
extern gimple_stmt_iterator gsi_start_phis (basic_block);
|
||||
|
||||
/* Return a new iterator pointing to GIMPLE_SEQ's first statement. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_1 (gimple_seq *seq)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
|
||||
i.ptr = gimple_seq_first (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = i.ptr ? gimple_bb (i.ptr) : NULL;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
#define gsi_start(x) gsi_start_1 (&(x))
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_none (void)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
i.ptr = NULL;
|
||||
i.seq = NULL;
|
||||
i.bb = NULL;
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the first statement in basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
gimple_seq *seq;
|
||||
|
||||
seq = bb_seq_addr (bb);
|
||||
i.ptr = gimple_seq_first (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = bb;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator initially pointing to GIMPLE_SEQ's last statement. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_last_1 (gimple_seq *seq)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
|
||||
i.ptr = gimple_seq_last (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = i.ptr ? gimple_bb (i.ptr) : NULL;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
#define gsi_last(x) gsi_last_1 (&(x))
|
||||
|
||||
/* Return a new iterator pointing to the last statement in basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_last_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
gimple_seq *seq;
|
||||
|
||||
seq = bb_seq_addr (bb);
|
||||
i.ptr = gimple_seq_last (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = bb;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return true if I is at the end of its sequence. */
|
||||
|
||||
static inline bool
|
||||
gsi_end_p (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.ptr == NULL;
|
||||
}
|
||||
|
||||
/* Return true if I is one statement before the end of its sequence. */
|
||||
|
||||
static inline bool
|
||||
gsi_one_before_end_p (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.ptr != NULL && i.ptr->gsbase.next == NULL;
|
||||
}
|
||||
|
||||
/* Advance the iterator to the next gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_next (gimple_stmt_iterator *i)
|
||||
{
|
||||
i->ptr = i->ptr->gsbase.next;
|
||||
}
|
||||
|
||||
/* Advance the iterator to the previous gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_prev (gimple_stmt_iterator *i)
|
||||
{
|
||||
gimple prev = i->ptr->gsbase.prev;
|
||||
if (prev->gsbase.next)
|
||||
i->ptr = prev;
|
||||
else
|
||||
i->ptr = NULL;
|
||||
}
|
||||
|
||||
/* Return the current stmt. */
|
||||
|
||||
static inline gimple
|
||||
gsi_stmt (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.ptr;
|
||||
}
|
||||
|
||||
/* Return a block statement iterator that points to the first non-label
|
||||
statement in block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_after_labels (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator gsi = gsi_start_bb (bb);
|
||||
|
||||
while (!gsi_end_p (gsi) && gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL)
|
||||
gsi_next (&gsi);
|
||||
|
||||
return gsi;
|
||||
}
|
||||
|
||||
/* Advance the iterator to the next non-debug gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_next_nondebug (gimple_stmt_iterator *i)
|
||||
{
|
||||
do
|
||||
{
|
||||
gsi_next (i);
|
||||
}
|
||||
while (!gsi_end_p (*i) && is_gimple_debug (gsi_stmt (*i)));
|
||||
}
|
||||
|
||||
/* Advance the iterator to the next non-debug gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_prev_nondebug (gimple_stmt_iterator *i)
|
||||
{
|
||||
do
|
||||
{
|
||||
gsi_prev (i);
|
||||
}
|
||||
while (!gsi_end_p (*i) && is_gimple_debug (gsi_stmt (*i)));
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the first non-debug statement in
|
||||
basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_nondebug_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i = gsi_start_bb (bb);
|
||||
|
||||
if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
|
||||
gsi_next_nondebug (&i);
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the first non-debug non-label statement in
|
||||
basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_nondebug_after_labels_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i = gsi_after_labels (bb);
|
||||
|
||||
if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
|
||||
gsi_next_nondebug (&i);
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the last non-debug statement in
|
||||
basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_last_nondebug_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i = gsi_last_bb (bb);
|
||||
|
||||
if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
|
||||
gsi_prev_nondebug (&i);
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return the basic block associated with this iterator. */
|
||||
|
||||
static inline basic_block
|
||||
gsi_bb (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.bb;
|
||||
}
|
||||
|
||||
/* Return the sequence associated with this iterator. */
|
||||
|
||||
static inline gimple_seq
|
||||
gsi_seq (gimple_stmt_iterator i)
|
||||
{
|
||||
return *i.seq;
|
||||
}
|
||||
|
||||
#endif /* GCC_GIMPLE_ITERATOR_H */
|
|
@ -24,6 +24,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-iterator.h"
|
||||
#include "tree-inline.h"
|
||||
#include "flags.h"
|
||||
|
|
|
@ -29,6 +29,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "hashtab.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -27,6 +27,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "flags.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "tree-ssa.h"
|
||||
#include "tree-ssanames.h"
|
||||
#include "gimple-ssa.h"
|
||||
|
|
|
@ -38,6 +38,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "basic-block.h"
|
||||
#include "tree-pass.h"
|
||||
#include "cfgloop.h"
|
||||
|
|
|
@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "diagnostic.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "tree-ssanames.h"
|
||||
|
|
|
@ -24,6 +24,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "data-streamer.h"
|
||||
#include "gimple-streamer.h"
|
||||
|
|
|
@ -0,0 +1,871 @@
|
|||
/* Gimple walk support.
|
||||
|
||||
Copyright (C) 2007-2013 Free Software Foundation, Inc.
|
||||
Contributed by Aldy Hernandez <aldyh@redhat.com>
|
||||
|
||||
This file is part of GCC.
|
||||
|
||||
GCC is free software; you can redistribute it and/or modify it under
|
||||
the terms of the GNU General Public License as published by the Free
|
||||
Software Foundation; either version 3, or (at your option) any later
|
||||
version.
|
||||
|
||||
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
||||
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||
for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License
|
||||
along with GCC; see the file COPYING3. If not see
|
||||
<http://www.gnu.org/licenses/>. */
|
||||
|
||||
#include "config.h"
|
||||
#include "system.h"
|
||||
#include "coretypes.h"
|
||||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "demangle.h"
|
||||
|
||||
/* Walk all the statements in the sequence *PSEQ calling walk_gimple_stmt
|
||||
on each one. WI is as in walk_gimple_stmt.
|
||||
|
||||
If walk_gimple_stmt returns non-NULL, the walk is stopped, and the
|
||||
value is stored in WI->CALLBACK_RESULT. Also, the statement that
|
||||
produced the value is returned if this statement has not been
|
||||
removed by a callback (wi->removed_stmt). If the statement has
|
||||
been removed, NULL is returned.
|
||||
|
||||
Otherwise, all the statements are walked and NULL returned. */
|
||||
|
||||
gimple
|
||||
walk_gimple_seq_mod (gimple_seq *pseq, walk_stmt_fn callback_stmt,
|
||||
walk_tree_fn callback_op, struct walk_stmt_info *wi)
|
||||
{
|
||||
gimple_stmt_iterator gsi;
|
||||
|
||||
for (gsi = gsi_start (*pseq); !gsi_end_p (gsi); )
|
||||
{
|
||||
tree ret = walk_gimple_stmt (&gsi, callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
{
|
||||
/* If CALLBACK_STMT or CALLBACK_OP return a value, WI must exist
|
||||
to hold it. */
|
||||
gcc_assert (wi);
|
||||
wi->callback_result = ret;
|
||||
|
||||
return wi->removed_stmt ? NULL : gsi_stmt (gsi);
|
||||
}
|
||||
|
||||
if (!wi->removed_stmt)
|
||||
gsi_next (&gsi);
|
||||
}
|
||||
|
||||
if (wi)
|
||||
wi->callback_result = NULL_TREE;
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
|
||||
/* Like walk_gimple_seq_mod, but ensure that the head of SEQ isn't
|
||||
changed by the callbacks. */
|
||||
|
||||
gimple
|
||||
walk_gimple_seq (gimple_seq seq, walk_stmt_fn callback_stmt,
|
||||
walk_tree_fn callback_op, struct walk_stmt_info *wi)
|
||||
{
|
||||
gimple_seq seq2 = seq;
|
||||
gimple ret = walk_gimple_seq_mod (&seq2, callback_stmt, callback_op, wi);
|
||||
gcc_assert (seq2 == seq);
|
||||
return ret;
|
||||
}
|
||||
|
||||
|
||||
/* Helper function for walk_gimple_stmt. Walk operands of a GIMPLE_ASM. */
|
||||
|
||||
static tree
|
||||
walk_gimple_asm (gimple stmt, walk_tree_fn callback_op,
|
||||
struct walk_stmt_info *wi)
|
||||
{
|
||||
tree ret, op;
|
||||
unsigned noutputs;
|
||||
const char **oconstraints;
|
||||
unsigned i, n;
|
||||
const char *constraint;
|
||||
bool allows_mem, allows_reg, is_inout;
|
||||
|
||||
noutputs = gimple_asm_noutputs (stmt);
|
||||
oconstraints = (const char **) alloca ((noutputs) * sizeof (const char *));
|
||||
|
||||
if (wi)
|
||||
wi->is_lhs = true;
|
||||
|
||||
for (i = 0; i < noutputs; i++)
|
||||
{
|
||||
op = gimple_asm_output_op (stmt, i);
|
||||
constraint = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (op)));
|
||||
oconstraints[i] = constraint;
|
||||
parse_output_constraint (&constraint, i, 0, 0, &allows_mem, &allows_reg,
|
||||
&is_inout);
|
||||
if (wi)
|
||||
wi->val_only = (allows_reg || !allows_mem);
|
||||
ret = walk_tree (&TREE_VALUE (op), callback_op, wi, NULL);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
n = gimple_asm_ninputs (stmt);
|
||||
for (i = 0; i < n; i++)
|
||||
{
|
||||
op = gimple_asm_input_op (stmt, i);
|
||||
constraint = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (op)));
|
||||
parse_input_constraint (&constraint, 0, 0, noutputs, 0,
|
||||
oconstraints, &allows_mem, &allows_reg);
|
||||
if (wi)
|
||||
{
|
||||
wi->val_only = (allows_reg || !allows_mem);
|
||||
/* Although input "m" is not really a LHS, we need a lvalue. */
|
||||
wi->is_lhs = !wi->val_only;
|
||||
}
|
||||
ret = walk_tree (&TREE_VALUE (op), callback_op, wi, NULL);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = false;
|
||||
wi->val_only = true;
|
||||
}
|
||||
|
||||
n = gimple_asm_nlabels (stmt);
|
||||
for (i = 0; i < n; i++)
|
||||
{
|
||||
op = gimple_asm_label_op (stmt, i);
|
||||
ret = walk_tree (&TREE_VALUE (op), callback_op, wi, NULL);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
return NULL_TREE;
|
||||
}
|
||||
|
||||
|
||||
/* Helper function of WALK_GIMPLE_STMT. Walk every tree operand in
|
||||
STMT. CALLBACK_OP and WI are as in WALK_GIMPLE_STMT.
|
||||
|
||||
CALLBACK_OP is called on each operand of STMT via walk_tree.
|
||||
Additional parameters to walk_tree must be stored in WI. For each operand
|
||||
OP, walk_tree is called as:
|
||||
|
||||
walk_tree (&OP, CALLBACK_OP, WI, WI->PSET)
|
||||
|
||||
If CALLBACK_OP returns non-NULL for an operand, the remaining
|
||||
operands are not scanned.
|
||||
|
||||
The return value is that returned by the last call to walk_tree, or
|
||||
NULL_TREE if no CALLBACK_OP is specified. */
|
||||
|
||||
tree
|
||||
walk_gimple_op (gimple stmt, walk_tree_fn callback_op,
|
||||
struct walk_stmt_info *wi)
|
||||
{
|
||||
struct pointer_set_t *pset = (wi) ? wi->pset : NULL;
|
||||
unsigned i;
|
||||
tree ret = NULL_TREE;
|
||||
|
||||
switch (gimple_code (stmt))
|
||||
{
|
||||
case GIMPLE_ASSIGN:
|
||||
/* Walk the RHS operands. If the LHS is of a non-renamable type or
|
||||
is a register variable, we may use a COMPONENT_REF on the RHS. */
|
||||
if (wi)
|
||||
{
|
||||
tree lhs = gimple_assign_lhs (stmt);
|
||||
wi->val_only
|
||||
= (is_gimple_reg_type (TREE_TYPE (lhs)) && !is_gimple_reg (lhs))
|
||||
|| gimple_assign_rhs_class (stmt) != GIMPLE_SINGLE_RHS;
|
||||
}
|
||||
|
||||
for (i = 1; i < gimple_num_ops (stmt); i++)
|
||||
{
|
||||
ret = walk_tree (gimple_op_ptr (stmt, i), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
/* Walk the LHS. If the RHS is appropriate for a memory, we
|
||||
may use a COMPONENT_REF on the LHS. */
|
||||
if (wi)
|
||||
{
|
||||
/* If the RHS is of a non-renamable type or is a register variable,
|
||||
we may use a COMPONENT_REF on the LHS. */
|
||||
tree rhs1 = gimple_assign_rhs1 (stmt);
|
||||
wi->val_only
|
||||
= (is_gimple_reg_type (TREE_TYPE (rhs1)) && !is_gimple_reg (rhs1))
|
||||
|| gimple_assign_rhs_class (stmt) != GIMPLE_SINGLE_RHS;
|
||||
wi->is_lhs = true;
|
||||
}
|
||||
|
||||
ret = walk_tree (gimple_op_ptr (stmt, 0), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->val_only = true;
|
||||
wi->is_lhs = false;
|
||||
}
|
||||
break;
|
||||
|
||||
case GIMPLE_CALL:
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = false;
|
||||
wi->val_only = true;
|
||||
}
|
||||
|
||||
ret = walk_tree (gimple_call_chain_ptr (stmt), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_call_fn_ptr (stmt), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
for (i = 0; i < gimple_call_num_args (stmt); i++)
|
||||
{
|
||||
if (wi)
|
||||
wi->val_only
|
||||
= is_gimple_reg_type (TREE_TYPE (gimple_call_arg (stmt, i)));
|
||||
ret = walk_tree (gimple_call_arg_ptr (stmt, i), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (gimple_call_lhs (stmt))
|
||||
{
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = true;
|
||||
wi->val_only
|
||||
= is_gimple_reg_type (TREE_TYPE (gimple_call_lhs (stmt)));
|
||||
}
|
||||
|
||||
ret = walk_tree (gimple_call_lhs_ptr (stmt), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = false;
|
||||
wi->val_only = true;
|
||||
}
|
||||
break;
|
||||
|
||||
case GIMPLE_CATCH:
|
||||
ret = walk_tree (gimple_catch_types_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_EH_FILTER:
|
||||
ret = walk_tree (gimple_eh_filter_types_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_ASM:
|
||||
ret = walk_gimple_asm (stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_CONTINUE:
|
||||
ret = walk_tree (gimple_omp_continue_control_def_ptr (stmt),
|
||||
callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_omp_continue_control_use_ptr (stmt),
|
||||
callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_CRITICAL:
|
||||
ret = walk_tree (gimple_omp_critical_name_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_FOR:
|
||||
ret = walk_tree (gimple_omp_for_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
for (i = 0; i < gimple_omp_for_collapse (stmt); i++)
|
||||
{
|
||||
ret = walk_tree (gimple_omp_for_index_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_for_initial_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_for_final_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_for_incr_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
}
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_PARALLEL:
|
||||
ret = walk_tree (gimple_omp_parallel_clauses_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_parallel_child_fn_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_parallel_data_arg_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_TASK:
|
||||
ret = walk_tree (gimple_omp_task_clauses_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_child_fn_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_data_arg_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_copy_fn_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_arg_size_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_arg_align_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_SECTIONS:
|
||||
ret = walk_tree (gimple_omp_sections_clauses_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_omp_sections_control_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_SINGLE:
|
||||
ret = walk_tree (gimple_omp_single_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_TARGET:
|
||||
ret = walk_tree (gimple_omp_target_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_TEAMS:
|
||||
ret = walk_tree (gimple_omp_teams_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_ATOMIC_LOAD:
|
||||
ret = walk_tree (gimple_omp_atomic_load_lhs_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_omp_atomic_load_rhs_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_ATOMIC_STORE:
|
||||
ret = walk_tree (gimple_omp_atomic_store_val_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_TRANSACTION:
|
||||
ret = walk_tree (gimple_transaction_label_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_RETURN:
|
||||
ret = walk_tree (gimple_omp_return_lhs_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
/* Tuples that do not have operands. */
|
||||
case GIMPLE_NOP:
|
||||
case GIMPLE_RESX:
|
||||
case GIMPLE_PREDICT:
|
||||
break;
|
||||
|
||||
default:
|
||||
{
|
||||
enum gimple_statement_structure_enum gss;
|
||||
gss = gimple_statement_structure (stmt);
|
||||
if (gss == GSS_WITH_OPS || gss == GSS_WITH_MEM_OPS)
|
||||
for (i = 0; i < gimple_num_ops (stmt); i++)
|
||||
{
|
||||
ret = walk_tree (gimple_op_ptr (stmt, i), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
||||
return NULL_TREE;
|
||||
}
|
||||
|
||||
|
||||
/* Walk the current statement in GSI (optionally using traversal state
|
||||
stored in WI). If WI is NULL, no state is kept during traversal.
|
||||
The callback CALLBACK_STMT is called. If CALLBACK_STMT indicates
|
||||
that it has handled all the operands of the statement, its return
|
||||
value is returned. Otherwise, the return value from CALLBACK_STMT
|
||||
is discarded and its operands are scanned.
|
||||
|
||||
If CALLBACK_STMT is NULL or it didn't handle the operands,
|
||||
CALLBACK_OP is called on each operand of the statement via
|
||||
walk_gimple_op. If walk_gimple_op returns non-NULL for any
|
||||
operand, the remaining operands are not scanned. In this case, the
|
||||
return value from CALLBACK_OP is returned.
|
||||
|
||||
In any other case, NULL_TREE is returned. */
|
||||
|
||||
tree
|
||||
walk_gimple_stmt (gimple_stmt_iterator *gsi, walk_stmt_fn callback_stmt,
|
||||
walk_tree_fn callback_op, struct walk_stmt_info *wi)
|
||||
{
|
||||
gimple ret;
|
||||
tree tree_ret;
|
||||
gimple stmt = gsi_stmt (*gsi);
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->gsi = *gsi;
|
||||
wi->removed_stmt = false;
|
||||
|
||||
if (wi->want_locations && gimple_has_location (stmt))
|
||||
input_location = gimple_location (stmt);
|
||||
}
|
||||
|
||||
ret = NULL;
|
||||
|
||||
/* Invoke the statement callback. Return if the callback handled
|
||||
all of STMT operands by itself. */
|
||||
if (callback_stmt)
|
||||
{
|
||||
bool handled_ops = false;
|
||||
tree_ret = callback_stmt (gsi, &handled_ops, wi);
|
||||
if (handled_ops)
|
||||
return tree_ret;
|
||||
|
||||
/* If CALLBACK_STMT did not handle operands, it should not have
|
||||
a value to return. */
|
||||
gcc_assert (tree_ret == NULL);
|
||||
|
||||
if (wi && wi->removed_stmt)
|
||||
return NULL;
|
||||
|
||||
/* Re-read stmt in case the callback changed it. */
|
||||
stmt = gsi_stmt (*gsi);
|
||||
}
|
||||
|
||||
/* If CALLBACK_OP is defined, invoke it on every operand of STMT. */
|
||||
if (callback_op)
|
||||
{
|
||||
tree_ret = walk_gimple_op (stmt, callback_op, wi);
|
||||
if (tree_ret)
|
||||
return tree_ret;
|
||||
}
|
||||
|
||||
/* If STMT can have statements inside (e.g. GIMPLE_BIND), walk them. */
|
||||
switch (gimple_code (stmt))
|
||||
{
|
||||
case GIMPLE_BIND:
|
||||
ret = walk_gimple_seq_mod (gimple_bind_body_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_CATCH:
|
||||
ret = walk_gimple_seq_mod (gimple_catch_handler_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_EH_FILTER:
|
||||
ret = walk_gimple_seq_mod (gimple_eh_filter_failure_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_EH_ELSE:
|
||||
ret = walk_gimple_seq_mod (gimple_eh_else_n_body_ptr (stmt),
|
||||
callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
ret = walk_gimple_seq_mod (gimple_eh_else_e_body_ptr (stmt),
|
||||
callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_TRY:
|
||||
ret = walk_gimple_seq_mod (gimple_try_eval_ptr (stmt), callback_stmt, callback_op,
|
||||
wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
|
||||
ret = walk_gimple_seq_mod (gimple_try_cleanup_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_FOR:
|
||||
ret = walk_gimple_seq_mod (gimple_omp_for_pre_body_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
|
||||
/* FALL THROUGH. */
|
||||
case GIMPLE_OMP_CRITICAL:
|
||||
case GIMPLE_OMP_MASTER:
|
||||
case GIMPLE_OMP_TASKGROUP:
|
||||
case GIMPLE_OMP_ORDERED:
|
||||
case GIMPLE_OMP_SECTION:
|
||||
case GIMPLE_OMP_PARALLEL:
|
||||
case GIMPLE_OMP_TASK:
|
||||
case GIMPLE_OMP_SECTIONS:
|
||||
case GIMPLE_OMP_SINGLE:
|
||||
case GIMPLE_OMP_TARGET:
|
||||
case GIMPLE_OMP_TEAMS:
|
||||
ret = walk_gimple_seq_mod (gimple_omp_body_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_WITH_CLEANUP_EXPR:
|
||||
ret = walk_gimple_seq_mod (gimple_wce_cleanup_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_TRANSACTION:
|
||||
ret = walk_gimple_seq_mod (gimple_transaction_body_ptr (stmt),
|
||||
callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
default:
|
||||
gcc_assert (!gimple_has_substatements (stmt));
|
||||
break;
|
||||
}
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* From a tree operand OP return the base of a load or store operation
|
||||
or NULL_TREE if OP is not a load or a store. */
|
||||
|
||||
static tree
|
||||
get_base_loadstore (tree op)
|
||||
{
|
||||
while (handled_component_p (op))
|
||||
op = TREE_OPERAND (op, 0);
|
||||
if (DECL_P (op)
|
||||
|| INDIRECT_REF_P (op)
|
||||
|| TREE_CODE (op) == MEM_REF
|
||||
|| TREE_CODE (op) == TARGET_MEM_REF)
|
||||
return op;
|
||||
return NULL_TREE;
|
||||
}
|
||||
|
||||
|
||||
/* For the statement STMT call the callbacks VISIT_LOAD, VISIT_STORE and
|
||||
VISIT_ADDR if non-NULL on loads, store and address-taken operands
|
||||
passing the STMT, the base of the operand and DATA to it. The base
|
||||
will be either a decl, an indirect reference (including TARGET_MEM_REF)
|
||||
or the argument of an address expression.
|
||||
Returns the results of these callbacks or'ed. */
|
||||
|
||||
bool
|
||||
walk_stmt_load_store_addr_ops (gimple stmt, void *data,
|
||||
bool (*visit_load)(gimple, tree, void *),
|
||||
bool (*visit_store)(gimple, tree, void *),
|
||||
bool (*visit_addr)(gimple, tree, void *))
|
||||
{
|
||||
bool ret = false;
|
||||
unsigned i;
|
||||
if (gimple_assign_single_p (stmt))
|
||||
{
|
||||
tree lhs, rhs;
|
||||
if (visit_store)
|
||||
{
|
||||
lhs = get_base_loadstore (gimple_assign_lhs (stmt));
|
||||
if (lhs)
|
||||
ret |= visit_store (stmt, lhs, data);
|
||||
}
|
||||
rhs = gimple_assign_rhs1 (stmt);
|
||||
while (handled_component_p (rhs))
|
||||
rhs = TREE_OPERAND (rhs, 0);
|
||||
if (visit_addr)
|
||||
{
|
||||
if (TREE_CODE (rhs) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (rhs, 0), data);
|
||||
else if (TREE_CODE (rhs) == TARGET_MEM_REF
|
||||
&& TREE_CODE (TMR_BASE (rhs)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TMR_BASE (rhs), 0), data);
|
||||
else if (TREE_CODE (rhs) == OBJ_TYPE_REF
|
||||
&& TREE_CODE (OBJ_TYPE_REF_OBJECT (rhs)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (OBJ_TYPE_REF_OBJECT (rhs),
|
||||
0), data);
|
||||
else if (TREE_CODE (rhs) == CONSTRUCTOR)
|
||||
{
|
||||
unsigned int ix;
|
||||
tree val;
|
||||
|
||||
FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (rhs), ix, val)
|
||||
if (TREE_CODE (val) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (val, 0), data);
|
||||
else if (TREE_CODE (val) == OBJ_TYPE_REF
|
||||
&& TREE_CODE (OBJ_TYPE_REF_OBJECT (val)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt,
|
||||
TREE_OPERAND (OBJ_TYPE_REF_OBJECT (val),
|
||||
0), data);
|
||||
}
|
||||
lhs = gimple_assign_lhs (stmt);
|
||||
if (TREE_CODE (lhs) == TARGET_MEM_REF
|
||||
&& TREE_CODE (TMR_BASE (lhs)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TMR_BASE (lhs), 0), data);
|
||||
}
|
||||
if (visit_load)
|
||||
{
|
||||
rhs = get_base_loadstore (rhs);
|
||||
if (rhs)
|
||||
ret |= visit_load (stmt, rhs, data);
|
||||
}
|
||||
}
|
||||
else if (visit_addr
|
||||
&& (is_gimple_assign (stmt)
|
||||
|| gimple_code (stmt) == GIMPLE_COND))
|
||||
{
|
||||
for (i = 0; i < gimple_num_ops (stmt); ++i)
|
||||
{
|
||||
tree op = gimple_op (stmt, i);
|
||||
if (op == NULL_TREE)
|
||||
;
|
||||
else if (TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
/* COND_EXPR and VCOND_EXPR rhs1 argument is a comparison
|
||||
tree with two operands. */
|
||||
else if (i == 1 && COMPARISON_CLASS_P (op))
|
||||
{
|
||||
if (TREE_CODE (TREE_OPERAND (op, 0)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TREE_OPERAND (op, 0),
|
||||
0), data);
|
||||
if (TREE_CODE (TREE_OPERAND (op, 1)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TREE_OPERAND (op, 1),
|
||||
0), data);
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (is_gimple_call (stmt))
|
||||
{
|
||||
if (visit_store)
|
||||
{
|
||||
tree lhs = gimple_call_lhs (stmt);
|
||||
if (lhs)
|
||||
{
|
||||
lhs = get_base_loadstore (lhs);
|
||||
if (lhs)
|
||||
ret |= visit_store (stmt, lhs, data);
|
||||
}
|
||||
}
|
||||
if (visit_load || visit_addr)
|
||||
for (i = 0; i < gimple_call_num_args (stmt); ++i)
|
||||
{
|
||||
tree rhs = gimple_call_arg (stmt, i);
|
||||
if (visit_addr
|
||||
&& TREE_CODE (rhs) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (rhs, 0), data);
|
||||
else if (visit_load)
|
||||
{
|
||||
rhs = get_base_loadstore (rhs);
|
||||
if (rhs)
|
||||
ret |= visit_load (stmt, rhs, data);
|
||||
}
|
||||
}
|
||||
if (visit_addr
|
||||
&& gimple_call_chain (stmt)
|
||||
&& TREE_CODE (gimple_call_chain (stmt)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (gimple_call_chain (stmt), 0),
|
||||
data);
|
||||
if (visit_addr
|
||||
&& gimple_call_return_slot_opt_p (stmt)
|
||||
&& gimple_call_lhs (stmt) != NULL_TREE
|
||||
&& TREE_ADDRESSABLE (TREE_TYPE (gimple_call_lhs (stmt))))
|
||||
ret |= visit_addr (stmt, gimple_call_lhs (stmt), data);
|
||||
}
|
||||
else if (gimple_code (stmt) == GIMPLE_ASM)
|
||||
{
|
||||
unsigned noutputs;
|
||||
const char *constraint;
|
||||
const char **oconstraints;
|
||||
bool allows_mem, allows_reg, is_inout;
|
||||
noutputs = gimple_asm_noutputs (stmt);
|
||||
oconstraints = XALLOCAVEC (const char *, noutputs);
|
||||
if (visit_store || visit_addr)
|
||||
for (i = 0; i < gimple_asm_noutputs (stmt); ++i)
|
||||
{
|
||||
tree link = gimple_asm_output_op (stmt, i);
|
||||
tree op = get_base_loadstore (TREE_VALUE (link));
|
||||
if (op && visit_store)
|
||||
ret |= visit_store (stmt, op, data);
|
||||
if (visit_addr)
|
||||
{
|
||||
constraint = TREE_STRING_POINTER
|
||||
(TREE_VALUE (TREE_PURPOSE (link)));
|
||||
oconstraints[i] = constraint;
|
||||
parse_output_constraint (&constraint, i, 0, 0, &allows_mem,
|
||||
&allows_reg, &is_inout);
|
||||
if (op && !allows_reg && allows_mem)
|
||||
ret |= visit_addr (stmt, op, data);
|
||||
}
|
||||
}
|
||||
if (visit_load || visit_addr)
|
||||
for (i = 0; i < gimple_asm_ninputs (stmt); ++i)
|
||||
{
|
||||
tree link = gimple_asm_input_op (stmt, i);
|
||||
tree op = TREE_VALUE (link);
|
||||
if (visit_addr
|
||||
&& TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
else if (visit_load || visit_addr)
|
||||
{
|
||||
op = get_base_loadstore (op);
|
||||
if (op)
|
||||
{
|
||||
if (visit_load)
|
||||
ret |= visit_load (stmt, op, data);
|
||||
if (visit_addr)
|
||||
{
|
||||
constraint = TREE_STRING_POINTER
|
||||
(TREE_VALUE (TREE_PURPOSE (link)));
|
||||
parse_input_constraint (&constraint, 0, 0, noutputs,
|
||||
0, oconstraints,
|
||||
&allows_mem, &allows_reg);
|
||||
if (!allows_reg && allows_mem)
|
||||
ret |= visit_addr (stmt, op, data);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (gimple_code (stmt) == GIMPLE_RETURN)
|
||||
{
|
||||
tree op = gimple_return_retval (stmt);
|
||||
if (op)
|
||||
{
|
||||
if (visit_addr
|
||||
&& TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
else if (visit_load)
|
||||
{
|
||||
op = get_base_loadstore (op);
|
||||
if (op)
|
||||
ret |= visit_load (stmt, op, data);
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (visit_addr
|
||||
&& gimple_code (stmt) == GIMPLE_PHI)
|
||||
{
|
||||
for (i = 0; i < gimple_phi_num_args (stmt); ++i)
|
||||
{
|
||||
tree op = gimple_phi_arg_def (stmt, i);
|
||||
if (TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
}
|
||||
}
|
||||
else if (visit_addr
|
||||
&& gimple_code (stmt) == GIMPLE_GOTO)
|
||||
{
|
||||
tree op = gimple_goto_dest (stmt);
|
||||
if (TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
}
|
||||
|
||||
return ret;
|
||||
}
|
||||
|
||||
/* Like walk_stmt_load_store_addr_ops but with NULL visit_addr. IPA-CP
|
||||
should make a faster clone for this case. */
|
||||
|
||||
bool
|
||||
walk_stmt_load_store_ops (gimple stmt, void *data,
|
||||
bool (*visit_load)(gimple, tree, void *),
|
||||
bool (*visit_store)(gimple, tree, void *))
|
||||
{
|
||||
return walk_stmt_load_store_addr_ops (stmt, data,
|
||||
visit_load, visit_store, NULL);
|
||||
}
|
|
@ -0,0 +1,99 @@
|
|||
/* Header file for gimple statement walk support.
|
||||
Copyright (C) 2013 Free Software Foundation, Inc.
|
||||
|
||||
This file is part of GCC.
|
||||
|
||||
GCC is free software; you can redistribute it and/or modify it under
|
||||
the terms of the GNU General Public License as published by the Free
|
||||
Software Foundation; either version 3, or (at your option) any later
|
||||
version.
|
||||
|
||||
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
||||
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||
for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License
|
||||
along with GCC; see the file COPYING3. If not see
|
||||
<http://www.gnu.org/licenses/>. */
|
||||
|
||||
#ifndef GCC_GIMPLE_WALK_H
|
||||
#define GCC_GIMPLE_WALK_H
|
||||
|
||||
/* Convenience routines to walk all statements of a gimple function.
|
||||
Note that this is useful exclusively before the code is converted
|
||||
into SSA form. Once the program is in SSA form, the standard
|
||||
operand interface should be used to analyze/modify statements. */
|
||||
struct walk_stmt_info
|
||||
{
|
||||
/* Points to the current statement being walked. */
|
||||
gimple_stmt_iterator gsi;
|
||||
|
||||
/* Additional data that the callback functions may want to carry
|
||||
through the recursion. */
|
||||
void *info;
|
||||
|
||||
/* Pointer map used to mark visited tree nodes when calling
|
||||
walk_tree on each operand. If set to NULL, duplicate tree nodes
|
||||
will be visited more than once. */
|
||||
struct pointer_set_t *pset;
|
||||
|
||||
/* Operand returned by the callbacks. This is set when calling
|
||||
walk_gimple_seq. If the walk_stmt_fn or walk_tree_fn callback
|
||||
returns non-NULL, this field will contain the tree returned by
|
||||
the last callback. */
|
||||
tree callback_result;
|
||||
|
||||
/* Indicates whether the operand being examined may be replaced
|
||||
with something that matches is_gimple_val (if true) or something
|
||||
slightly more complicated (if false). "Something" technically
|
||||
means the common subset of is_gimple_lvalue and is_gimple_rhs,
|
||||
but we never try to form anything more complicated than that, so
|
||||
we don't bother checking.
|
||||
|
||||
Also note that CALLBACK should update this flag while walking the
|
||||
sub-expressions of a statement. For instance, when walking the
|
||||
statement 'foo (&var)', the flag VAL_ONLY will initially be set
|
||||
to true, however, when walking &var, the operand of that
|
||||
ADDR_EXPR does not need to be a GIMPLE value. */
|
||||
BOOL_BITFIELD val_only : 1;
|
||||
|
||||
/* True if we are currently walking the LHS of an assignment. */
|
||||
BOOL_BITFIELD is_lhs : 1;
|
||||
|
||||
/* Optional. Set to true by the callback functions if they made any
|
||||
changes. */
|
||||
BOOL_BITFIELD changed : 1;
|
||||
|
||||
/* True if we're interested in location information. */
|
||||
BOOL_BITFIELD want_locations : 1;
|
||||
|
||||
/* True if we've removed the statement that was processed. */
|
||||
BOOL_BITFIELD removed_stmt : 1;
|
||||
};
|
||||
|
||||
/* Callback for walk_gimple_stmt. Called for every statement found
|
||||
during traversal. The first argument points to the statement to
|
||||
walk. The second argument is a flag that the callback sets to
|
||||
'true' if it the callback handled all the operands and
|
||||
sub-statements of the statement (the default value of this flag is
|
||||
'false'). The third argument is an anonymous pointer to data
|
||||
to be used by the callback. */
|
||||
typedef tree (*walk_stmt_fn) (gimple_stmt_iterator *, bool *,
|
||||
struct walk_stmt_info *);
|
||||
|
||||
extern gimple walk_gimple_seq_mod (gimple_seq *, walk_stmt_fn, walk_tree_fn,
|
||||
struct walk_stmt_info *);
|
||||
extern gimple walk_gimple_seq (gimple_seq, walk_stmt_fn, walk_tree_fn,
|
||||
struct walk_stmt_info *);
|
||||
extern tree walk_gimple_op (gimple, walk_tree_fn, struct walk_stmt_info *);
|
||||
extern tree walk_gimple_stmt (gimple_stmt_iterator *, walk_stmt_fn,
|
||||
walk_tree_fn, struct walk_stmt_info *);
|
||||
extern bool walk_stmt_load_store_addr_ops (gimple, void *,
|
||||
bool (*)(gimple, tree, void *),
|
||||
bool (*)(gimple, tree, void *),
|
||||
bool (*)(gimple, tree, void *));
|
||||
extern bool walk_stmt_load_store_ops (gimple, void *,
|
||||
bool (*)(gimple, tree, void *),
|
||||
bool (*)(gimple, tree, void *));
|
||||
#endif /* GCC_GIMPLE_WALK_H */
|
850
gcc/gimple.c
850
gcc/gimple.c
|
@ -29,6 +29,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "hard-reg-set.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimplify.h"
|
||||
#include "diagnostic.h"
|
||||
#include "value-prof.h"
|
||||
|
@ -1297,600 +1299,6 @@ gimple_seq_copy (gimple_seq src)
|
|||
}
|
||||
|
||||
|
||||
/* Walk all the statements in the sequence *PSEQ calling walk_gimple_stmt
|
||||
on each one. WI is as in walk_gimple_stmt.
|
||||
|
||||
If walk_gimple_stmt returns non-NULL, the walk is stopped, and the
|
||||
value is stored in WI->CALLBACK_RESULT. Also, the statement that
|
||||
produced the value is returned if this statement has not been
|
||||
removed by a callback (wi->removed_stmt). If the statement has
|
||||
been removed, NULL is returned.
|
||||
|
||||
Otherwise, all the statements are walked and NULL returned. */
|
||||
|
||||
gimple
|
||||
walk_gimple_seq_mod (gimple_seq *pseq, walk_stmt_fn callback_stmt,
|
||||
walk_tree_fn callback_op, struct walk_stmt_info *wi)
|
||||
{
|
||||
gimple_stmt_iterator gsi;
|
||||
|
||||
for (gsi = gsi_start (*pseq); !gsi_end_p (gsi); )
|
||||
{
|
||||
tree ret = walk_gimple_stmt (&gsi, callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
{
|
||||
/* If CALLBACK_STMT or CALLBACK_OP return a value, WI must exist
|
||||
to hold it. */
|
||||
gcc_assert (wi);
|
||||
wi->callback_result = ret;
|
||||
|
||||
return wi->removed_stmt ? NULL : gsi_stmt (gsi);
|
||||
}
|
||||
|
||||
if (!wi->removed_stmt)
|
||||
gsi_next (&gsi);
|
||||
}
|
||||
|
||||
if (wi)
|
||||
wi->callback_result = NULL_TREE;
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
|
||||
/* Like walk_gimple_seq_mod, but ensure that the head of SEQ isn't
|
||||
changed by the callbacks. */
|
||||
|
||||
gimple
|
||||
walk_gimple_seq (gimple_seq seq, walk_stmt_fn callback_stmt,
|
||||
walk_tree_fn callback_op, struct walk_stmt_info *wi)
|
||||
{
|
||||
gimple_seq seq2 = seq;
|
||||
gimple ret = walk_gimple_seq_mod (&seq2, callback_stmt, callback_op, wi);
|
||||
gcc_assert (seq2 == seq);
|
||||
return ret;
|
||||
}
|
||||
|
||||
|
||||
/* Helper function for walk_gimple_stmt. Walk operands of a GIMPLE_ASM. */
|
||||
|
||||
static tree
|
||||
walk_gimple_asm (gimple stmt, walk_tree_fn callback_op,
|
||||
struct walk_stmt_info *wi)
|
||||
{
|
||||
tree ret, op;
|
||||
unsigned noutputs;
|
||||
const char **oconstraints;
|
||||
unsigned i, n;
|
||||
const char *constraint;
|
||||
bool allows_mem, allows_reg, is_inout;
|
||||
|
||||
noutputs = gimple_asm_noutputs (stmt);
|
||||
oconstraints = (const char **) alloca ((noutputs) * sizeof (const char *));
|
||||
|
||||
if (wi)
|
||||
wi->is_lhs = true;
|
||||
|
||||
for (i = 0; i < noutputs; i++)
|
||||
{
|
||||
op = gimple_asm_output_op (stmt, i);
|
||||
constraint = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (op)));
|
||||
oconstraints[i] = constraint;
|
||||
parse_output_constraint (&constraint, i, 0, 0, &allows_mem, &allows_reg,
|
||||
&is_inout);
|
||||
if (wi)
|
||||
wi->val_only = (allows_reg || !allows_mem);
|
||||
ret = walk_tree (&TREE_VALUE (op), callback_op, wi, NULL);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
n = gimple_asm_ninputs (stmt);
|
||||
for (i = 0; i < n; i++)
|
||||
{
|
||||
op = gimple_asm_input_op (stmt, i);
|
||||
constraint = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (op)));
|
||||
parse_input_constraint (&constraint, 0, 0, noutputs, 0,
|
||||
oconstraints, &allows_mem, &allows_reg);
|
||||
if (wi)
|
||||
{
|
||||
wi->val_only = (allows_reg || !allows_mem);
|
||||
/* Although input "m" is not really a LHS, we need a lvalue. */
|
||||
wi->is_lhs = !wi->val_only;
|
||||
}
|
||||
ret = walk_tree (&TREE_VALUE (op), callback_op, wi, NULL);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = false;
|
||||
wi->val_only = true;
|
||||
}
|
||||
|
||||
n = gimple_asm_nlabels (stmt);
|
||||
for (i = 0; i < n; i++)
|
||||
{
|
||||
op = gimple_asm_label_op (stmt, i);
|
||||
ret = walk_tree (&TREE_VALUE (op), callback_op, wi, NULL);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
return NULL_TREE;
|
||||
}
|
||||
|
||||
|
||||
/* Helper function of WALK_GIMPLE_STMT. Walk every tree operand in
|
||||
STMT. CALLBACK_OP and WI are as in WALK_GIMPLE_STMT.
|
||||
|
||||
CALLBACK_OP is called on each operand of STMT via walk_tree.
|
||||
Additional parameters to walk_tree must be stored in WI. For each operand
|
||||
OP, walk_tree is called as:
|
||||
|
||||
walk_tree (&OP, CALLBACK_OP, WI, WI->PSET)
|
||||
|
||||
If CALLBACK_OP returns non-NULL for an operand, the remaining
|
||||
operands are not scanned.
|
||||
|
||||
The return value is that returned by the last call to walk_tree, or
|
||||
NULL_TREE if no CALLBACK_OP is specified. */
|
||||
|
||||
tree
|
||||
walk_gimple_op (gimple stmt, walk_tree_fn callback_op,
|
||||
struct walk_stmt_info *wi)
|
||||
{
|
||||
struct pointer_set_t *pset = (wi) ? wi->pset : NULL;
|
||||
unsigned i;
|
||||
tree ret = NULL_TREE;
|
||||
|
||||
switch (gimple_code (stmt))
|
||||
{
|
||||
case GIMPLE_ASSIGN:
|
||||
/* Walk the RHS operands. If the LHS is of a non-renamable type or
|
||||
is a register variable, we may use a COMPONENT_REF on the RHS. */
|
||||
if (wi)
|
||||
{
|
||||
tree lhs = gimple_assign_lhs (stmt);
|
||||
wi->val_only
|
||||
= (is_gimple_reg_type (TREE_TYPE (lhs)) && !is_gimple_reg (lhs))
|
||||
|| gimple_assign_rhs_class (stmt) != GIMPLE_SINGLE_RHS;
|
||||
}
|
||||
|
||||
for (i = 1; i < gimple_num_ops (stmt); i++)
|
||||
{
|
||||
ret = walk_tree (gimple_op_ptr (stmt, i), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
/* Walk the LHS. If the RHS is appropriate for a memory, we
|
||||
may use a COMPONENT_REF on the LHS. */
|
||||
if (wi)
|
||||
{
|
||||
/* If the RHS is of a non-renamable type or is a register variable,
|
||||
we may use a COMPONENT_REF on the LHS. */
|
||||
tree rhs1 = gimple_assign_rhs1 (stmt);
|
||||
wi->val_only
|
||||
= (is_gimple_reg_type (TREE_TYPE (rhs1)) && !is_gimple_reg (rhs1))
|
||||
|| gimple_assign_rhs_class (stmt) != GIMPLE_SINGLE_RHS;
|
||||
wi->is_lhs = true;
|
||||
}
|
||||
|
||||
ret = walk_tree (gimple_op_ptr (stmt, 0), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->val_only = true;
|
||||
wi->is_lhs = false;
|
||||
}
|
||||
break;
|
||||
|
||||
case GIMPLE_CALL:
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = false;
|
||||
wi->val_only = true;
|
||||
}
|
||||
|
||||
ret = walk_tree (gimple_call_chain_ptr (stmt), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_call_fn_ptr (stmt), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
for (i = 0; i < gimple_call_num_args (stmt); i++)
|
||||
{
|
||||
if (wi)
|
||||
wi->val_only
|
||||
= is_gimple_reg_type (TREE_TYPE (gimple_call_arg (stmt, i)));
|
||||
ret = walk_tree (gimple_call_arg_ptr (stmt, i), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (gimple_call_lhs (stmt))
|
||||
{
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = true;
|
||||
wi->val_only
|
||||
= is_gimple_reg_type (TREE_TYPE (gimple_call_lhs (stmt)));
|
||||
}
|
||||
|
||||
ret = walk_tree (gimple_call_lhs_ptr (stmt), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->is_lhs = false;
|
||||
wi->val_only = true;
|
||||
}
|
||||
break;
|
||||
|
||||
case GIMPLE_CATCH:
|
||||
ret = walk_tree (gimple_catch_types_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_EH_FILTER:
|
||||
ret = walk_tree (gimple_eh_filter_types_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_ASM:
|
||||
ret = walk_gimple_asm (stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_CONTINUE:
|
||||
ret = walk_tree (gimple_omp_continue_control_def_ptr (stmt),
|
||||
callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_omp_continue_control_use_ptr (stmt),
|
||||
callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_CRITICAL:
|
||||
ret = walk_tree (gimple_omp_critical_name_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_FOR:
|
||||
ret = walk_tree (gimple_omp_for_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
for (i = 0; i < gimple_omp_for_collapse (stmt); i++)
|
||||
{
|
||||
ret = walk_tree (gimple_omp_for_index_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_for_initial_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_for_final_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_for_incr_ptr (stmt, i), callback_op,
|
||||
wi, pset);
|
||||
}
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_PARALLEL:
|
||||
ret = walk_tree (gimple_omp_parallel_clauses_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_parallel_child_fn_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_parallel_data_arg_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_TASK:
|
||||
ret = walk_tree (gimple_omp_task_clauses_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_child_fn_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_data_arg_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_copy_fn_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_arg_size_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
ret = walk_tree (gimple_omp_task_arg_align_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_SECTIONS:
|
||||
ret = walk_tree (gimple_omp_sections_clauses_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_omp_sections_control_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_SINGLE:
|
||||
ret = walk_tree (gimple_omp_single_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_TARGET:
|
||||
ret = walk_tree (gimple_omp_target_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_TEAMS:
|
||||
ret = walk_tree (gimple_omp_teams_clauses_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_ATOMIC_LOAD:
|
||||
ret = walk_tree (gimple_omp_atomic_load_lhs_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
|
||||
ret = walk_tree (gimple_omp_atomic_load_rhs_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_ATOMIC_STORE:
|
||||
ret = walk_tree (gimple_omp_atomic_store_val_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_TRANSACTION:
|
||||
ret = walk_tree (gimple_transaction_label_ptr (stmt), callback_op,
|
||||
wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_RETURN:
|
||||
ret = walk_tree (gimple_omp_return_lhs_ptr (stmt), callback_op, wi,
|
||||
pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
break;
|
||||
|
||||
/* Tuples that do not have operands. */
|
||||
case GIMPLE_NOP:
|
||||
case GIMPLE_RESX:
|
||||
case GIMPLE_PREDICT:
|
||||
break;
|
||||
|
||||
default:
|
||||
{
|
||||
enum gimple_statement_structure_enum gss;
|
||||
gss = gimple_statement_structure (stmt);
|
||||
if (gss == GSS_WITH_OPS || gss == GSS_WITH_MEM_OPS)
|
||||
for (i = 0; i < gimple_num_ops (stmt); i++)
|
||||
{
|
||||
ret = walk_tree (gimple_op_ptr (stmt, i), callback_op, wi, pset);
|
||||
if (ret)
|
||||
return ret;
|
||||
}
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
||||
return NULL_TREE;
|
||||
}
|
||||
|
||||
|
||||
/* Walk the current statement in GSI (optionally using traversal state
|
||||
stored in WI). If WI is NULL, no state is kept during traversal.
|
||||
The callback CALLBACK_STMT is called. If CALLBACK_STMT indicates
|
||||
that it has handled all the operands of the statement, its return
|
||||
value is returned. Otherwise, the return value from CALLBACK_STMT
|
||||
is discarded and its operands are scanned.
|
||||
|
||||
If CALLBACK_STMT is NULL or it didn't handle the operands,
|
||||
CALLBACK_OP is called on each operand of the statement via
|
||||
walk_gimple_op. If walk_gimple_op returns non-NULL for any
|
||||
operand, the remaining operands are not scanned. In this case, the
|
||||
return value from CALLBACK_OP is returned.
|
||||
|
||||
In any other case, NULL_TREE is returned. */
|
||||
|
||||
tree
|
||||
walk_gimple_stmt (gimple_stmt_iterator *gsi, walk_stmt_fn callback_stmt,
|
||||
walk_tree_fn callback_op, struct walk_stmt_info *wi)
|
||||
{
|
||||
gimple ret;
|
||||
tree tree_ret;
|
||||
gimple stmt = gsi_stmt (*gsi);
|
||||
|
||||
if (wi)
|
||||
{
|
||||
wi->gsi = *gsi;
|
||||
wi->removed_stmt = false;
|
||||
|
||||
if (wi->want_locations && gimple_has_location (stmt))
|
||||
input_location = gimple_location (stmt);
|
||||
}
|
||||
|
||||
ret = NULL;
|
||||
|
||||
/* Invoke the statement callback. Return if the callback handled
|
||||
all of STMT operands by itself. */
|
||||
if (callback_stmt)
|
||||
{
|
||||
bool handled_ops = false;
|
||||
tree_ret = callback_stmt (gsi, &handled_ops, wi);
|
||||
if (handled_ops)
|
||||
return tree_ret;
|
||||
|
||||
/* If CALLBACK_STMT did not handle operands, it should not have
|
||||
a value to return. */
|
||||
gcc_assert (tree_ret == NULL);
|
||||
|
||||
if (wi && wi->removed_stmt)
|
||||
return NULL;
|
||||
|
||||
/* Re-read stmt in case the callback changed it. */
|
||||
stmt = gsi_stmt (*gsi);
|
||||
}
|
||||
|
||||
/* If CALLBACK_OP is defined, invoke it on every operand of STMT. */
|
||||
if (callback_op)
|
||||
{
|
||||
tree_ret = walk_gimple_op (stmt, callback_op, wi);
|
||||
if (tree_ret)
|
||||
return tree_ret;
|
||||
}
|
||||
|
||||
/* If STMT can have statements inside (e.g. GIMPLE_BIND), walk them. */
|
||||
switch (gimple_code (stmt))
|
||||
{
|
||||
case GIMPLE_BIND:
|
||||
ret = walk_gimple_seq_mod (gimple_bind_body_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_CATCH:
|
||||
ret = walk_gimple_seq_mod (gimple_catch_handler_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_EH_FILTER:
|
||||
ret = walk_gimple_seq_mod (gimple_eh_filter_failure_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_EH_ELSE:
|
||||
ret = walk_gimple_seq_mod (gimple_eh_else_n_body_ptr (stmt),
|
||||
callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
ret = walk_gimple_seq_mod (gimple_eh_else_e_body_ptr (stmt),
|
||||
callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_TRY:
|
||||
ret = walk_gimple_seq_mod (gimple_try_eval_ptr (stmt), callback_stmt, callback_op,
|
||||
wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
|
||||
ret = walk_gimple_seq_mod (gimple_try_cleanup_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_OMP_FOR:
|
||||
ret = walk_gimple_seq_mod (gimple_omp_for_pre_body_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
|
||||
/* FALL THROUGH. */
|
||||
case GIMPLE_OMP_CRITICAL:
|
||||
case GIMPLE_OMP_MASTER:
|
||||
case GIMPLE_OMP_TASKGROUP:
|
||||
case GIMPLE_OMP_ORDERED:
|
||||
case GIMPLE_OMP_SECTION:
|
||||
case GIMPLE_OMP_PARALLEL:
|
||||
case GIMPLE_OMP_TASK:
|
||||
case GIMPLE_OMP_SECTIONS:
|
||||
case GIMPLE_OMP_SINGLE:
|
||||
case GIMPLE_OMP_TARGET:
|
||||
case GIMPLE_OMP_TEAMS:
|
||||
ret = walk_gimple_seq_mod (gimple_omp_body_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_WITH_CLEANUP_EXPR:
|
||||
ret = walk_gimple_seq_mod (gimple_wce_cleanup_ptr (stmt), callback_stmt,
|
||||
callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
case GIMPLE_TRANSACTION:
|
||||
ret = walk_gimple_seq_mod (gimple_transaction_body_ptr (stmt),
|
||||
callback_stmt, callback_op, wi);
|
||||
if (ret)
|
||||
return wi->callback_result;
|
||||
break;
|
||||
|
||||
default:
|
||||
gcc_assert (!gimple_has_substatements (stmt));
|
||||
break;
|
||||
}
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
|
||||
/* Return true if calls C1 and C2 are known to go to the same function. */
|
||||
|
||||
|
@ -2996,251 +2404,6 @@ gimple_get_alias_set (tree t)
|
|||
}
|
||||
|
||||
|
||||
/* From a tree operand OP return the base of a load or store operation
|
||||
or NULL_TREE if OP is not a load or a store. */
|
||||
|
||||
static tree
|
||||
get_base_loadstore (tree op)
|
||||
{
|
||||
while (handled_component_p (op))
|
||||
op = TREE_OPERAND (op, 0);
|
||||
if (DECL_P (op)
|
||||
|| INDIRECT_REF_P (op)
|
||||
|| TREE_CODE (op) == MEM_REF
|
||||
|| TREE_CODE (op) == TARGET_MEM_REF)
|
||||
return op;
|
||||
return NULL_TREE;
|
||||
}
|
||||
|
||||
/* For the statement STMT call the callbacks VISIT_LOAD, VISIT_STORE and
|
||||
VISIT_ADDR if non-NULL on loads, store and address-taken operands
|
||||
passing the STMT, the base of the operand and DATA to it. The base
|
||||
will be either a decl, an indirect reference (including TARGET_MEM_REF)
|
||||
or the argument of an address expression.
|
||||
Returns the results of these callbacks or'ed. */
|
||||
|
||||
bool
|
||||
walk_stmt_load_store_addr_ops (gimple stmt, void *data,
|
||||
bool (*visit_load)(gimple, tree, void *),
|
||||
bool (*visit_store)(gimple, tree, void *),
|
||||
bool (*visit_addr)(gimple, tree, void *))
|
||||
{
|
||||
bool ret = false;
|
||||
unsigned i;
|
||||
if (gimple_assign_single_p (stmt))
|
||||
{
|
||||
tree lhs, rhs;
|
||||
if (visit_store)
|
||||
{
|
||||
lhs = get_base_loadstore (gimple_assign_lhs (stmt));
|
||||
if (lhs)
|
||||
ret |= visit_store (stmt, lhs, data);
|
||||
}
|
||||
rhs = gimple_assign_rhs1 (stmt);
|
||||
while (handled_component_p (rhs))
|
||||
rhs = TREE_OPERAND (rhs, 0);
|
||||
if (visit_addr)
|
||||
{
|
||||
if (TREE_CODE (rhs) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (rhs, 0), data);
|
||||
else if (TREE_CODE (rhs) == TARGET_MEM_REF
|
||||
&& TREE_CODE (TMR_BASE (rhs)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TMR_BASE (rhs), 0), data);
|
||||
else if (TREE_CODE (rhs) == OBJ_TYPE_REF
|
||||
&& TREE_CODE (OBJ_TYPE_REF_OBJECT (rhs)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (OBJ_TYPE_REF_OBJECT (rhs),
|
||||
0), data);
|
||||
else if (TREE_CODE (rhs) == CONSTRUCTOR)
|
||||
{
|
||||
unsigned int ix;
|
||||
tree val;
|
||||
|
||||
FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (rhs), ix, val)
|
||||
if (TREE_CODE (val) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (val, 0), data);
|
||||
else if (TREE_CODE (val) == OBJ_TYPE_REF
|
||||
&& TREE_CODE (OBJ_TYPE_REF_OBJECT (val)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt,
|
||||
TREE_OPERAND (OBJ_TYPE_REF_OBJECT (val),
|
||||
0), data);
|
||||
}
|
||||
lhs = gimple_assign_lhs (stmt);
|
||||
if (TREE_CODE (lhs) == TARGET_MEM_REF
|
||||
&& TREE_CODE (TMR_BASE (lhs)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TMR_BASE (lhs), 0), data);
|
||||
}
|
||||
if (visit_load)
|
||||
{
|
||||
rhs = get_base_loadstore (rhs);
|
||||
if (rhs)
|
||||
ret |= visit_load (stmt, rhs, data);
|
||||
}
|
||||
}
|
||||
else if (visit_addr
|
||||
&& (is_gimple_assign (stmt)
|
||||
|| gimple_code (stmt) == GIMPLE_COND))
|
||||
{
|
||||
for (i = 0; i < gimple_num_ops (stmt); ++i)
|
||||
{
|
||||
tree op = gimple_op (stmt, i);
|
||||
if (op == NULL_TREE)
|
||||
;
|
||||
else if (TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
/* COND_EXPR and VCOND_EXPR rhs1 argument is a comparison
|
||||
tree with two operands. */
|
||||
else if (i == 1 && COMPARISON_CLASS_P (op))
|
||||
{
|
||||
if (TREE_CODE (TREE_OPERAND (op, 0)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TREE_OPERAND (op, 0),
|
||||
0), data);
|
||||
if (TREE_CODE (TREE_OPERAND (op, 1)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (TREE_OPERAND (op, 1),
|
||||
0), data);
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (is_gimple_call (stmt))
|
||||
{
|
||||
if (visit_store)
|
||||
{
|
||||
tree lhs = gimple_call_lhs (stmt);
|
||||
if (lhs)
|
||||
{
|
||||
lhs = get_base_loadstore (lhs);
|
||||
if (lhs)
|
||||
ret |= visit_store (stmt, lhs, data);
|
||||
}
|
||||
}
|
||||
if (visit_load || visit_addr)
|
||||
for (i = 0; i < gimple_call_num_args (stmt); ++i)
|
||||
{
|
||||
tree rhs = gimple_call_arg (stmt, i);
|
||||
if (visit_addr
|
||||
&& TREE_CODE (rhs) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (rhs, 0), data);
|
||||
else if (visit_load)
|
||||
{
|
||||
rhs = get_base_loadstore (rhs);
|
||||
if (rhs)
|
||||
ret |= visit_load (stmt, rhs, data);
|
||||
}
|
||||
}
|
||||
if (visit_addr
|
||||
&& gimple_call_chain (stmt)
|
||||
&& TREE_CODE (gimple_call_chain (stmt)) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (gimple_call_chain (stmt), 0),
|
||||
data);
|
||||
if (visit_addr
|
||||
&& gimple_call_return_slot_opt_p (stmt)
|
||||
&& gimple_call_lhs (stmt) != NULL_TREE
|
||||
&& TREE_ADDRESSABLE (TREE_TYPE (gimple_call_lhs (stmt))))
|
||||
ret |= visit_addr (stmt, gimple_call_lhs (stmt), data);
|
||||
}
|
||||
else if (gimple_code (stmt) == GIMPLE_ASM)
|
||||
{
|
||||
unsigned noutputs;
|
||||
const char *constraint;
|
||||
const char **oconstraints;
|
||||
bool allows_mem, allows_reg, is_inout;
|
||||
noutputs = gimple_asm_noutputs (stmt);
|
||||
oconstraints = XALLOCAVEC (const char *, noutputs);
|
||||
if (visit_store || visit_addr)
|
||||
for (i = 0; i < gimple_asm_noutputs (stmt); ++i)
|
||||
{
|
||||
tree link = gimple_asm_output_op (stmt, i);
|
||||
tree op = get_base_loadstore (TREE_VALUE (link));
|
||||
if (op && visit_store)
|
||||
ret |= visit_store (stmt, op, data);
|
||||
if (visit_addr)
|
||||
{
|
||||
constraint = TREE_STRING_POINTER
|
||||
(TREE_VALUE (TREE_PURPOSE (link)));
|
||||
oconstraints[i] = constraint;
|
||||
parse_output_constraint (&constraint, i, 0, 0, &allows_mem,
|
||||
&allows_reg, &is_inout);
|
||||
if (op && !allows_reg && allows_mem)
|
||||
ret |= visit_addr (stmt, op, data);
|
||||
}
|
||||
}
|
||||
if (visit_load || visit_addr)
|
||||
for (i = 0; i < gimple_asm_ninputs (stmt); ++i)
|
||||
{
|
||||
tree link = gimple_asm_input_op (stmt, i);
|
||||
tree op = TREE_VALUE (link);
|
||||
if (visit_addr
|
||||
&& TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
else if (visit_load || visit_addr)
|
||||
{
|
||||
op = get_base_loadstore (op);
|
||||
if (op)
|
||||
{
|
||||
if (visit_load)
|
||||
ret |= visit_load (stmt, op, data);
|
||||
if (visit_addr)
|
||||
{
|
||||
constraint = TREE_STRING_POINTER
|
||||
(TREE_VALUE (TREE_PURPOSE (link)));
|
||||
parse_input_constraint (&constraint, 0, 0, noutputs,
|
||||
0, oconstraints,
|
||||
&allows_mem, &allows_reg);
|
||||
if (!allows_reg && allows_mem)
|
||||
ret |= visit_addr (stmt, op, data);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (gimple_code (stmt) == GIMPLE_RETURN)
|
||||
{
|
||||
tree op = gimple_return_retval (stmt);
|
||||
if (op)
|
||||
{
|
||||
if (visit_addr
|
||||
&& TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
else if (visit_load)
|
||||
{
|
||||
op = get_base_loadstore (op);
|
||||
if (op)
|
||||
ret |= visit_load (stmt, op, data);
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (visit_addr
|
||||
&& gimple_code (stmt) == GIMPLE_PHI)
|
||||
{
|
||||
for (i = 0; i < gimple_phi_num_args (stmt); ++i)
|
||||
{
|
||||
tree op = gimple_phi_arg_def (stmt, i);
|
||||
if (TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
}
|
||||
}
|
||||
else if (visit_addr
|
||||
&& gimple_code (stmt) == GIMPLE_GOTO)
|
||||
{
|
||||
tree op = gimple_goto_dest (stmt);
|
||||
if (TREE_CODE (op) == ADDR_EXPR)
|
||||
ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data);
|
||||
}
|
||||
|
||||
return ret;
|
||||
}
|
||||
|
||||
/* Like walk_stmt_load_store_addr_ops but with NULL visit_addr. IPA-CP
|
||||
should make a faster clone for this case. */
|
||||
|
||||
bool
|
||||
walk_stmt_load_store_ops (gimple stmt, void *data,
|
||||
bool (*visit_load)(gimple, tree, void *),
|
||||
bool (*visit_store)(gimple, tree, void *))
|
||||
{
|
||||
return walk_stmt_load_store_addr_ops (stmt, data,
|
||||
visit_load, visit_store, NULL);
|
||||
}
|
||||
|
||||
/* Helper for gimple_ior_addresses_taken_1. */
|
||||
|
||||
static bool
|
||||
|
@ -3688,3 +2851,12 @@ preprocess_case_label_vec_for_gimple (vec<tree> labels,
|
|||
if (default_casep)
|
||||
*default_casep = default_case;
|
||||
}
|
||||
|
||||
/* Set the location of all statements in SEQ to LOC. */
|
||||
|
||||
void
|
||||
gimple_seq_set_location (gimple_seq seq, location_t loc)
|
||||
{
|
||||
for (gimple_stmt_iterator i = gsi_start (seq); !gsi_end_p (i); gsi_next (&i))
|
||||
gimple_set_location (gsi_stmt (i), loc);
|
||||
}
|
||||
|
|
357
gcc/gimple.h
357
gcc/gimple.h
|
@ -141,21 +141,6 @@ enum plf_mask {
|
|||
GF_PLF_2 = 1 << 1
|
||||
};
|
||||
|
||||
/* Iterator object for GIMPLE statement sequences. */
|
||||
|
||||
struct gimple_stmt_iterator_d
|
||||
{
|
||||
/* Sequence node holding the current statement. */
|
||||
gimple_seq_node ptr;
|
||||
|
||||
/* Sequence and basic block holding the statement. These fields
|
||||
are necessary to handle edge cases such as when statement is
|
||||
added to an empty basic block or when the last statement of a
|
||||
block/sequence is removed. */
|
||||
gimple_seq *seq;
|
||||
basic_block bb;
|
||||
};
|
||||
|
||||
/* Data structure definitions for GIMPLE tuples. NOTE: word markers
|
||||
are for 64 bit hosts. */
|
||||
|
||||
|
@ -847,13 +832,6 @@ extern bool gimple_compare_field_offset (tree, tree);
|
|||
extern tree gimple_unsigned_type (tree);
|
||||
extern tree gimple_signed_type (tree);
|
||||
extern alias_set_type gimple_get_alias_set (tree);
|
||||
extern bool walk_stmt_load_store_addr_ops (gimple, void *,
|
||||
bool (*)(gimple, tree, void *),
|
||||
bool (*)(gimple, tree, void *),
|
||||
bool (*)(gimple, tree, void *));
|
||||
extern bool walk_stmt_load_store_ops (gimple, void *,
|
||||
bool (*)(gimple, tree, void *),
|
||||
bool (*)(gimple, tree, void *));
|
||||
extern bool gimple_ior_addresses_taken (bitmap, gimple);
|
||||
extern bool gimple_call_builtin_p (gimple, enum built_in_class);
|
||||
extern bool gimple_call_builtin_p (gimple, enum built_in_function);
|
||||
|
@ -5223,227 +5201,6 @@ gimple_expr_type (const_gimple stmt)
|
|||
return void_type_node;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to GIMPLE_SEQ's first statement. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_1 (gimple_seq *seq)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
|
||||
i.ptr = gimple_seq_first (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = i.ptr ? gimple_bb (i.ptr) : NULL;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
#define gsi_start(x) gsi_start_1 (&(x))
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_none (void)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
i.ptr = NULL;
|
||||
i.seq = NULL;
|
||||
i.bb = NULL;
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the first statement in basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
gimple_seq *seq;
|
||||
|
||||
seq = bb_seq_addr (bb);
|
||||
i.ptr = gimple_seq_first (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = bb;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
|
||||
/* Return a new iterator initially pointing to GIMPLE_SEQ's last statement. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_last_1 (gimple_seq *seq)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
|
||||
i.ptr = gimple_seq_last (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = i.ptr ? gimple_bb (i.ptr) : NULL;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
#define gsi_last(x) gsi_last_1 (&(x))
|
||||
|
||||
/* Return a new iterator pointing to the last statement in basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_last_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
gimple_seq *seq;
|
||||
|
||||
seq = bb_seq_addr (bb);
|
||||
i.ptr = gimple_seq_last (*seq);
|
||||
i.seq = seq;
|
||||
i.bb = bb;
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
|
||||
/* Return true if I is at the end of its sequence. */
|
||||
|
||||
static inline bool
|
||||
gsi_end_p (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.ptr == NULL;
|
||||
}
|
||||
|
||||
|
||||
/* Return true if I is one statement before the end of its sequence. */
|
||||
|
||||
static inline bool
|
||||
gsi_one_before_end_p (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.ptr != NULL && i.ptr->gsbase.next == NULL;
|
||||
}
|
||||
|
||||
|
||||
/* Advance the iterator to the next gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_next (gimple_stmt_iterator *i)
|
||||
{
|
||||
i->ptr = i->ptr->gsbase.next;
|
||||
}
|
||||
|
||||
/* Advance the iterator to the previous gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_prev (gimple_stmt_iterator *i)
|
||||
{
|
||||
gimple prev = i->ptr->gsbase.prev;
|
||||
if (prev->gsbase.next)
|
||||
i->ptr = prev;
|
||||
else
|
||||
i->ptr = NULL;
|
||||
}
|
||||
|
||||
/* Return the current stmt. */
|
||||
|
||||
static inline gimple
|
||||
gsi_stmt (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.ptr;
|
||||
}
|
||||
|
||||
/* Return a block statement iterator that points to the first non-label
|
||||
statement in block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_after_labels (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator gsi = gsi_start_bb (bb);
|
||||
|
||||
while (!gsi_end_p (gsi) && gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL)
|
||||
gsi_next (&gsi);
|
||||
|
||||
return gsi;
|
||||
}
|
||||
|
||||
/* Advance the iterator to the next non-debug gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_next_nondebug (gimple_stmt_iterator *i)
|
||||
{
|
||||
do
|
||||
{
|
||||
gsi_next (i);
|
||||
}
|
||||
while (!gsi_end_p (*i) && is_gimple_debug (gsi_stmt (*i)));
|
||||
}
|
||||
|
||||
/* Advance the iterator to the next non-debug gimple statement. */
|
||||
|
||||
static inline void
|
||||
gsi_prev_nondebug (gimple_stmt_iterator *i)
|
||||
{
|
||||
do
|
||||
{
|
||||
gsi_prev (i);
|
||||
}
|
||||
while (!gsi_end_p (*i) && is_gimple_debug (gsi_stmt (*i)));
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the first non-debug statement in
|
||||
basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_nondebug_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i = gsi_start_bb (bb);
|
||||
|
||||
if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
|
||||
gsi_next_nondebug (&i);
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the first non-debug non-label statement in
|
||||
basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_start_nondebug_after_labels_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i = gsi_after_labels (bb);
|
||||
|
||||
if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
|
||||
gsi_next_nondebug (&i);
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Return a new iterator pointing to the last non-debug statement in
|
||||
basic block BB. */
|
||||
|
||||
static inline gimple_stmt_iterator
|
||||
gsi_last_nondebug_bb (basic_block bb)
|
||||
{
|
||||
gimple_stmt_iterator i = gsi_last_bb (bb);
|
||||
|
||||
if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
|
||||
gsi_prev_nondebug (&i);
|
||||
|
||||
return i;
|
||||
}
|
||||
|
||||
|
||||
/* Return the basic block associated with this iterator. */
|
||||
|
||||
static inline basic_block
|
||||
gsi_bb (gimple_stmt_iterator i)
|
||||
{
|
||||
return i.bb;
|
||||
}
|
||||
|
||||
|
||||
/* Return the sequence associated with this iterator. */
|
||||
|
||||
static inline gimple_seq
|
||||
gsi_seq (gimple_stmt_iterator i)
|
||||
{
|
||||
return *i.seq;
|
||||
}
|
||||
|
||||
|
||||
enum gsi_iterator_update
|
||||
{
|
||||
GSI_NEW_STMT, /* Only valid when single statement is added, move
|
||||
|
@ -5454,112 +5211,8 @@ enum gsi_iterator_update
|
|||
direction. */
|
||||
};
|
||||
|
||||
/* In gimple-iterator.c */
|
||||
gimple_stmt_iterator gsi_start_phis (basic_block);
|
||||
gimple_seq gsi_split_seq_after (gimple_stmt_iterator);
|
||||
void gsi_split_seq_before (gimple_stmt_iterator *, gimple_seq *);
|
||||
void gsi_set_stmt (gimple_stmt_iterator *, gimple);
|
||||
void gsi_replace (gimple_stmt_iterator *, gimple, bool);
|
||||
void gsi_replace_with_seq (gimple_stmt_iterator *, gimple_seq, bool);
|
||||
void gsi_insert_before (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_before_without_update (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_seq_before (gimple_stmt_iterator *, gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_seq_before_without_update (gimple_stmt_iterator *, gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_after (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_after_without_update (gimple_stmt_iterator *, gimple,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_seq_after (gimple_stmt_iterator *, gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
void gsi_insert_seq_after_without_update (gimple_stmt_iterator *, gimple_seq,
|
||||
enum gsi_iterator_update);
|
||||
bool gsi_remove (gimple_stmt_iterator *, bool);
|
||||
gimple_stmt_iterator gsi_for_stmt (gimple);
|
||||
void gsi_move_after (gimple_stmt_iterator *, gimple_stmt_iterator *);
|
||||
void gsi_move_before (gimple_stmt_iterator *, gimple_stmt_iterator *);
|
||||
void gsi_move_to_bb_end (gimple_stmt_iterator *, basic_block);
|
||||
void gsi_insert_on_edge (edge, gimple);
|
||||
void gsi_insert_seq_on_edge (edge, gimple_seq);
|
||||
basic_block gsi_insert_on_edge_immediate (edge, gimple);
|
||||
basic_block gsi_insert_seq_on_edge_immediate (edge, gimple_seq);
|
||||
void gsi_commit_one_edge_insert (edge, basic_block *);
|
||||
void gsi_commit_edge_inserts (void);
|
||||
gimple gimple_call_copy_skip_args (gimple, bitmap);
|
||||
|
||||
/* Convenience routines to walk all statements of a gimple function.
|
||||
Note that this is useful exclusively before the code is converted
|
||||
into SSA form. Once the program is in SSA form, the standard
|
||||
operand interface should be used to analyze/modify statements. */
|
||||
struct walk_stmt_info
|
||||
{
|
||||
/* Points to the current statement being walked. */
|
||||
gimple_stmt_iterator gsi;
|
||||
|
||||
/* Additional data that the callback functions may want to carry
|
||||
through the recursion. */
|
||||
void *info;
|
||||
|
||||
/* Pointer map used to mark visited tree nodes when calling
|
||||
walk_tree on each operand. If set to NULL, duplicate tree nodes
|
||||
will be visited more than once. */
|
||||
struct pointer_set_t *pset;
|
||||
|
||||
/* Operand returned by the callbacks. This is set when calling
|
||||
walk_gimple_seq. If the walk_stmt_fn or walk_tree_fn callback
|
||||
returns non-NULL, this field will contain the tree returned by
|
||||
the last callback. */
|
||||
tree callback_result;
|
||||
|
||||
/* Indicates whether the operand being examined may be replaced
|
||||
with something that matches is_gimple_val (if true) or something
|
||||
slightly more complicated (if false). "Something" technically
|
||||
means the common subset of is_gimple_lvalue and is_gimple_rhs,
|
||||
but we never try to form anything more complicated than that, so
|
||||
we don't bother checking.
|
||||
|
||||
Also note that CALLBACK should update this flag while walking the
|
||||
sub-expressions of a statement. For instance, when walking the
|
||||
statement 'foo (&var)', the flag VAL_ONLY will initially be set
|
||||
to true, however, when walking &var, the operand of that
|
||||
ADDR_EXPR does not need to be a GIMPLE value. */
|
||||
BOOL_BITFIELD val_only : 1;
|
||||
|
||||
/* True if we are currently walking the LHS of an assignment. */
|
||||
BOOL_BITFIELD is_lhs : 1;
|
||||
|
||||
/* Optional. Set to true by the callback functions if they made any
|
||||
changes. */
|
||||
BOOL_BITFIELD changed : 1;
|
||||
|
||||
/* True if we're interested in location information. */
|
||||
BOOL_BITFIELD want_locations : 1;
|
||||
|
||||
/* True if we've removed the statement that was processed. */
|
||||
BOOL_BITFIELD removed_stmt : 1;
|
||||
};
|
||||
|
||||
/* Callback for walk_gimple_stmt. Called for every statement found
|
||||
during traversal. The first argument points to the statement to
|
||||
walk. The second argument is a flag that the callback sets to
|
||||
'true' if it the callback handled all the operands and
|
||||
sub-statements of the statement (the default value of this flag is
|
||||
'false'). The third argument is an anonymous pointer to data
|
||||
to be used by the callback. */
|
||||
typedef tree (*walk_stmt_fn) (gimple_stmt_iterator *, bool *,
|
||||
struct walk_stmt_info *);
|
||||
|
||||
gimple walk_gimple_seq (gimple_seq, walk_stmt_fn, walk_tree_fn,
|
||||
struct walk_stmt_info *);
|
||||
gimple walk_gimple_seq_mod (gimple_seq *, walk_stmt_fn, walk_tree_fn,
|
||||
struct walk_stmt_info *);
|
||||
tree walk_gimple_stmt (gimple_stmt_iterator *, walk_stmt_fn, walk_tree_fn,
|
||||
struct walk_stmt_info *);
|
||||
tree walk_gimple_op (gimple, walk_tree_fn, struct walk_stmt_info *);
|
||||
|
||||
/* Enum and arrays used for allocation stats. Keep in sync with
|
||||
gimple.c:gimple_alloc_kind_names. */
|
||||
enum gimple_alloc_kind
|
||||
|
@ -5593,15 +5246,6 @@ gimple_alloc_kind (enum gimple_code code)
|
|||
|
||||
extern void dump_gimple_statistics (void);
|
||||
|
||||
/* Set the location of all statements in SEQ to LOC. */
|
||||
|
||||
static inline void
|
||||
gimple_seq_set_location (gimple_seq seq, location_t loc)
|
||||
{
|
||||
for (gimple_stmt_iterator i = gsi_start (seq); !gsi_end_p (i); gsi_next (&i))
|
||||
gimple_set_location (gsi_stmt (i), loc);
|
||||
}
|
||||
|
||||
/* Return true if a location should not be emitted for this statement
|
||||
by annotate_all_with_location. */
|
||||
|
||||
|
@ -5636,5 +5280,6 @@ gimple_set_do_not_emit_location (gimple g)
|
|||
|
||||
extern void sort_case_labels (vec<tree> );
|
||||
extern void preprocess_case_label_vec_for_gimple (vec<tree> , tree, tree *);
|
||||
extern void gimple_seq_set_location (gimple_seq , location_t);
|
||||
|
||||
#endif /* GCC_GIMPLE_H */
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-iterator.h"
|
||||
#include "tree-inline.h"
|
||||
#include "tree-pretty-print.h"
|
||||
|
|
|
@ -36,6 +36,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "dumpfile.h"
|
||||
#include "cfgloop.h"
|
||||
|
|
|
@ -37,6 +37,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "diagnostic-core.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-ssa-loop-manip.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
|
|
|
@ -35,6 +35,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "tree-pass.h"
|
||||
#include "cfgloop.h"
|
||||
|
|
|
@ -37,6 +37,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "dumpfile.h"
|
||||
#include "cfgloop.h"
|
||||
|
|
|
@ -34,6 +34,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "dumpfile.h"
|
||||
#include "cfgloop.h"
|
||||
|
|
|
@ -37,6 +37,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "diagnostic-core.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "dumpfile.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
|
|
|
@ -33,6 +33,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
|
@ -35,6 +35,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -49,6 +49,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "diagnostic-core.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "tree-dump.h"
|
||||
|
|
|
@ -79,6 +79,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coverage.h"
|
||||
#include "ggc.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -52,6 +52,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "cgraph.h"
|
||||
#include "tree-pass.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "ggc.h"
|
||||
#include "flags.h"
|
||||
#include "target.h"
|
||||
|
|
|
@ -22,6 +22,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "langhooks.h"
|
||||
#include "ggc.h"
|
||||
#include "target.h"
|
||||
|
|
|
@ -37,6 +37,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-ssa-loop-niter.h"
|
||||
#include "tree-inline.h"
|
||||
|
|
|
@ -79,6 +79,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "target.h"
|
||||
#include "ipa-prop.h"
|
||||
#include "gimple-ssa.h"
|
||||
|
|
|
@ -33,6 +33,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "hashtab.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-ssanames.h"
|
||||
|
|
|
@ -32,6 +32,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "hashtab.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-ssanames.h"
|
||||
#include "tree-pass.h"
|
||||
|
|
|
@ -28,6 +28,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tree.h"
|
||||
#include "rtl.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "tree-iterator.h"
|
||||
#include "tree-inline.h"
|
||||
#include "langhooks.h"
|
||||
|
|
|
@ -51,6 +51,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "target.h"
|
||||
#include "cfgloop.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -62,6 +62,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "value-prof.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "cfgloop.h"
|
||||
#include "dumpfile.h"
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tree.h"
|
||||
#include "tree-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -1,3 +1,8 @@
|
|||
2013-11-13 Andrew MacLeod <amacleod@redhat.com>
|
||||
|
||||
* testsuite/g++.dg/plugin/selfassign.c: Include gimple-iterator.h.
|
||||
* testsuite/gcc.dg/plugin/selfassign.c: Likewise.
|
||||
|
||||
2013-11-12 Jeff Law <law@redhat.com>
|
||||
|
||||
* PR middle-end/59119
|
||||
|
|
|
@ -11,6 +11,7 @@
|
|||
#include "toplev.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree.h"
|
||||
#include "tree-pass.h"
|
||||
#include "intl.h"
|
||||
|
|
|
@ -11,6 +11,7 @@
|
|||
#include "toplev.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree.h"
|
||||
#include "tree-pass.h"
|
||||
#include "intl.h"
|
||||
|
|
|
@ -47,6 +47,7 @@
|
|||
#include "coverage.h"
|
||||
#include "tree-pass.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-ssa.h"
|
||||
#include "tree-inline.h"
|
||||
|
|
|
@ -23,6 +23,8 @@
|
|||
#include "hash-table.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tree.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-ssanames.h"
|
||||
|
|
|
@ -31,6 +31,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "ggc.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -30,6 +30,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "ggc.h"
|
||||
#include "langhooks.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -24,6 +24,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tree.h"
|
||||
#include "flags.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -79,6 +79,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tree.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop-niter.h"
|
||||
#include "tree-ssa-loop.h"
|
||||
#include "tree-ssa.h"
|
||||
|
|
|
@ -33,6 +33,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "function.h"
|
||||
#include "tree-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "except.h"
|
||||
#include "pointer-set.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -22,6 +22,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "tree-pass.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
|
|
|
@ -89,6 +89,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -35,6 +35,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tree-iterator.h"
|
||||
#include "intl.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -30,6 +30,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "function.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -46,6 +46,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -27,6 +27,8 @@
|
|||
#include "tree-dump.h"
|
||||
#include "tree-inline.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "tree-iterator.h"
|
||||
#include "bitmap.h"
|
||||
#include "cgraph.h"
|
||||
|
|
|
@ -26,6 +26,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "tree-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-ssanames.h"
|
||||
#include "tree-pass.h"
|
||||
|
|
|
@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-ssanames.h"
|
||||
#include "tree-pass.h"
|
||||
|
|
|
@ -29,6 +29,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "bitmap.h"
|
||||
#include "sbitmap.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -24,6 +24,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coretypes.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "ggc.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
@ -504,5 +505,18 @@ degenerate_phi_result (gimple phi)
|
|||
return (i == gimple_phi_num_args (phi) ? val : NULL);
|
||||
}
|
||||
|
||||
/* Set PHI nodes of a basic block BB to SEQ. */
|
||||
|
||||
void
|
||||
set_phi_nodes (basic_block bb, gimple_seq seq)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
|
||||
gcc_checking_assert (!(bb->flags & BB_RTL));
|
||||
bb->il.gimple.phi_nodes = seq;
|
||||
if (seq)
|
||||
for (i = gsi_start (seq); !gsi_end_p (i); gsi_next (&i))
|
||||
gimple_set_bb (gsi_stmt (i), bb);
|
||||
}
|
||||
|
||||
#include "gt-tree-phinodes.h"
|
||||
|
|
|
@ -30,21 +30,7 @@ extern void remove_phi_args (edge);
|
|||
extern void remove_phi_node (gimple_stmt_iterator *, bool);
|
||||
extern void remove_phi_nodes (basic_block);
|
||||
extern tree degenerate_phi_result (gimple);
|
||||
|
||||
/* Set PHI nodes of a basic block BB to SEQ. */
|
||||
|
||||
static inline void
|
||||
set_phi_nodes (basic_block bb, gimple_seq seq)
|
||||
{
|
||||
gimple_stmt_iterator i;
|
||||
|
||||
gcc_checking_assert (!(bb->flags & BB_RTL));
|
||||
bb->il.gimple.phi_nodes = seq;
|
||||
if (seq)
|
||||
for (i = gsi_start (seq); !gsi_end_p (i); gsi_next (&i))
|
||||
gimple_set_bb (gsi_stmt (i), bb);
|
||||
}
|
||||
|
||||
extern void set_phi_nodes (basic_block, gimple_seq);
|
||||
|
||||
static inline use_operand_p
|
||||
gimple_phi_arg_imm_use_ptr (gimple gs, int i)
|
||||
|
|
|
@ -192,6 +192,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm_p.h"
|
||||
#include "cfgloop.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
|
@ -35,6 +35,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "coverage.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -260,6 +260,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "hash-table.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -79,6 +79,8 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-walk.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -120,6 +120,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "function.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "bitmap.h"
|
||||
#include "dumpfile.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "function.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -24,6 +24,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm.h"
|
||||
#include "tree.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "flags.h"
|
||||
#include "basic-block.h"
|
||||
#include "function.h"
|
||||
|
|
|
@ -51,6 +51,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -31,6 +31,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "function.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -30,6 +30,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "tree-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "bitmap.h"
|
||||
#include "sbitmap.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
|
@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm_p.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-into-ssa.h"
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -41,6 +41,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -70,6 +70,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "cgraph.h"
|
||||
#include "tree-cfg.h"
|
||||
|
|
|
@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm_p.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "intl.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "tree-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-ssa-loop-ivopts.h"
|
||||
#include "tree-ssa-loop-manip.h"
|
||||
|
|
|
@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm_p.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "tree-ssa-loop-ivopts.h"
|
||||
#include "tree-ssa-loop-manip.h"
|
||||
#include "tree-ssa-loop-niter.h"
|
||||
|
|
|
@ -91,6 +91,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "flags.h"
|
||||
#include "tree.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "tm_p.h"
|
||||
#include "basic-block.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "basic-block.h"
|
||||
#include "gimple-pretty-print.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
|
@ -28,6 +28,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "tree-inline.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -31,6 +31,7 @@
|
|||
#include "dumpfile.h"
|
||||
#include "sbitmap.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -30,6 +30,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "tree-inline.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "gimple-pretty-print.h"
|
||||
#include "tree-inline.h"
|
||||
#include "gimple.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-cfg.h"
|
||||
#include "tree-phinodes.h"
|
||||
|
|
|
@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
|
|||
#include "hash-table.h"
|
||||
#include "bitmap.h"
|
||||
#include "gimplify.h"
|
||||
#include "gimple-iterator.h"
|
||||
#include "gimple-ssa.h"
|
||||
#include "tree-phinodes.h"
|
||||
#include "ssa-iterators.h"
|
||||
|
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue