Add "fast" conversions from arrays to bitmaps
authorRichard Sandiford <richard.sandiford@arm.com>
Mon, 9 Sep 2019 18:01:47 +0000 (18:01 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Mon, 9 Sep 2019 18:01:47 +0000 (18:01 +0000)
commit148909bc700e4f52aa582346a29abc5bc51a9bda
tree7b27abf27f2bb98254bf0f77a70414b4673a5fed
parent75f4e3a1b322e16a1aca28bd0ced9af57cb0a683
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
gcc/ChangeLog
gcc/array-traits.h [new file with mode: 0644]
gcc/bitmap.c
gcc/bitmap.h
gcc/coretypes.h
gcc/hard-reg-set.h
gcc/loop-iv.c
gcc/regset.h
gcc/sched-deps.c
gcc/sel-sched-ir.c