1 /* Infrastructure for tracking user variable locations and values
2 throughout compilation.
3 Copyright (C) 2010, 2011, 2012 Free Software Foundation, Inc.
4 Contributed by Alexandre Oliva <aoliva@redhat.com>.
6 This file is part of GCC.
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
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
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/>. */
22 #ifndef GCC_VALTRACK_H
23 #define GCC_VALTRACK_H
28 #include "basic-block.h"
30 /* Debug uses of dead regs. */
32 /* Node of a linked list of uses of dead REGs in debug insns. */
36 struct dead_debug_use
*next
;
39 /* Linked list of the above, with a bitmap of the REGs in the
43 struct dead_debug_use
*head
;
48 /* This type controls the behavior of dead_debug_insert_temp WRT
52 /* Bind a newly-created debug temporary to a REG for UREGNO, and
53 insert the debug insn before INSN. REG is expected to die at
55 DEBUG_TEMP_BEFORE_WITH_REG
= -1,
56 /* Bind a newly-created debug temporary to the value INSN stores
57 in REG, and insert the debug insn before INSN. */
58 DEBUG_TEMP_BEFORE_WITH_VALUE
= 0,
59 /* Bind a newly-created debug temporary to a REG for UREGNO, and
60 insert the debug insn after INSN. REG is expected to be set at
62 DEBUG_TEMP_AFTER_WITH_REG
= 1
65 extern void dead_debug_init (struct dead_debug
*, bitmap
);
66 extern void dead_debug_finish (struct dead_debug
*, bitmap
);
67 extern void dead_debug_add (struct dead_debug
*, df_ref
, unsigned int);
68 extern int dead_debug_insert_temp (struct dead_debug
*,
69 unsigned int uregno
, rtx insn
,
70 enum debug_temp_where
);
72 extern void propagate_for_debug (rtx
, rtx
, rtx
, rtx
, basic_block
);
75 #endif /* GCC_VALTRACK_H */