[PATCH] Remove noalias_state

Richard Guenther rguenther@suse.de
Tue Jun 29 14:33:00 GMT 2010


Sth I forgot when removing -fargument-noalias-*.

Bootstrap running, will commit if that succeeds.

Richard.

2010-06-29  Richard Guenther  <rguenther@suse.de>

	* tree-dfa.c (dump_variable): Remove noalias_state dumping.
	* tree-flow.h (enum noalias_state): Remove.
	(struct var_ann_d): Remove noalias_state member.

Index: gcc/tree-dfa.c
===================================================================
*** gcc/tree-dfa.c	(revision 161526)
--- gcc/tree-dfa.c	(working copy)
*************** dump_variable (FILE *file, tree var)
*** 277,290 ****
    if (TREE_THIS_VOLATILE (var))
      fprintf (file, ", is volatile");
  
-   if (ann && ann->noalias_state == NO_ALIAS)
-     fprintf (file, ", NO_ALIAS (does not alias other NO_ALIAS symbols)");
-   else if (ann && ann->noalias_state == NO_ALIAS_GLOBAL)
-     fprintf (file, ", NO_ALIAS_GLOBAL (does not alias other NO_ALIAS symbols"
- 	           " and global vars)");
-   else if (ann && ann->noalias_state == NO_ALIAS_ANYTHING)
-     fprintf (file, ", NO_ALIAS_ANYTHING (does not alias any other symbols)");
- 
    if (cfun && gimple_default_def (cfun, var))
      {
        fprintf (file, ", default def: ");
--- 278,283 ----
Index: gcc/tree-flow.h
===================================================================
*** gcc/tree-flow.h	(revision 161526)
--- gcc/tree-flow.h	(working copy)
*************** enum need_phi_state {
*** 147,175 ****
  };
  
  
- /* The "no alias" attribute allows alias analysis to make more
-    aggressive assumptions when assigning alias sets, computing
-    points-to information and memory partitions.  These attributes
-    are the result of user annotations or flags (e.g.,
-    -fargument-noalias).  */
- enum noalias_state {
-     /* Default state.  No special assumptions can be made about this
-        symbol.  */
-     MAY_ALIAS = 0,
- 
-     /* The symbol does not alias with other symbols that have a
-        NO_ALIAS* attribute.  */
-     NO_ALIAS,
- 
-     /* The symbol does not alias with other symbols that have a
-        NO_ALIAS*, and it may not alias with global symbols.  */
-     NO_ALIAS_GLOBAL,
- 
-     /* The symbol does not alias with any other symbols.  */
-     NO_ALIAS_ANYTHING
- };
- 
- 
  struct GTY(()) var_ann_d {
    /* Used when building base variable structures in a var_map.  */
    unsigned base_var_processed : 1;
--- 147,152 ----
*************** struct GTY(()) var_ann_d {
*** 187,197 ****
       the memory area allocated by a call to malloc.  */
    unsigned is_heapvar : 1;
  
-   /* This field describes several "no alias" attributes that some
-      symbols are known to have.  See the enum's definition for more
-      information on each attribute.  */
-   ENUM_BITFIELD (noalias_state) noalias_state : 2;
- 
    /* Used by var_map for the base index of ssa base variables.  */
    unsigned base_index;
  
--- 164,169 ----



More information about the Gcc-patches mailing list