From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11575 invoked by alias); 19 May 2011 10:52:06 -0000 Received: (qmail 11561 invoked by uid 22791); 19 May 2011 10:52:06 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from mel.act-europe.fr (HELO mel.act-europe.fr) (194.98.77.210) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 19 May 2011 10:51:52 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 5EA09CB025A; Thu, 19 May 2011 12:51:51 +0200 (CEST) Received: from mel.act-europe.fr ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id vBHAQAExZaPa; Thu, 19 May 2011 12:51:48 +0200 (CEST) Received: from [192.168.1.2] (bon31-9-83-155-120-49.fbx.proxad.net [83.155.120.49]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mel.act-europe.fr (Postfix) with ESMTP id 45166CB01E5; Thu, 19 May 2011 12:51:48 +0200 (CEST) From: Eric Botcazou To: Richard Guenther Subject: Re: [patch gimplifier]: Change TRUTH_(AND|OR|XOR) expressions to binary form Date: Thu, 19 May 2011 12:57:00 -0000 User-Agent: KMail/1.9.9 Cc: Kai Tietz , GCC Patches References: In-Reply-To: MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <201105191245.02882.ebotcazou@adacore.com> Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2011-05/txt/msg01366.txt.bz2 > Eric, how will this interact with Ada boolean types with 8 bit precision > and those "invalid" values - will invalid values ever enter into > expressions or are they checked before? IIUC the Ada semantics is that they must be checked prior to being used. Once they are used, they are "recycled" into valid values. So the issue boils down to how the check is implemented and it doesn't use TRUTH_(AND|OR|XOR) at all. > Can you think of something that would break with s/TRUTH_*_EXPR/BIT_*_EXPR/ > for Ada? No, not at the moment. Thanks for asking in any case. -- Eric Botcazou