From patchwork Thu Jul 21 16:30:32 2011 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Roman Zhuykov X-Patchwork-Id: 106100 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) by ozlabs.org (Postfix) with SMTP id A3A50B6F75 for ; Fri, 22 Jul 2011 02:31:43 +1000 (EST) Received: (qmail 13209 invoked by alias); 21 Jul 2011 16:31:29 -0000 Received: (qmail 13129 invoked by uid 22791); 21 Jul 2011 16:31:24 -0000 X-SWARE-Spam-Status: No, hits=-2.0 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from eggs.gnu.org (HELO eggs.gnu.org) (140.186.70.92) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 21 Jul 2011 16:31:09 +0000 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Qjw9M-0002EG-G7 for gcc-patches@gcc.gnu.org; Thu, 21 Jul 2011 12:31:08 -0400 Received: from smtp.ispras.ru ([83.149.198.202]:44943) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Qjw9M-0002Dw-9h for gcc-patches@gcc.gnu.org; Thu, 21 Jul 2011 12:31:00 -0400 Received: from ispserv.ispras.ru (ispserv.ispras.ru [83.149.198.72]) by smtp.ispras.ru (Postfix) with ESMTP id E15AA5D4081; Thu, 21 Jul 2011 20:22:39 +0400 (MSD) Received: from condor.intra.ispras.ru (winnie.ispras.ru [83.149.198.236]) by ispserv.ispras.ru (Postfix) with ESMTP id 46BCE3FC57; Thu, 21 Jul 2011 20:30:35 +0400 (MSD) From: zhroma@ispras.ru To: gcc-patches@gcc.gnu.org Cc: dm@ispras.ru Subject: [PATCH 7/9] New assertion Date: Thu, 21 Jul 2011 20:30:32 +0400 Message-Id: <1311265834-2144-8-git-send-email-zhroma@ispras.ru> In-Reply-To: <1311265834-2144-1-git-send-email-zhroma@ispras.ru> References: <1311265834-2144-1-git-send-email-zhroma@ispras.ru> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-Received-From: 83.149.198.202 X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org This patch adds an assertion in function rtl_lv_add_condition_to_bb. It allows me to find mistakes easier while writing code which creates complex loop versioning condition in previous patch. 2011-07-20 Roman Zhuykov * cfgrtl.c (rtl_lv_add_condition_to_bb): New assertion. --- gcc/cfgrtl.c | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 7eb4362..068da4a 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -3103,6 +3103,7 @@ rtl_lv_add_condition_to_bb (basic_block first_head , start_sequence (); op0 = force_operand (op0, NULL_RTX); op1 = force_operand (op1, NULL_RTX); + gcc_assert (op0 && op1); do_compare_rtx_and_jump (op0, op1, comp, 0, mode, NULL_RTX, NULL_RTX, label, -1); jump = get_last_insn ();