OSDN Git Service

67e599202544c4ffb6bd8ba45e2f2edcf90625c1
[pf3gnuchains/gcc-fork.git] / gcc / cselib.h
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.
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 /* Describe a value.  */
23 typedef struct GTY(()) cselib_val_struct {
24   /* The hash value.  */
25   unsigned int hash;
26
27   /* A unique id assigned to values.  */
28   int uid;
29
30   /* A VALUE rtx that points back to this structure.  */
31   rtx val_rtx;
32
33   /* All rtl expressions that hold this value at the current time during a
34      scan.  */
35   struct elt_loc_list *locs;
36
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;
40
41   struct cselib_val_struct *next_containing_mem;
42 } cselib_val;
43
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;
52 };
53
54 /* A list of cselib_val structures.  */
55 struct GTY(()) elt_list {
56   struct elt_list *next;
57   cselib_val *elt;
58 };
59
60 /* Describe a single set that is part of an insn.  */
61 struct cselib_set
62 {
63   rtx src;
64   rtx dest;
65   cselib_val *src_elt;
66   cselib_val *dest_addr_elt;
67 };
68
69 extern void (*cselib_discard_hook) (cselib_val *);
70 extern void (*cselib_record_sets_hook) (rtx insn, struct cselib_set *sets,
71                                         int n_sets);
72
73 extern cselib_val *cselib_lookup (rtx, enum machine_mode, int);
74 extern void cselib_init (bool record_memory);
75 extern void cselib_clear_table (void);
76 extern void cselib_finish (void);
77 extern void cselib_process_insn (rtx);
78 extern enum machine_mode cselib_reg_set_mode (const_rtx);
79 extern int rtx_equal_for_cselib_p (rtx, rtx);
80 extern int references_value_p (const_rtx, int);
81 extern rtx cselib_expand_value_rtx (rtx, bitmap, int);
82 typedef rtx (*cselib_expand_callback)(rtx, bitmap, int, void *);
83 extern rtx cselib_expand_value_rtx_cb (rtx, bitmap, int,
84                                        cselib_expand_callback, void *);
85 extern bool cselib_dummy_expand_value_rtx_cb (rtx, bitmap, int,
86                                               cselib_expand_callback, void *);
87 extern rtx cselib_subst_to_values (rtx);
88 extern void cselib_invalidate_rtx (rtx);
89
90 extern void cselib_reset_table (unsigned int);
91 extern unsigned int cselib_get_next_uid (void);
92 extern void cselib_preserve_value (cselib_val *);
93 extern bool cselib_preserved_value_p (cselib_val *);
94 extern void cselib_preserve_only_values (void);
95
96 extern void dump_cselib_table (FILE *);