CbC/CbC_gcc: gcc/tree-ssa.c comparison

comparison gcc/tree-ssa.c @ 63:b7f97abdc517 gcc-4.6-20100522

update gcc from gcc-4.5.0 to gcc-4.6

author	ryoma <e075725@ie.u-ryukyu.ac.jp>
date	Mon, 24 May 2010 12:47:05 +0900
parents	77e2b8dfacca
children	f6334be47118

comparison

equal deleted inserted replaced

-:3c8a44c06a95
+:b7f97abdc517
 /* Miscellaneous SSA utility functions.
-Copyright (C) 2001, 2002, 2003, 2004, 2005, 2007, 2008, 2009
+Copyright (C) 2001, 2002, 2003, 2004, 2005, 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
 #include "system.h"
 #include "coretypes.h"
 #include "tm.h"
 #include "tree.h"
 #include "flags.h"
-#include "rtl.h"
 #include "tm_p.h"
 #include "target.h"
 #include "ggc.h"
 #include "langhooks.h"
-#include "hard-reg-set.h"
 #include "basic-block.h"
 #include "output.h"
 #include "expr.h"
 #include "function.h"
 #include "diagnostic.h"
+#include "tree-pretty-print.h"
+#include "gimple-pretty-print.h"
 #include "bitmap.h"
 #include "pointer-set.h"
 #include "tree-flow.h"
 #include "gimple.h"
 #include "tree-inline.h"
-#include "varray.h"
 #include "timevar.h"
 #include "hashtab.h"
 #include "tree-dump.h"
 #include "tree-pass.h"
 #include "toplev.h"
 fn->gimple_df->referenced_vars = htab_create_ggc (20, uid_decl_map_hash,
 				     		    uid_decl_map_eq, NULL);
 fn->gimple_df->default_defs = htab_create_ggc (20, uid_ssaname_map_hash,
 				                 uid_ssaname_map_eq, NULL);
 pt_solution_reset (&fn->gimple_df->escaped);
-pt_solution_reset (&fn->gimple_df->callused);
 init_ssanames (fn, 0);
 init_phinodes ();
 }
 delete_alias_heapvars ();
 htab_delete (cfun->gimple_df->default_defs);
 cfun->gimple_df->default_defs = NULL;
 pt_solution_reset (&cfun->gimple_df->escaped);
-pt_solution_reset (&cfun->gimple_df->callused);
 if (cfun->gimple_df->decls_to_pointers != NULL)
 pointer_map_destroy (cfun->gimple_df->decls_to_pointers);
 cfun->gimple_df->decls_to_pointers = NULL;
 cfun->gimple_df->modified_noreturn_calls = NULL;
 cfun->gimple_df = NULL;
 pointer_set_destroy (visited);
 }
 }
-/* Return true if T, an SSA_NAME, has an undefined value.  */
-bool
-ssa_undefined_value_p (tree t)
-{
-tree var = SSA_NAME_VAR (t);
-/* Parameters get their initial value from the function entry.  */
-if (TREE_CODE (var) == PARM_DECL)
-return false;
-/* Hard register variables get their initial value from the ether.  */
-if (TREE_CODE (var) == VAR_DECL && DECL_HARD_REGISTER (var))
-return false;
-/* The value is undefined iff its definition statement is empty.  */
-return gimple_nop_p (SSA_NAME_DEF_STMT (t));
-}
 /* Emit warnings for uninitialized variables.  This is done in two passes.
 The first pass notices real uses of SSA names with undefined values.
 Such uses are unconditionally uninitialized, and we can be certain that
 such a use is a mistake.  This pass is run before most optimizations,
 changed conditionally uninitialized to unconditionally uninitialized.  */
 /* Emit a warning for T, an SSA_NAME, being uninitialized.  The exact
 warning text is in MSGID and LOCUS may contain a location or be null.  */
-static void
+void
 warn_uninit (tree t, const char *gmsgid, void *data)
 {
 tree var = SSA_NAME_VAR (t);
 gimple context = (gimple) data;
 location_t location;
 }
 return NULL_TREE;
 }
-/* Look for inputs to PHI that are SSA_NAMEs that have empty definitions
+unsigned int
-and warn about them.  */
-static void
-warn_uninitialized_phi (gimple phi)
-{
-size_t i, n = gimple_phi_num_args (phi);
-/* Don't look at memory tags.  */
-if (!is_gimple_reg (gimple_phi_result (phi)))
-return;
-for (i = 0; i < n; ++i)
-{
-tree op = gimple_phi_arg_def (phi, i);
-if (TREE_CODE (op) == SSA_NAME)
-	warn_uninit (op, "%qD may be used uninitialized in this function",
-		     NULL);
-}
-}
-static unsigned int
 warn_uninitialized_vars (bool warn_possibly_uninitialized)
 {
 gimple_stmt_iterator gsi;
 basic_block bb;
 struct walk_data data;
 data.warn_possibly_uninitialized = warn_possibly_uninitialized;
-calculate_dominance_info (CDI_POST_DOMINATORS);
 FOR_EACH_BB (bb)
 {
 data.always_executed = dominated_by_p (CDI_POST_DOMINATORS,
 					     single_succ (ENTRY_BLOCK_PTR), bb);
 	  wi.info = &data;
 	  walk_gimple_op (gsi_stmt (gsi), warn_uninitialized_var, &wi);
 	}
 }
-/* Post-dominator information can not be reliably updated. Free it
-after the use.  */
-free_dominance_info (CDI_POST_DOMINATORS);
 return 0;
 }
 static unsigned int
 execute_early_warn_uninitialized (void)
 execute_late_warn_uninitialized only runs with optimization. With
 optimization we want to warn about possible uninitialized as late
 as possible, thus don't do it here.  However, without
 optimization we need to warn here about "may be uninitialized".
 */
+calculate_dominance_info (CDI_POST_DOMINATORS);
 warn_uninitialized_vars (/*warn_possibly_uninitialized=*/!optimize);
-return 0;
-}
+/* Post-dominator information can not be reliably updated. Free it
+after the use.  */
-static unsigned int
-execute_late_warn_uninitialized (void)
+free_dominance_info (CDI_POST_DOMINATORS);
-{
-basic_block bb;
-gimple_stmt_iterator gsi;
-/* Re-do the plain uninitialized variable check, as optimization may have
-straightened control flow.  Do this first so that we don't accidentally
-get a "may be" warning when we'd have seen an "is" warning later.  */
-warn_uninitialized_vars (/*warn_possibly_uninitialized=*/1);
-FOR_EACH_BB (bb)
-for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
-warn_uninitialized_phi (gsi_stmt (gsi));
 return 0;
 }
 static bool
 gate_warn_uninitialized (void)
 {
 GIMPLE_PASS,
 "*early_warn_uninitialized",		/* name */
 gate_warn_uninitialized,		/* gate */
 execute_early_warn_uninitialized,	/* execute */
-NULL,					/* sub */
-NULL,					/* next */
-0,					/* static_pass_number */
-TV_NONE,				/* tv_id */
-PROP_ssa,				/* properties_required */
-0,					/* properties_provided */
-0,					/* properties_destroyed */
-0,					/* todo_flags_start */
-0                                     /* todo_flags_finish */
-}
-};
-struct gimple_opt_pass pass_late_warn_uninitialized =
-{
-{
-GIMPLE_PASS,
-"*late_warn_uninitialized",		/* name */
-gate_warn_uninitialized,		/* gate */
-execute_late_warn_uninitialized,	/* execute */
 NULL,					/* sub */
 NULL,					/* next */
 0,					/* static_pass_number */
 TV_NONE,				/* tv_id */
 PROP_ssa,				/* properties_required */

Mercurial > hg > CbC > CbC_gcc

comparison gcc/tree-ssa.c @ 63:b7f97abdc517 gcc-4.6-20100522