2010-07-27 Paolo Carlini <paolo.carlini@oracle.com>
[official-gcc/alias-decl.git] / gcc / cselib.h
blob4259e396fdf76552f28a81401d150c9e686e0579
1 /* Common subexpression elimination for GNU compiler.
2 Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997,
3 1998, 1999, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
4 Free Software Foundation, Inc.
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
11 version.
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.
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 /* Describe a value. */
23 typedef struct GTY(()) cselib_val_struct {
24 /* The hash value. */
25 unsigned int hash;
27 /* A unique id assigned to values. */
28 int uid;
30 /* A VALUE rtx that points back to this structure. */
31 rtx val_rtx;
33 /* All rtl expressions that hold this value at the current time during a
34 scan. */
35 struct elt_loc_list *locs;
37 /* If this value is used as an address, points to a list of values that
38 use it as an address in a MEM. */
39 struct elt_list *addr_list;
41 struct cselib_val_struct *next_containing_mem;
42 } cselib_val;
44 /* A list of rtl expressions that hold the same value. */
45 struct GTY(()) elt_loc_list {
46 /* Next element in the list. */
47 struct elt_loc_list *next;
48 /* An rtl expression that holds the value. */
49 rtx loc;
50 /* The insn that made the equivalence. */
51 rtx setting_insn;
54 /* A list of cselib_val structures. */
55 struct GTY(()) elt_list {
56 struct elt_list *next;
57 cselib_val *elt;
60 /* Describe a single set that is part of an insn. */
61 struct cselib_set
63 rtx src;
64 rtx dest;
65 cselib_val *src_elt;
66 cselib_val *dest_addr_elt;
69 enum cselib_record_what
71 CSELIB_RECORD_MEMORY = 1,
72 CSELIB_PRESERVE_CONSTANTS = 2
75 extern void (*cselib_discard_hook) (cselib_val *);
76 extern void (*cselib_record_sets_hook) (rtx insn, struct cselib_set *sets,
77 int n_sets);
79 extern cselib_val *cselib_lookup (rtx, enum machine_mode, int);
80 extern cselib_val *cselib_lookup_from_insn (rtx, enum machine_mode, int, rtx);
81 extern void cselib_init (int);
82 extern void cselib_clear_table (void);
83 extern void cselib_finish (void);
84 extern void cselib_process_insn (rtx);
85 extern enum machine_mode cselib_reg_set_mode (const_rtx);
86 extern int rtx_equal_for_cselib_p (rtx, rtx);
87 extern int references_value_p (const_rtx, int);
88 extern rtx cselib_expand_value_rtx (rtx, bitmap, int);
89 typedef rtx (*cselib_expand_callback)(rtx, bitmap, int, void *);
90 extern rtx cselib_expand_value_rtx_cb (rtx, bitmap, int,
91 cselib_expand_callback, void *);
92 extern bool cselib_dummy_expand_value_rtx_cb (rtx, bitmap, int,
93 cselib_expand_callback, void *);
94 extern rtx cselib_subst_to_values (rtx);
95 extern void cselib_invalidate_rtx (rtx);
97 extern void cselib_reset_table (unsigned int);
98 extern unsigned int cselib_get_next_uid (void);
99 extern void cselib_preserve_value (cselib_val *);
100 extern bool cselib_preserved_value_p (cselib_val *);
101 extern void cselib_preserve_only_values (void);
102 extern void cselib_preserve_cfa_base_value (cselib_val *, unsigned int);
104 extern void dump_cselib_table (FILE *);