OSDN Git Service

* ddg.c (add_cross_iteration_register_deps): Call gcc_assert instead
authorfroydnj <froydnj@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Oct 2010 21:39:13 +0000 (21:39 +0000)
committerfroydnj <froydnj@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Oct 2010 21:39:13 +0000 (21:39 +0000)
of gcc_checking_assert.
* sel-sched.c (code_motion_process_successors): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165790 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/ddg.c
gcc/sel-sched.c

index b834082..0ba444d 100644 (file)
@@ -1,3 +1,9 @@
+2010-10-21  Nathan Froyd  <froydnj@codesourcery.com>
+
+       * ddg.c (add_cross_iteration_register_deps): Call gcc_assert instead
+       of gcc_checking_assert.
+       * sel-sched.c (code_motion_process_successors): Likewise.
+
 2010-10-21  Eric Botcazou  <ebotcazou@adacore.com>
 
        * cfgcleanup.c (try_forward_edges): Do not throw away previous steps
index d7b093b..2cf0630 100644 (file)
--- a/gcc/ddg.c
+++ b/gcc/ddg.c
@@ -262,9 +262,11 @@ add_cross_iteration_register_deps (ddg_ptr g, df_ref last_def)
   gcc_assert (last_def_node);
   gcc_assert (first_def);
 
+#ifdef ENABLE_CHECKING
   if (DF_REF_ID (last_def) != DF_REF_ID (first_def))
-    gcc_checking_assert (!bitmap_bit_p (&bb_info->gen,
-                                       DF_REF_ID (first_def)));
+    gcc_assert (!bitmap_bit_p (&bb_info->gen,
+                              DF_REF_ID (first_def)));
+#endif
 
   /* Create inter-loop true dependences and anti dependences.  */
   for (r_use = DF_REF_CHAIN (last_def); r_use != NULL; r_use = r_use->next)
index 378e561..ce014ed 100644 (file)
@@ -6360,6 +6360,7 @@ code_motion_process_successors (insn_t insn, av_set_t orig_ops,
         goto rescan;
     }
 
+#ifdef ENABLE_CHECKING
   /* Here, RES==1 if original expr was found at least for one of the
      successors.  After the loop, RES may happen to have zero value
      only if at some point the expr searched is present in av_set, but is
@@ -6367,11 +6368,12 @@ code_motion_process_successors (insn_t insn, av_set_t orig_ops,
      The exception is when the original operation is blocked by
      bookkeeping generated for another fence or for another path in current
      move_op.  */
-  gcc_checking_assert (res == 1
-                      || (res == 0
-                          && av_set_could_be_blocked_by_bookkeeping_p (orig_ops,
-                                                                       static_params))
-                      || res == -1);
+  gcc_assert (res == 1
+             || (res == 0
+                 && av_set_could_be_blocked_by_bookkeeping_p (orig_ops,
+                                                              static_params))
+             || res == -1);
+#endif
 
   /* Merge data, clean up, etc.  */
   if (res != -1 && code_motion_path_driver_info->after_merge_succs)