* Makefile.in (OBJS): Added dce.o.

	(ssa.o): Updated target to include ssa.h.
	(flow.o): Likewise.
	(toplev.o): Likewise.
	(dce.o): Created target.
	* basic-block.h: Added comments.
	(INVALID_BLOCK): Added definition.
	(connect_infinite_loops_to_exit): Added declaration.
	Moved SSA declarations to ssa.h.
	* flow.c: Added inclusion of ssa.h.
	(struct depth_first_search_dsS, depth_first_search_ds):
	Added definitions.
	(compute_immediate_postdominators): Added definition.
	(connect_infinite_loops_to_exit): Likewise.
	(flow_dfs_compute_reverse_init): Likewise.
	(flow_dfs_compute_reverse_add_bb): Likewise.
	(flow_dfs_compute_reverse_execute): Likewise.
	(flow_dfs_compute_reverse_finish): Likewise.
	* rtl.h (rtx/in_struct): Added use to determine insn necessity.
	(LABEL_P): Added definition.
	(JUMP_P): Likewise.
	(NOTE_P): Likewise.
	(BARRIER_P): Likewise.
	(JUMP_TABLE_DATA_P): Likewise.
	(INSN_DEAD_CODE_P): Likewise.
	* ssa.c: Replaced inclusions with ssa.h inclusion.
	(CONVERT_HARD_REGISTER_TO_SSA_P): Moved to ssa.h.
	(rename_registers): Removed unnecessary variables.
	* ssa.h: Created by moving declarations from ssa.c and
	basic-block.h.
	* timevar.def: Defined TV_DEAD_CODE_ELIM.
	* toplev.c: Added ssa.h inclusion.
	(dump_file_index): Added DFI_dce.
	(dump_file): Added "dce" entry.
	Defined flag_ssa.
	(f_options): Added dce entry.
	* invoke.texi: Document -fdce.  Emphasize experimental status of
	-fssa.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@35419 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 64 insertions, 0 deletions

diff --git a/gcc/ssa.h b/gcc/ssa.h
new file mode 100644
index 00000000000..463fef8b60c
--- /dev/null
+++ b/gcc/ssa.h
@@ -0,0 +1,64 @@
+/* Static Single Assignment (SSA) definitions for GNU C-Compiler
+   Copyright (C) 2000 Free Software Foundation, Inc.
+   Written by Jeffrey D. Oldham <oldham@codesourcery.com>.
+
+This file is part of GNU CC.
+
+GNU CC 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 2, or (at your option)
+any later version.
+
+GNU CC 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 GNU CC; see the file COPYING.  If not, write to
+the Free Software Foundation, 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
+
+
+/* Main SSA routines.  */
+extern void convert_to_ssa		PARAMS ((void));
+extern void convert_from_ssa		PARAMS ((void));
+typedef int (*successor_phi_fn)         PARAMS ((rtx, int, int, void *));
+extern int for_each_successor_phi       PARAMS ((basic_block bb,
+						 successor_phi_fn,
+						 void *));
+
+/* Optimizations.  */
+/* In dce.c */
+extern void eliminate_dead_code		PARAMS ((void));
+
+/* SSA definitions and uses.  */
+/* This flag is set when the CFG is in SSA form.  */
+extern int in_ssa_form;
+
+/* Element I is the single instruction that sets register I.  */
+extern varray_type ssa_definition;
+
+/* Element I is an INSN_LIST of instructions that use register I.  */
+extern varray_type ssa_uses;
+
+
+/* Specify which hard registers should be converted.  */
+
+/* All pseudo-registers (having register number >=
+   FIRST_PSEUDO_REGISTER) and hard registers satisfying
+   CONVERT_HARD_REGISTER_TO_SSA_P are converted to SSA form.  */
+
+/* Given a hard register number REG_NO, return nonzero if and only if
+   the register should be converted to SSA.  */
+
+#ifndef CONVERT_HARD_REGISTER_TO_SSA_P
+#define CONVERT_HARD_REGISTER_TO_SSA_P(REG_NO) (0) /* default of no hard registers */
+#endif /* CONVERT_HARD_REGISTER_TO_SSA_P  */
+
+/* Given a register number REG_NO, return nonzero if and only if the
+   register should be converted to SSA.  */
+
+#define CONVERT_REGISTER_TO_SSA_P(REG_NO)	\
+	((!HARD_REGISTER_NUM_P (REG_NO)) || \
+	 (CONVERT_HARD_REGISTER_TO_SSA_P (REG_NO)))