From patchwork Wed Jul 27 10:59:06 2011
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Patchwork-Submitter: Kai Tietz <ktietz@redhat.com>
X-Patchwork-Id: 107026
Return-Path: 
 <gcc-patches-return-298103-incoming=patchwork.ozlabs.org@gcc.gnu.org>
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 12864B6F57
	for <incoming@patchwork.ozlabs.org>;
	Wed, 27 Jul 2011 20:59:29 +1000 (EST)
Received: (qmail 23520 invoked by alias); 27 Jul 2011 10:59:28 -0000
Received: (qmail 23511 invoked by uid 22791); 27 Jul 2011 10:59:27 -0000
X-SWARE-Spam-Status: No, hits=-7.5 required=5.0	tests=AWL, BAYES_00,
	RCVD_IN_DNSWL_HI, RP_MATCHES_RCVD, SPF_HELO_PASS
X-Spam-Check-By: sourceware.org
Received: from mx3-phx2.redhat.com (HELO mx3-phx2.redhat.com)
	(209.132.183.24) by sourceware.org (qpsmtpd/0.43rc1) with
	ESMTP; Wed, 27 Jul 2011 10:59:07 +0000
Received: from mail06.corp.redhat.com
	(zmail06.collab.prod.int.phx2.redhat.com [10.5.5.45])	by
	mx3-phx2.redhat.com (8.13.8/8.13.8) with ESMTP id
	p6RAx6PL026352; Wed, 27 Jul 2011 06:59:07 -0400
Date: Wed, 27 Jul 2011 06:59:06 -0400 (EDT)
From: Kai Tietz <ktietz@redhat.com>
To: gcc-patches@gcc.gnu.org
Cc: Richard Guenther <richard.guenther@gmail.com>
Message-ID: 
 <1932856705.289727.1311764346893.JavaMail.root@zmail06.collab.prod.int.phx2.redhat.com>
Subject: [patch tree-optimization]: Handle boolean-type case in
	canonicalize_cond_expr_cond
MIME-Version: 1.0
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Unsubscribe: 
 <mailto:gcc-patches-unsubscribe-incoming=patchwork.ozlabs.org@gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Delivered-To: mailing list gcc-patches@gcc.gnu.org

Hello,

this patch handles for canonicalize_cond_expr_cond the case, that we have an
type-cast from boolean-type.

ChangeLog

2011-07-27  Kai Tietz  <ktietz@redhat.com>

        * gimple.c (canonicalize_cond_expr_cond): Handle cast
        from boolean-type case.

Bootstrapped and regression tested on x86_64-pc-linux-gnu.  Ok for apply?

Regards,
Kai

Index: gcc-head/gcc/gimple.c
===================================================================
--- gcc-head.orig/gcc/gimple.c
+++ gcc-head/gcc/gimple.c
@@ -3160,7 +3160,9 @@ canonicalize_cond_expr_cond (tree t)
 {
   /* Strip conversions around boolean operations.  */
   if (CONVERT_EXPR_P (t)
-      && truth_value_p (TREE_CODE (TREE_OPERAND (t, 0))))
+      && (truth_value_p (TREE_CODE (TREE_OPERAND (t, 0)))
+         || TREE_CODE (TREE_TYPE (TREE_OPERAND (t, 0)))
+            == BOOLEAN_TYPE))
     t = TREE_OPERAND (t, 0);

   /* For !x use x == 0.  */