diff options
author | YamaArashi <shadow962@live.com> | 2016-01-06 01:47:28 -0800 |
---|---|---|
committer | YamaArashi <shadow962@live.com> | 2016-01-06 01:47:28 -0800 |
commit | be8b04496302184c6e8f04d6179f9c3afc50aeb6 (patch) | |
tree | 726e2468c0c07add773c0dbd86ab6386844259ae /gcc/basic-block.h |
initial commit
Diffstat (limited to 'gcc/basic-block.h')
-rwxr-xr-x | gcc/basic-block.h | 215 |
1 files changed, 215 insertions, 0 deletions
diff --git a/gcc/basic-block.h b/gcc/basic-block.h new file mode 100755 index 0000000..11848d2 --- /dev/null +++ b/gcc/basic-block.h @@ -0,0 +1,215 @@ +/* Define control and data flow tables, and regsets. + Copyright (C) 1987, 1997, 1998, 1999 Free Software Foundation, Inc. + +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. */ + + +#include "bitmap.h" +#include "sbitmap.h" + +typedef bitmap regset; /* Head of register set linked list. */ + +/* Clear a register set by freeing up the linked list. */ +#define CLEAR_REG_SET(HEAD) bitmap_clear (HEAD) + +/* Copy a register set to another register set. */ +#define COPY_REG_SET(TO, FROM) bitmap_copy (TO, FROM) + +/* `and' a register set with a second register set. */ +#define AND_REG_SET(TO, FROM) bitmap_operation (TO, TO, FROM, BITMAP_AND) + +/* `and' the complement of a register set with a register set. */ +#define AND_COMPL_REG_SET(TO, FROM) \ + bitmap_operation (TO, TO, FROM, BITMAP_AND_COMPL) + +/* Inclusive or a register set with a second register set. */ +#define IOR_REG_SET(TO, FROM) bitmap_operation (TO, TO, FROM, BITMAP_IOR) + +/* Or into TO the register set FROM1 `and'ed with the complement of FROM2. */ +#define IOR_AND_COMPL_REG_SET(TO, FROM1, FROM2) \ + bitmap_ior_and_compl (TO, FROM1, FROM2) + +/* Clear a single register in a register set. */ +#define CLEAR_REGNO_REG_SET(HEAD, REG) bitmap_clear_bit (HEAD, REG) + +/* Set a single register in a register set. */ +#define SET_REGNO_REG_SET(HEAD, REG) bitmap_set_bit (HEAD, REG) + +/* Return true if a register is set in a register set. */ +#define REGNO_REG_SET_P(TO, REG) bitmap_bit_p (TO, REG) + +/* Copy the hard registers in a register set to the hard register set. */ +#define REG_SET_TO_HARD_REG_SET(TO, FROM) \ +do { \ + int i_; \ + CLEAR_HARD_REG_SET (TO); \ + for (i_ = 0; i_ < FIRST_PSEUDO_REGISTER; i_++) \ + if (REGNO_REG_SET_P (FROM, i_)) \ + SET_HARD_REG_BIT (TO, i_); \ +} while (0) + +/* Loop over all registers in REGSET, starting with MIN, setting REGNUM to the + register number and executing CODE for all registers that are set. */ +#define EXECUTE_IF_SET_IN_REG_SET(REGSET, MIN, REGNUM, CODE) \ + EXECUTE_IF_SET_IN_BITMAP (REGSET, MIN, REGNUM, CODE) + +/* Loop over all registers in REGSET1 and REGSET2, starting with MIN, setting + REGNUM to the register number and executing CODE for all registers that are + set in the first regset and not set in the second. */ +#define EXECUTE_IF_AND_COMPL_IN_REG_SET(REGSET1, REGSET2, MIN, REGNUM, CODE) \ + EXECUTE_IF_AND_COMPL_IN_BITMAP (REGSET1, REGSET2, MIN, REGNUM, CODE) + +/* Loop over all registers in REGSET1 and REGSET2, starting with MIN, setting + REGNUM to the register number and executing CODE for all registers that are + set in both regsets. */ +#define EXECUTE_IF_AND_IN_REG_SET(REGSET1, REGSET2, MIN, REGNUM, CODE) \ + EXECUTE_IF_AND_IN_BITMAP (REGSET1, REGSET2, MIN, REGNUM, CODE) + +/* Allocate a register set with oballoc. */ +#define OBSTACK_ALLOC_REG_SET(OBSTACK) BITMAP_OBSTACK_ALLOC (OBSTACK) + +/* Allocate a register set with alloca. */ +#define ALLOCA_REG_SET() BITMAP_ALLOCA () + +/* Do any cleanup needed on a regset when it is no longer used. */ +#define FREE_REG_SET(REGSET) BITMAP_FREE(REGSET) + +/* Do any one-time initializations needed for regsets. */ +#define INIT_ONCE_REG_SET() BITMAP_INIT_ONCE () + +/* Grow any tables needed when the number of registers is calculated + or extended. For the linked list allocation, nothing needs to + be done, other than zero the statistics on the first allocation. */ +#define MAX_REGNO_REG_SET(NUM_REGS, NEW_P, RENUMBER_P) + +/* Number of basic blocks in the current function. */ + +extern int n_basic_blocks; + +/* Index by basic block number, get first insn in the block. */ + +extern rtx *x_basic_block_head; + +/* Index by basic block number, get last insn in the block. */ + +extern rtx *x_basic_block_end; + +/* Index by basic block number, determine whether the block can be reached + through a computed jump. */ + +extern char *basic_block_computed_jump_target; + +/* Index by basic block number, get address of regset + describing the registers live at the start of that block. */ + +extern regset *basic_block_live_at_start; + +/* What registers are live at the setjmp call. */ + +extern regset regs_live_at_setjmp; + +/* Indexed by n, gives number of basic block that (REG n) is used in. + If the value is REG_BLOCK_GLOBAL (-2), + it means (REG n) is used in more than one basic block. + REG_BLOCK_UNKNOWN (-1) means it hasn't been seen yet so we don't know. + This information remains valid for the rest of the compilation + of the current function; it is used to control register allocation. */ + +#define REG_BLOCK_UNKNOWN -1 +#define REG_BLOCK_GLOBAL -2 + +#define REG_BASIC_BLOCK(N) (VARRAY_REG (reg_n_info, N)->basic_block) + +/* List of integers. + These are used for storing things like predecessors, etc. + + This scheme isn't very space efficient, especially on 64 bit machines. + The interface is designed so that the implementation can be replaced with + something more efficient if desirable. */ + +typedef struct int_list { + struct int_list *next; + int val; +} int_list; + +typedef int_list *int_list_ptr; + +/* Integer list elements are allocated in blocks to reduce the frequency + of calls to malloc and to reduce the associated space overhead. */ + +typedef struct int_list_block { + struct int_list_block *next; + int nodes_left; +#define INT_LIST_NODES_IN_BLK 500 + struct int_list nodes[INT_LIST_NODES_IN_BLK]; +} int_list_block; + +/* Given a pointer to the list, return pointer to first element. */ +#define INT_LIST_FIRST(il) (il) + +/* Given a pointer to a list element, return pointer to next element. */ +#define INT_LIST_NEXT(p) ((p)->next) + +/* Return non-zero if P points to the end of the list. */ +#define INT_LIST_END(p) ((p) == NULL) + +/* Return element pointed to by P. */ +#define INT_LIST_VAL(p) ((p)->val) + +#define INT_LIST_SET_VAL(p, new_val) ((p)->val = (new_val)) + +extern void free_int_list PROTO ((int_list_block **)); + +/* Stuff for recording basic block info. */ + +#define BLOCK_HEAD(B) x_basic_block_head[(B)] +#define BLOCK_END(B) x_basic_block_end[(B)] + +/* Special block numbers [markers] for entry and exit. */ +#define ENTRY_BLOCK (-1) +#define EXIT_BLOCK (-2) + +/* from flow.c */ +extern void free_regset_vector PROTO ((regset *, int nelts)); +extern int *uid_block_number; +#define BLOCK_NUM(INSN) uid_block_number[INSN_UID (INSN)] + +extern void dump_bb_data PROTO ((FILE *, int_list_ptr *, int_list_ptr *, + int)); +extern void free_bb_mem PROTO ((void)); +extern void free_basic_block_vars PROTO ((int)); + +/* CYGNUS LOCAL edge_splitting/law */ +extern int compute_preds_succs PROTO ((int_list_ptr *, int_list_ptr *, + int *, int *, int)); +/* END CYGNUS LOCAL */ +extern void compute_dominators PROTO ((sbitmap *, sbitmap *, + int_list_ptr *, int_list_ptr *)); + +/* CYGNUS LOCAL lcm/law */ +/* In lcm.c */ +extern void pre_lcm PROTO ((int, int, int_list_ptr *, + int_list_ptr *, + sbitmap *, sbitmap *, + sbitmap *, sbitmap *)); +extern void pre_rev_lcm PROTO ((int, int, int_list_ptr *, + int_list_ptr *, + sbitmap *, sbitmap *, + sbitmap *, sbitmap *)); + +/* END CYGNUS LOCAL */ |