Line data Source code
1 : /* Infrastructure for tracking user variable locations and values
2 : throughout compilation.
3 : Copyright (C) 2010-2026 Free Software Foundation, Inc.
4 : Contributed by Alexandre Oliva <aoliva@redhat.com>.
5 :
6 : This file is part of GCC.
7 :
8 : GCC is free software; you can redistribute it and/or modify it under
9 : the terms of the GNU General Public License as published by the Free
10 : Software Foundation; either version 3, or (at your option) any later
11 : version.
12 :
13 : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 : WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 : for more details.
17 :
18 : You should have received a copy of the GNU General Public License
19 : along with GCC; see the file COPYING3. If not see
20 : <http://www.gnu.org/licenses/>. */
21 :
22 : #ifndef GCC_VALTRACK_H
23 : #define GCC_VALTRACK_H
24 :
25 : /* Debug uses of dead regs. */
26 :
27 : /* Entry that maps a dead pseudo (REG) used in a debug insns that dies
28 : at different blocks to the debug temp (DTEMP) it was replaced
29 : with. */
30 :
31 : struct dead_debug_global_entry
32 : {
33 : rtx reg;
34 : rtx dtemp;
35 : };
36 :
37 : /* Descriptor for hash_table to hash by dead_debug_global_entry's REG
38 : and map to DTEMP. */
39 :
40 : struct dead_debug_hash_descr : free_ptr_hash <dead_debug_global_entry>
41 : {
42 : /* Hash on the pseudo number. */
43 : static inline hashval_t hash (const dead_debug_global_entry *my);
44 : /* Entries are identical if they refer to the same pseudo. */
45 : static inline bool equal (const dead_debug_global_entry *my,
46 : const dead_debug_global_entry *other);
47 : };
48 :
49 : /* Hash on the pseudo number. */
50 : inline hashval_t
51 2670775 : dead_debug_hash_descr::hash (const dead_debug_global_entry *my)
52 : {
53 2670775 : return REGNO (my->reg);
54 : }
55 :
56 : /* Entries are identical if they refer to the same pseudo. */
57 : inline bool
58 2193928 : dead_debug_hash_descr::equal (const dead_debug_global_entry *my,
59 : const dead_debug_global_entry *other)
60 : {
61 2193928 : return my->reg == other->reg;
62 : }
63 :
64 : /* Maintain a global table of pseudos used in debug insns after their
65 : deaths in other blocks, and debug temps their deathpoint values are
66 : to be bound to. */
67 :
68 : struct dead_debug_global
69 : {
70 : /* This hash table that maps pseudos to debug temps. */
71 : hash_table<dead_debug_hash_descr> *htab;
72 : /* For each entry in htab, the bit corresponding to its REGNO will
73 : be set. */
74 : bitmap used;
75 : };
76 :
77 : /* Node of a linked list of uses of dead REGs in debug insns. */
78 :
79 : struct dead_debug_use
80 : {
81 : df_ref use;
82 : struct dead_debug_use *next;
83 : };
84 :
85 : /* Linked list of the above, with a bitmap of the REGs in the
86 : list. */
87 :
88 : struct dead_debug_local
89 : {
90 : /* The first dead_debug_use entry in the list. */
91 : struct dead_debug_use *head;
92 : /* A pointer to the global tracking data structure. */
93 : struct dead_debug_global *global;
94 : /* A bitmap that has bits set for each REG used in the
95 : dead_debug_use list, and for each entry in the global hash
96 : table. */
97 : bitmap used;
98 : /* A bitmap that has bits set for each INSN that is to be
99 : rescanned. */
100 : bitmap to_rescan;
101 : };
102 :
103 : /* This type controls the behavior of dead_debug_insert_temp WRT
104 : UREGNO and INSN. */
105 :
106 : enum debug_temp_where
107 : {
108 : /* Bind a newly-created debug temporary to a REG for UREGNO, and
109 : insert the debug insn before INSN. REG is expected to die at
110 : INSN. */
111 : DEBUG_TEMP_BEFORE_WITH_REG = -1,
112 : /* Bind a newly-created debug temporary to the value INSN stores
113 : in REG, and insert the debug insn before INSN. */
114 : DEBUG_TEMP_BEFORE_WITH_VALUE = 0,
115 : /* Bind a newly-created debug temporary to a REG for UREGNO, and
116 : insert the debug insn after INSN. REG is expected to be set at
117 : INSN. */
118 : DEBUG_TEMP_AFTER_WITH_REG = 1,
119 : /* Like DEBUG_TEMP_AFTER_WITH_REG, but force addition of a debug
120 : temporary even if there is just a single debug use. This is used
121 : on regs that are becoming REG_DEAD on INSN and so uses of the
122 : reg later on are invalid. */
123 : DEBUG_TEMP_AFTER_WITH_REG_FORCE = 2
124 : };
125 :
126 : extern void dead_debug_global_init (struct dead_debug_global *, bitmap);
127 : extern void dead_debug_global_finish (struct dead_debug_global *, bitmap);
128 : extern void dead_debug_local_init (struct dead_debug_local *, bitmap,
129 : struct dead_debug_global *);
130 : extern void dead_debug_local_finish (struct dead_debug_local *, bitmap);
131 : extern void dead_debug_add (struct dead_debug_local *, df_ref, unsigned int);
132 : extern int dead_debug_insert_temp (struct dead_debug_local *,
133 : unsigned int uregno, rtx_insn *insn,
134 : enum debug_temp_where);
135 :
136 : extern void propagate_for_debug (rtx_insn *, rtx_insn *, rtx, rtx, basic_block);
137 :
138 :
139 : #endif /* GCC_VALTRACK_H */
|
