OSDN Git Service

disable scan-assembler tests in g++.dg/abi/mangle60.C
[pf3gnuchains/gcc-fork.git] / gcc / cselib.h
index f86f657..3590f98 100644 (file)
@@ -1,12 +1,13 @@
 /* Common subexpression elimination for GNU compiler.
 /* Common subexpression elimination for GNU compiler.
-   Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
-   1999, 2003, 2004 Free Software Foundation, Inc.
+   Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997,
+   1998, 1999, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
+   Free Software Foundation, Inc.
 
 This file is part of GCC.
 
 GCC is free software; you can redistribute it and/or modify it under
 the terms of the GNU General Public License as published by the Free
 
 This file is part of GCC.
 
 GCC is free software; you can redistribute it and/or modify it under
 the terms of the GNU General Public License as published by the Free
-Software Foundation; either version 2, or (at your option) any later
+Software Foundation; either version 3, or (at your option) any later
 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
@@ -15,26 +16,24 @@ FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.
 
 You should have received a copy of the GNU General Public License
 for more details.
 
 You should have received a copy of the GNU General Public License
-along with GCC; see the file COPYING.  If not, write to the Free
-Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA.  */
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
 
 /* Describe a value.  */
 
 /* Describe a value.  */
-typedef struct cselib_val_struct GTY(())
-{
+typedef struct cselib_val_struct {
   /* The hash value.  */
   /* The hash value.  */
-  unsigned int value;
-  union cselib_val_u
-  {
-    /* A VALUE rtx that points back to this structure.  */
-    rtx GTY ((tag ("1"))) val_rtx;
-    /* Used to keep a list of free cselib_val structures.  */
-    struct cselib_val_struct * GTY ((skip (""))) next_free;
-  } GTY ((desc ("1"))) u;
+  unsigned int hash;
+
+  /* A unique id assigned to values.  */
+  int uid;
+
+  /* A VALUE rtx that points back to this structure.  */
+  rtx val_rtx;
 
   /* All rtl expressions that hold this value at the current time during a
      scan.  */
   struct elt_loc_list *locs;
 
   /* All rtl expressions that hold this value at the current time during a
      scan.  */
   struct elt_loc_list *locs;
+
   /* If this value is used as an address, points to a list of values that
      use it as an address in a MEM.  */
   struct elt_list *addr_list;
   /* If this value is used as an address, points to a list of values that
      use it as an address in a MEM.  */
   struct elt_list *addr_list;
@@ -43,32 +42,59 @@ typedef struct cselib_val_struct GTY(())
 } cselib_val;
 
 /* A list of rtl expressions that hold the same value.  */
 } cselib_val;
 
 /* A list of rtl expressions that hold the same value.  */
-struct elt_loc_list GTY(())
-{
+struct elt_loc_list {
   /* Next element in the list.  */
   struct elt_loc_list *next;
   /* An rtl expression that holds the value.  */
   rtx loc;
   /* Next element in the list.  */
   struct elt_loc_list *next;
   /* An rtl expression that holds the value.  */
   rtx loc;
-  rtx canon_loc;
   /* The insn that made the equivalence.  */
   rtx setting_insn;
   /* The insn that made the equivalence.  */
   rtx setting_insn;
-  /* True when setting insn is inside libcall.  */
-  bool in_libcall;
 };
 
 };
 
-/* A list of cselib_val structures.  */
-struct elt_list GTY(())
+/* Describe a single set that is part of an insn.  */
+struct cselib_set
 {
 {
-  struct elt_list *next;
-  cselib_val *elt;
+  rtx src;
+  rtx dest;
+  cselib_val *src_elt;
+  cselib_val *dest_addr_elt;
 };
 
 };
 
-extern cselib_val *cselib_lookup (rtx, enum machine_mode, int);
-extern void cselib_update_varray_sizes (void);
-extern void cselib_init (void);
+enum cselib_record_what
+{
+  CSELIB_RECORD_MEMORY = 1,
+  CSELIB_PRESERVE_CONSTANTS = 2
+};
+
+extern void (*cselib_discard_hook) (cselib_val *);
+extern void (*cselib_record_sets_hook) (rtx insn, struct cselib_set *sets,
+                                       int n_sets);
+
+extern cselib_val *cselib_lookup (rtx, enum machine_mode,
+                                 int, enum machine_mode);
+extern cselib_val *cselib_lookup_from_insn (rtx, enum machine_mode,
+                                           int, enum machine_mode, rtx);
+extern void cselib_init (int);
+extern void cselib_clear_table (void);
 extern void cselib_finish (void);
 extern void cselib_process_insn (rtx);
 extern void cselib_finish (void);
 extern void cselib_process_insn (rtx);
-extern enum machine_mode cselib_reg_set_mode (rtx);
+extern enum machine_mode cselib_reg_set_mode (const_rtx);
 extern int rtx_equal_for_cselib_p (rtx, rtx);
 extern int rtx_equal_for_cselib_p (rtx, rtx);
-extern int references_value_p (rtx, int);
-extern rtx cselib_subst_to_values (rtx);
+extern int references_value_p (const_rtx, int);
+extern rtx cselib_expand_value_rtx (rtx, bitmap, int);
+typedef rtx (*cselib_expand_callback)(rtx, bitmap, int, void *);
+extern rtx cselib_expand_value_rtx_cb (rtx, bitmap, int,
+                                      cselib_expand_callback, void *);
+extern bool cselib_dummy_expand_value_rtx_cb (rtx, bitmap, int,
+                                             cselib_expand_callback, void *);
+extern rtx cselib_subst_to_values (rtx, enum machine_mode);
+extern void cselib_invalidate_rtx (rtx);
+
+extern void cselib_reset_table (unsigned int);
+extern unsigned int cselib_get_next_uid (void);
+extern void cselib_preserve_value (cselib_val *);
+extern bool cselib_preserved_value_p (cselib_val *);
+extern void cselib_preserve_only_values (void);
+extern void cselib_preserve_cfa_base_value (cselib_val *, unsigned int);
+
+extern void dump_cselib_table (FILE *);