diff options
author | Jeffrey Oldham <oldham@codesourcery.com> | 2000-08-02 04:21:27 +0000 |
---|---|---|
committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2000-08-02 04:21:27 +0000 |
commit | b53978a3ee3998863c0f942b9b4c40d0e36d2bc7 (patch) | |
tree | effa31090707b8e4d80bb9f56140fd2884c53bc1 /gcc/ssa.h | |
parent | 79c2c6da2c5621208eec12f608b672856d38f6a3 (diff) | |
download | gcc-b53978a3ee3998863c0f942b9b4c40d0e36d2bc7.zip gcc-b53978a3ee3998863c0f942b9b4c40d0e36d2bc7.tar.gz gcc-b53978a3ee3998863c0f942b9b4c40d0e36d2bc7.tar.bz2 |
Makefile.in (OBJS): Added dce.o.
* 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.
Co-Authored-By: Mark Mitchell <mark@codesourcery.com>
From-SVN: r35419
Diffstat (limited to 'gcc/ssa.h')
-rw-r--r-- | gcc/ssa.h | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/gcc/ssa.h b/gcc/ssa.h new file mode 100644 index 0000000..463fef8 --- /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))) |