diff options
author | Richard Sandiford <richard.sandiford@arm.com> | 2019-09-09 18:01:47 +0000 |
---|---|---|
committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2019-09-09 18:01:47 +0000 |
commit | 148909bc700e4f52aa582346a29abc5bc51a9bda (patch) | |
tree | 7b27abf27f2bb98254bf0f77a70414b4673a5fed /gcc/loop-iv.c | |
parent | 75f4e3a1b322e16a1aca28bd0ced9af57cb0a683 (diff) | |
download | gcc-148909bc700e4f52aa582346a29abc5bc51a9bda.zip gcc-148909bc700e4f52aa582346a29abc5bc51a9bda.tar.gz gcc-148909bc700e4f52aa582346a29abc5bc51a9bda.tar.bz2 |
Add "fast" conversions from arrays to bitmaps
This patch adds a bitmap_view<X> class that creates a read-only,
on-stack bitmap representation of an array-like object X. The main
use case is to allow HARD_REG_SETs to be used in REG_SET (i.e. bitmap)
operations.
For now it only handles constant-sized arrays, but I've tried to
define the types in a way that could handle variable-sized arrays
in future (although less efficiently). E.g. this might be useful
for combining bitmaps and sbitmaps.
For the read-only view to work as intended, I needed to make
bitmap_bit_p take a const_bitmap instead of a bitmap. Logically
the bitmap really is read-only, but we update the "current" and
"indx" fields of the bitmap_head after doing a search.
2019-09-09 Richard Sandiford <richard.sandiford@arm.com>
gcc/
* array-traits.h: New file.
* coretypes.h (array_traits, bitmap_view): New types.
* bitmap.h: Include "array-traits.h"
(bitmap_bit_p): Take a const_bitmap instead of a bitmap.
(base_bitmap_view, bitmap_view): New classes.
* bitmap.c (bitmap_bit_p): Take a const_bitmap instead of a bitmap.
* hard-reg-set.h: Include array-traits.h.
(array_traits<HARD_REG_SET>): New struct.
* regset.h (IOR_REG_SET_HRS): New macro.
* loop-iv.c (simplify_using_initial_values): Use IOR_REG_SET_HRS
rather than iterating over each hard register.
* sched-deps.c (sched_analyze_insn): Likewise.
* sel-sched-ir.c (setup_id_implicit_regs): Likewise.
From-SVN: r275536
Diffstat (limited to 'gcc/loop-iv.c')
-rw-r--r-- | gcc/loop-iv.c | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c index 82b329f..33be75a 100644 --- a/gcc/loop-iv.c +++ b/gcc/loop-iv.c @@ -1972,14 +1972,8 @@ simplify_using_initial_values (class loop *loop, enum rtx_code op, rtx *expr) CLEAR_REG_SET (this_altered); note_stores (insn, mark_altered, this_altered); if (CALL_P (insn)) - { - /* Kill all call clobbered registers. */ - unsigned int i; - hard_reg_set_iterator hrsi; - EXECUTE_IF_SET_IN_HARD_REG_SET (regs_invalidated_by_call, - 0, i, hrsi) - SET_REGNO_REG_SET (this_altered, i); - } + /* Kill all call clobbered registers. */ + IOR_REG_SET_HRS (this_altered, regs_invalidated_by_call); if (suitable_set_for_replacement (insn, &dest, &src)) { |