1992-07-06 15:55:04 -04:00
|
|
|
|
/* Define control and data flow tables, and regsets.
|
1998-07-02 09:49:34 -04:00
|
|
|
|
Copyright (C) 1987, 1997, 1998 Free Software Foundation, Inc.
|
1992-07-06 15:55:04 -04:00
|
|
|
|
|
|
|
|
|
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
|
1995-06-15 07:33:25 -04:00
|
|
|
|
the Free Software Foundation, 59 Temple Place - Suite 330,
|
|
|
|
|
Boston, MA 02111-1307, USA. */
|
1992-07-06 15:55:04 -04:00
|
|
|
|
|
|
|
|
|
|
1997-07-14 06:49:30 -04:00
|
|
|
|
#include "bitmap.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)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
|
|
|
|
/* Clear a single register in a register set. */
|
1997-07-14 06:49:30 -04:00
|
|
|
|
#define CLEAR_REGNO_REG_SET(HEAD, REG) bitmap_clear_bit (HEAD, REG)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
|
|
|
|
/* Set a single register in a register set. */
|
1997-07-14 06:49:30 -04:00
|
|
|
|
#define SET_REGNO_REG_SET(HEAD, REG) bitmap_set_bit (HEAD, REG)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
|
|
|
|
/* Return true if a register is set in a register set. */
|
1997-07-14 06:49:30 -04:00
|
|
|
|
#define REGNO_REG_SET_P(TO, REG) bitmap_bit_p (TO, REG)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
|
|
|
|
/* 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); \
|
1997-06-06 17:14:24 -04:00
|
|
|
|
for (i_ = 0; i_ < FIRST_PSEUDO_REGISTER; i_++) \
|
1997-06-05 06:24:03 -04:00
|
|
|
|
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) \
|
1997-07-14 06:49:30 -04:00
|
|
|
|
EXECUTE_IF_SET_IN_BITMAP (REGSET, MIN, REGNUM, CODE)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
|
|
|
|
/* 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) \
|
1997-07-14 06:49:30 -04:00
|
|
|
|
EXECUTE_IF_AND_COMPL_IN_BITMAP (REGSET1, REGSET2, MIN, REGNUM, CODE)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
1997-09-04 11:12:20 -04:00
|
|
|
|
/* 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)
|
|
|
|
|
|
1997-06-05 06:24:03 -04:00
|
|
|
|
/* Allocate a register set with oballoc. */
|
1997-07-14 06:49:30 -04:00
|
|
|
|
#define OBSTACK_ALLOC_REG_SET(OBSTACK) BITMAP_OBSTACK_ALLOC (OBSTACK)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
|
|
|
|
/* Allocate a register set with alloca. */
|
1997-07-14 06:49:30 -04:00
|
|
|
|
#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)
|
1997-06-05 06:24:03 -04:00
|
|
|
|
|
1992-07-06 15:55:04 -04:00
|
|
|
|
/* 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 *basic_block_head;
|
|
|
|
|
|
|
|
|
|
/* Index by basic block number, get last insn in the block. */
|
|
|
|
|
|
|
|
|
|
extern rtx *basic_block_end;
|
|
|
|
|
|
1998-03-27 19:12:41 -05:00
|
|
|
|
/* Index by basic block number, determine whether the block can be reached
|
|
|
|
|
through a computed jump. */
|
|
|
|
|
|
|
|
|
|
extern char *basic_block_computed_jump_target;
|
|
|
|
|
|
1992-07-06 15:55:04 -04:00
|
|
|
|
/* 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;
|
|
|
|
|
|
1997-07-14 06:49:30 -04:00
|
|
|
|
/* What registers are live at the setjmp call. */
|
|
|
|
|
|
|
|
|
|
extern regset regs_live_at_setjmp;
|
|
|
|
|
|
1992-07-06 15:55:04 -04:00
|
|
|
|
/* 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
|
1997-05-30 14:19:19 -04:00
|
|
|
|
|
1998-07-02 09:49:34 -04:00
|
|
|
|
#define REG_BASIC_BLOCK(N) (VARRAY_REG (reg_n_info, N)->basic_block)
|
1998-03-05 17:31:51 -05:00
|
|
|
|
|
|
|
|
|
/* 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) basic_block_head[(B)]
|
|
|
|
|
#define BLOCK_END(B) basic_block_end[(B)]
|
|
|
|
|
|
|
|
|
|
/* Special block numbers [markers] for entry and exit. */
|
|
|
|
|
#define ENTRY_BLOCK (-1)
|
|
|
|
|
#define EXIT_BLOCK (-2)
|
|
|
|
|
|
|
|
|
|
/* from flow.c */
|
Warning Fixes:
* Makefile.in (print-rtl.o): Depend on bitmap.h.
(dbxout.o): Depend on toplev.h.
($(SCHED_PREFIX)sched.o): Likewise.
($(out_object_file)): Likewise for system.h and toplev.h.
(cppmain.o): Depend on gansidecl.h.
(cpplib.o): Likewise.
(cpperror.o): Likewise.
(cppexp.o): Likewise.
(cpphash.o): Likewise.
(cppalloc.o): Likewise.
(fix-header.o): Depend on cpplib.h and cpphash.h.
(scan-decls.o): Depend on gansidecl.h.
* basic-block.h (free_regset_vector): Add prototype.
* cccp.c (check_precompiled): Mark parameter `fname' with
ATTRIBUTE_UNUSED.
(do_assert): Likewise for `op' and `keyword'.
(do_unassert): Likewise.
(do_line): Likewise for `keyword'.
(do_error): Likewise for `op' and `keyword'.
(do_warning): Likewise.
(do_ident): Likewise for `keyword'.
(do_pragma): Likewise for `limit', `op' and `keyword'.
(do_sccs): Likewise.
(do_if): Likewise for `keyword'.
(do_elif): Likewise.
(do_else): Likewise.
(do_endif): Likewise.
* collect2.c (getenv): Remove redundant prototype.
(collect_exit, collect_execute, dump_file): Likewise.
(dump_list): Wrap prototype and definition in COLLECT_EXPORT_LIST.
(dump_prefix_list): Hide prototype and definition.
* sparc.c: Include toplev.h.
(intreg_operand): Mark parameter `mode' with ATTRIBUTE_UNUSED.
(symbolic_memory_operand): Likewise.
(sp64_medium_pic_operand): Likewise.
(data_segment_operand): Likewise.
(text_segment_operand): Likewise.
(splittable_symbolic_memory_operand): Likewise.
(splittable_immediate_memory_operand): Likewise.
(eq_or_neq): Likewise.
(normal_comp_operator): Likewise.
(noov_compare_op): Likewise.
(v9_regcmp_op): Likewise.
(v8plus_regcmp_op): Likewise.
(extend_op): Likewise.
(cc_arithop): Likewise.
(cc_arithopn): Likewise.
(small_int): Likewise.
(uns_small_int): Likewise.
(clobbered_register): Likewise.
(legitimize_pic_address): Likewise.
(delay_operand): Likewise.
(sparc_builtin_saveregs): Remove unused variable `stdarg'.
* sparc.h (order_regs_for_local_alloc, eligible_for_return_delay,
sparc_issue_rate, v8plus_regcmp_p): Add prototypes.
* sparc.md (cmpdi_v8plus): Add abort for default case in switch.
* cppalloc.c: Include gansidecl.h.
* cpperror.c: Include stdarg.h/varargs.h and gansidecl.h.
(cpp_file_line_for_message): Mark parameter `pfile' with
ATTRIBUTE_UNUSED.
(v_cpp_message): New function.
(cpp_message): Use it. Also convert to variable arguments.
(cpp_fatal): Likewise.
(cpp_pfatal_with_name): Constify parameter `name'.
* cppexp.c: Move gansidecl.h before cpplib.h.
* cpphash.c: Likewise.
* cpphash.h (hashf, delete_macro): Add prototypes.
* cpplib.c: Include stdarg.h/varargs.h and move gansidecl.h before
cpplib.h. Don't include errno.h.
(update_path): Add arguments to prototype.
(cpp_fatal, cpp_file_line_for_message, cpp_message, delete_macro,
cpp_print_containing_files): Remove redundant prototypes.
(cpp_hash_cleanup, add_import, append_include_chain,
make_assertion, path_include, initialize_builtins,
initialize_char_syntax, finclude, validate_else, comp_def_part,
lookup_import, redundant_include_p, is_system_include,
read_name_map, read_filename_string, open_include_file,
check_macro_name, compare_defs, compare_token_lists,
eval_if_expression, change_newlines): Add prototype arguments.
(hashf): Remove redundant prototype.
(read_token_list, free_token_list, safe_read, xcalloc, savestring,
conditional_skip, skip_if_group): Add prototype arguments.
(fdopen): Remove redundant prototype.
(do_define, do_line, do_include, do_undef, do_error, do_pragma,
do_ident, do_if, do_xifdef, do_else, do_elif, do_endif, do_sccs,
do_once, do_assert, do_unassert, do_warning): Add prototype arguments.
(struct directive): Add prototype arguments to function pointer
member `func'.
(handle_directive): Add missing arguments to call to `do_line'.
(do_include): Mark parameters `unused1' and `unused2' with
ATTRIBUTE_UNUSED.
(do_line): Likewise for `keyword' and new parameters `unused1' and
`unused2'.
(do_error): Likewise for `keyword'.
(do_warning): Likewise. Also add missing argument `pfile' in call
to cpp_pedwarn.
(do_once): Mark parameter `keyword', `unused1' and `unused2' with
ATTRIBUTE_UNUSED.
(do_ident): Likewise for `keyword', `buf' and `limit'.
(do_pragma): Likewise. Also add missing arguments in call to do_once.
(do_sccs): Mark parameter `keyword', `buf' and `limit' with
ATTRIBUTE_UNUSED.
(do_if): Likewise for `keyword'.
(do_elif): Likewise.
(eval_if_expression): Likewise for `buf' and `length'.
(do_xifdef): Likewise for `unused1' and `unused2'.
(do_else): Likewise for `keyword', `buf' and `limit'.
(do_endif): Likewise.
(parse_name): Add missing argument `pfile' in call to cpp_pedwarn.
(cpp_handle_options): Remove superfluous NULL argument in call to
cpp_fatal.
(cpp_handle_options): Likewise.
(do_assert): Mark parameter `keyword', `buf' and `limit' with
ATTRIBUTE_UNUSED.
(do_unassert): Likewise.
(cpp_print_file_and_line): Add missing argument `pfile' in call to
cpp_file_line_for_message.
(v_cpp_error): New function.
(cpp_error): Use it. Also accept variable arguments.
(v_cpp_warning): New function.
(cpp_warning): Use it. Also accept variable arguments.
(cpp_pedwarn): Accept variable arguments.
(v_cpp_error_with_line): New function
(cpp_error_with_line): Use it. Accept variable arguments.
(v_cpp_warning_with_line): New function.
(cpp_warning_with_line): Use it. Accept variable arguments. Hide
definition.
(cpp_pedwarn_with_line): Accept variable arguments.
(cpp_pedwarn_with_file_and_line): Likewise.
(cpp_error_from_errno): Constify parameter `name'. Add missing
argument `pfile' in call to cpp_file_line_for_message.
(cpp_perror_with_name): Constify parameter `name'.
* cpplib.h: Define PARAMS() in terms of PROTO().
(fatal): Remove redundant prototype.
(cpp_error, cpp_warning, cpp_pedwarn, cpp_error_with_line,
cpp_pedwarn_with_line, cpp_pedwarn_with_file_and_line,
cpp_error_from_errno, cpp_perror_with_name, cpp_pfatal_with_name,
cpp_fatal, cpp_message, cpp_pfatal_with_name,
cpp_file_line_for_message, cpp_print_containing_files): Add
arguments to prototypes.
(scan_decls, cpp_finish): Add prototypes.
* cppmain.c: Include gansidecl.h.
(main): Remove unused variable `i'.
* dbxout.c: Include toplev.h.
* demangle.h (do_tlink, collect_execute, collect_exit,
collect_wait, dump_file, file_exists): Add prototype.
* dwarf2out.c (dwarf_type_encoding_name, decl_start_label): Hide
prototype and definition.
(gen_unspecified_parameters_die): Don't assign results of call to
function new_die() to unused variable `parm_die'.
(dwarf2out_line): Mark parameter `filename' with ATTRIBUTE_UNUSED.
(dwarf2out_define): Likewise for `lineno' and `buffer'.
* dwarfout.c (output_unsigned_leb128, output_signed_leb128): Hide
prototype and definition.
(output_die): Add prototype arguments to function pointer arg.
(output_unspecified_parameters_die): Mark parameter `arg' with
ATTRIBUTE_UNUSED.
* except.c (output_exception_table_entry): Remove unused variable
`eh_entry'.
* except.h (expand_fixup_region_start, expand_fixup_region_end):
Add prototypes.
* expr.c (do_jump_by_parts_equality_rtx): Remove prototype.
* expr.h (do_jump_by_parts_equality_rtx): Add prototype.
* fix-header.c: Include stdarg.h/varargs.h, move gansidecl.h
before cpplib.h, include cpphash.h, remove redundant prototype of
cpp_fatal, don't define `const', add a prototype for `fatal'.
(cpp_file_line_for_message): Add missing arguments `pfile'.
(v_cpp_message): New function.
(cpp_message): Use it.
(v_fatal): New function.
(fatal, cpp_fatal): Use it.
(cpp_pfatal_with_name): Constify parameter `name'.
* flow.c (free_regset_vector): Remove redundant prototype.
* function.c (round_down): Wrap prototype and definition with
macro ARGS_GROW_DOWNWARD.
(record_insns): Wrap prototype and definition with
defined (HAVE_prologue) || defined (HAVE_epilogue).
* gansidecl.h (ATTRIBUTE_PRINTF_4, ATTRIBUTE_PRINTF_5): New macros.
* gen-protos.c: Include gansidecl.h.
(hashf): Don't make it static, constify parameter `name'.
* genattrtab.c (check_attr_test): Change XEXP() to XSTR() to match
specifier %s in calls to function `fatal'.
* haifa-sched.c: Include toplev.h.
(find_rgns): Remove unused variable `j'.
* integrate.c (note_modified_parmregs): Mark parameter `x' with
ATTRIBUTE_UNUSED.
(mark_stores): Likewise.
* jump.c (mark_modified_reg): Likewise.
* output.h (insn_current_reference_address): Add prototype.
(eh_frame_section): Likewise.
* print-rtl.c: Include bitmap.h.
* reload1.c (reload): Wrap variables `note' and `next' in macro
PRESERVE_DEATH_INFO_REGNO_P.
(forget_old_reloads_1): Mark parameter `ignored' with
ATTRIBUTE_UNUSED.
(choose_reload_regs): Remove unused variable `in'.
(reload_cse_invalidate_mem): Mark parameter `ignore' with
ATTRIBUTE_UNUSED.
(reload_cse_check_clobber): Likewise.
* rtl.h (expand_null_return, reg_classes_intersect_p): Add prototype.
(mark_elimination): Fix typo in prototype.
* scan-decls.c: Include gansidecl.h.
* tree.h (using_eh_for_cleanups, supports_one_only): Add prototype.
From-SVN: r19867
1998-05-19 04:42:48 -04:00
|
|
|
|
extern void free_regset_vector PROTO ((regset *, int nelts));
|
1998-03-05 17:31:51 -05:00
|
|
|
|
extern int *uid_block_number;
|
|
|
|
|
#define BLOCK_NUM(INSN) uid_block_number[INSN_UID (INSN)]
|
|
|
|
|
|
1998-03-11 20:04:43 -05:00
|
|
|
|
extern void compute_preds_succs PROTO ((int_list_ptr *, int_list_ptr *,
|
|
|
|
|
int *, int *));
|
1998-03-05 17:31:51 -05:00
|
|
|
|
extern void dump_bb_data PROTO ((FILE *, int_list_ptr *, int_list_ptr *));
|
|
|
|
|
extern void free_bb_mem PROTO ((void));
|
1998-03-06 20:14:32 -05:00
|
|
|
|
extern void free_basic_block_vars PROTO ((int));
|
|
|
|
|
|
1998-03-05 17:31:51 -05:00
|
|
|
|
|
|
|
|
|
/* Simple bitmaps.
|
|
|
|
|
It's not clear yet whether using bitmap.[ch] will be a win.
|
|
|
|
|
It should be straightforward to convert so for now we keep things simple
|
|
|
|
|
while more important issues are dealt with. */
|
|
|
|
|
|
|
|
|
|
#define SBITMAP_ELT_BITS HOST_BITS_PER_WIDE_INT
|
|
|
|
|
#define SBITMAP_ELT_TYPE unsigned HOST_WIDE_INT
|
|
|
|
|
|
|
|
|
|
typedef struct simple_bitmap_def {
|
|
|
|
|
/* Number of bits. */
|
|
|
|
|
int n_bits;
|
|
|
|
|
/* Size in elements. */
|
|
|
|
|
int size;
|
|
|
|
|
/* Size in bytes. */
|
|
|
|
|
int bytes;
|
|
|
|
|
/* The elements. */
|
|
|
|
|
SBITMAP_ELT_TYPE elms[1];
|
|
|
|
|
} *sbitmap;
|
|
|
|
|
|
|
|
|
|
typedef SBITMAP_ELT_TYPE *sbitmap_ptr;
|
|
|
|
|
|
|
|
|
|
/* Return the set size needed for N elements. */
|
|
|
|
|
#define SBITMAP_SET_SIZE(n) (((n) + SBITMAP_ELT_BITS - 1) / SBITMAP_ELT_BITS)
|
|
|
|
|
|
|
|
|
|
/* set bit number bitno in the bitmap */
|
|
|
|
|
#define SET_BIT(bitmap, bitno) \
|
|
|
|
|
do { \
|
|
|
|
|
(bitmap)->elms [(bitno) / SBITMAP_ELT_BITS] |= (SBITMAP_ELT_TYPE) 1 << (bitno) % SBITMAP_ELT_BITS; \
|
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
|
|
/* test if bit number bitno in the bitmap is set */
|
|
|
|
|
#define TEST_BIT(bitmap, bitno) \
|
|
|
|
|
((bitmap)->elms [(bitno) / SBITMAP_ELT_BITS] & ((SBITMAP_ELT_TYPE) 1 << (bitno) % SBITMAP_ELT_BITS))
|
|
|
|
|
|
|
|
|
|
/* reset bit number bitno in the bitmap */
|
|
|
|
|
#define RESET_BIT(bitmap, bitno) \
|
|
|
|
|
do { \
|
|
|
|
|
(bitmap)->elms [(bitno) / SBITMAP_ELT_BITS] &= ~((SBITMAP_ELT_TYPE) 1 << (bitno) % SBITMAP_ELT_BITS); \
|
|
|
|
|
} while (0)
|
|
|
|
|
|
1998-04-16 17:53:42 -04:00
|
|
|
|
extern void dump_sbitmap PROTO ((FILE *, sbitmap));
|
|
|
|
|
extern void dump_sbitmap_vector PROTO ((FILE *, char *, char *,
|
|
|
|
|
sbitmap *, int));
|
1998-03-05 17:31:51 -05:00
|
|
|
|
extern sbitmap sbitmap_alloc PROTO ((int));
|
|
|
|
|
extern sbitmap *sbitmap_vector_alloc PROTO ((int, int));
|
|
|
|
|
extern void sbitmap_copy PROTO ((sbitmap, sbitmap));
|
|
|
|
|
extern void sbitmap_zero PROTO ((sbitmap));
|
|
|
|
|
extern void sbitmap_ones PROTO ((sbitmap));
|
|
|
|
|
extern void sbitmap_vector_zero PROTO ((sbitmap *, int));
|
|
|
|
|
extern void sbitmap_vector_ones PROTO ((sbitmap *, int));
|
|
|
|
|
extern int sbitmap_union_of_diff PROTO ((sbitmap, sbitmap, sbitmap, sbitmap));
|
|
|
|
|
extern void sbitmap_difference PROTO ((sbitmap, sbitmap, sbitmap));
|
|
|
|
|
extern void sbitmap_not PROTO ((sbitmap, sbitmap));
|
|
|
|
|
extern int sbitmap_a_or_b_and_c PROTO ((sbitmap, sbitmap, sbitmap, sbitmap));
|
|
|
|
|
extern int sbitmap_a_and_b_or_c PROTO ((sbitmap, sbitmap, sbitmap, sbitmap));
|
|
|
|
|
extern int sbitmap_a_and_b PROTO ((sbitmap, sbitmap, sbitmap));
|
|
|
|
|
extern int sbitmap_a_or_b PROTO ((sbitmap, sbitmap, sbitmap));
|
|
|
|
|
extern void sbitmap_intersect_of_predsucc PROTO ((sbitmap, sbitmap *,
|
|
|
|
|
int, int_list_ptr *));
|
|
|
|
|
extern void sbitmap_intersect_of_predecessors PROTO ((sbitmap, sbitmap *, int,
|
|
|
|
|
int_list_ptr *));
|
|
|
|
|
extern void sbitmap_intersect_of_successors PROTO ((sbitmap, sbitmap *, int,
|
|
|
|
|
int_list_ptr *));
|
|
|
|
|
extern void sbitmap_union_of_predecessors PROTO ((sbitmap, sbitmap *, int,
|
|
|
|
|
int_list_ptr *));
|
1998-04-15 10:33:54 -04:00
|
|
|
|
extern void sbitmap_union_of_successors PROTO ((sbitmap, sbitmap *, int,
|
|
|
|
|
int_list_ptr *));
|
1998-04-16 17:53:42 -04:00
|
|
|
|
extern void compute_dominators PROTO ((sbitmap *, sbitmap *,
|
|
|
|
|
int_list_ptr *, int_list_ptr *));
|