]>
Commit | Line | Data |
---|---|---|
7a8cba34 | 1 | /* Define regsets. |
a5544970 | 2 | Copyright (C) 1987-2019 Free Software Foundation, Inc. |
7a8cba34 SB |
3 | |
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8 | Software Foundation; either version 3, or (at your option) any later | |
9 | version. | |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with GCC; see the file COPYING3. If not see | |
18 | <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | #ifndef GCC_REGSET_H | |
21 | #define GCC_REGSET_H | |
22 | ||
23 | /* TODO: regset is just a bitmap in its implementation. The compiler does | |
24 | not consistently use one or the other, i.e. sometimes variables are | |
25 | declared as bitmap but they are actually regsets and regset accessors | |
26 | are used, and vice versa, or mixed (see e.g. spilled_regs in IRA). | |
27 | ||
28 | This should be cleaned up, either by just dropping the regset type, or | |
29 | by changing all bitmaps that are really regsets to the regset type. For | |
30 | the latter option, a good start would be to change everything allocated | |
31 | on the reg_obstack to regset. */ | |
32 | ||
7a8cba34 SB |
33 | |
34 | /* Head of register set linked list. */ | |
35 | typedef bitmap_head regset_head; | |
36 | ||
37 | /* A pointer to a regset_head. */ | |
38 | typedef bitmap regset; | |
39 | ||
40 | /* Allocate a register set with oballoc. */ | |
41 | #define ALLOC_REG_SET(OBSTACK) BITMAP_ALLOC (OBSTACK) | |
42 | ||
43 | /* Do any cleanup needed on a regset when it is no longer used. */ | |
44 | #define FREE_REG_SET(REGSET) BITMAP_FREE (REGSET) | |
45 | ||
46 | /* Initialize a new regset. */ | |
47 | #define INIT_REG_SET(HEAD) bitmap_initialize (HEAD, ®_obstack) | |
48 | ||
49 | /* Clear a register set by freeing up the linked list. */ | |
50 | #define CLEAR_REG_SET(HEAD) bitmap_clear (HEAD) | |
51 | ||
52 | /* Copy a register set to another register set. */ | |
53 | #define COPY_REG_SET(TO, FROM) bitmap_copy (TO, FROM) | |
54 | ||
55 | /* Compare two register sets. */ | |
56 | #define REG_SET_EQUAL_P(A, B) bitmap_equal_p (A, B) | |
57 | ||
58 | /* `and' a register set with a second register set. */ | |
59 | #define AND_REG_SET(TO, FROM) bitmap_and_into (TO, FROM) | |
60 | ||
61 | /* `and' the complement of a register set with a register set. */ | |
62 | #define AND_COMPL_REG_SET(TO, FROM) bitmap_and_compl_into (TO, FROM) | |
63 | ||
64 | /* Inclusive or a register set with a second register set. */ | |
65 | #define IOR_REG_SET(TO, FROM) bitmap_ior_into (TO, FROM) | |
66 | ||
67 | /* Exclusive or a register set with a second register set. */ | |
68 | #define XOR_REG_SET(TO, FROM) bitmap_xor_into (TO, FROM) | |
69 | ||
70 | /* Or into TO the register set FROM1 `and'ed with the complement of FROM2. */ | |
71 | #define IOR_AND_COMPL_REG_SET(TO, FROM1, FROM2) \ | |
72 | bitmap_ior_and_compl_into (TO, FROM1, FROM2) | |
73 | ||
74 | /* Clear a single register in a register set. */ | |
75 | #define CLEAR_REGNO_REG_SET(HEAD, REG) bitmap_clear_bit (HEAD, REG) | |
76 | ||
77 | /* Set a single register in a register set. */ | |
78 | #define SET_REGNO_REG_SET(HEAD, REG) bitmap_set_bit (HEAD, REG) | |
79 | ||
80 | /* Return true if a register is set in a register set. */ | |
81 | #define REGNO_REG_SET_P(TO, REG) bitmap_bit_p (TO, REG) | |
82 | ||
83 | /* Copy the hard registers in a register set to the hard register set. */ | |
84 | extern void reg_set_to_hard_reg_set (HARD_REG_SET *, const_bitmap); | |
85 | #define REG_SET_TO_HARD_REG_SET(TO, FROM) \ | |
86 | do { \ | |
87 | CLEAR_HARD_REG_SET (TO); \ | |
88 | reg_set_to_hard_reg_set (&TO, FROM); \ | |
89 | } while (0) | |
90 | ||
91 | typedef bitmap_iterator reg_set_iterator; | |
92 | ||
93 | /* Loop over all registers in REGSET, starting with MIN, setting REGNUM to the | |
94 | register number and executing CODE for all registers that are set. */ | |
95 | #define EXECUTE_IF_SET_IN_REG_SET(REGSET, MIN, REGNUM, RSI) \ | |
96 | EXECUTE_IF_SET_IN_BITMAP (REGSET, MIN, REGNUM, RSI) | |
97 | ||
98 | /* Loop over all registers in REGSET1 and REGSET2, starting with MIN, setting | |
99 | REGNUM to the register number and executing CODE for all registers that are | |
100 | set in the first regset and not set in the second. */ | |
101 | #define EXECUTE_IF_AND_COMPL_IN_REG_SET(REGSET1, REGSET2, MIN, REGNUM, RSI) \ | |
102 | EXECUTE_IF_AND_COMPL_IN_BITMAP (REGSET1, REGSET2, MIN, REGNUM, RSI) | |
103 | ||
104 | /* Loop over all registers in REGSET1 and REGSET2, starting with MIN, setting | |
105 | REGNUM to the register number and executing CODE for all registers that are | |
106 | set in both regsets. */ | |
107 | #define EXECUTE_IF_AND_IN_REG_SET(REGSET1, REGSET2, MIN, REGNUM, RSI) \ | |
108 | EXECUTE_IF_AND_IN_BITMAP (REGSET1, REGSET2, MIN, REGNUM, RSI) \ | |
109 | ||
110 | /* Same information as REGS_INVALIDATED_BY_CALL but in regset form to be used | |
111 | in dataflow more conveniently. */ | |
112 | ||
113 | extern regset regs_invalidated_by_call_regset; | |
114 | ||
9e582b1d JR |
115 | /* Same information as FIXED_REG_SET but in regset form. */ |
116 | extern regset fixed_reg_set_regset; | |
117 | ||
7a8cba34 SB |
118 | /* An obstack for regsets. */ |
119 | extern bitmap_obstack reg_obstack; | |
120 | ||
532aafad | 121 | /* In df-core.c (which should use regset consistently instead of bitmap...) */ |
7a8cba34 | 122 | extern void dump_regset (regset, FILE *); |
7a8cba34 SB |
123 | |
124 | #endif /* GCC_REGSET_H */ |