From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-95455-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 13131 invoked by alias); 15 May 2004 11:55:33 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 13124 invoked by uid 48); 15 May 2004 11:55:32 -0000
Date: Sat, 15 May 2004 23:36:00 -0000
Message-ID: <20040515115532.13123.qmail@sourceware.org>
From: "kazu at cs dot umass dot edu" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20040327144535.14752.kazu@cs.umass.edu>
References: <20040327144535.14752.kazu@cs.umass.edu>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug tree-optimization/14752] [tree-ssa] "~a" should be changed to "a" if used in the condition of an if statement
X-Bugzilla-Reason: CC
X-SW-Source: 2004-05/txt/msg01603.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


------- Additional Comments From kazu at cs dot umass dot edu  2004-05-15 11:55 -------
As of today, the last tree-ssa form looks like:

;; Function foo (foo)

foo (a)
{
  _Bool T.2;
  unsigned int T.1;
  unsigned int T.0;

<bb 0>:
  T.0_2 = a_1 >> 2;
  T.1_3 = T.0_2 & 1;
  if (T.1_3 != 0) goto <L0>; else goto <L1>;

<L0>:;
  bar () [tail call];

<L1>:;
  return;

}



;; Function baz (baz)

baz (a)
{
  _Bool T.6;
  unsigned int T.5;
  unsigned int T.4;
  unsigned int T.3;

<bb 0>:
  T.3_2 = ~a_1;
  T.4_3 = T.3_2 >> 2;
  T.5_4 = T.4_3 & 1;
  if (T.5_4 != 0) goto <L0>; else goto <L1>;

<L0>:;
  bar () [tail call];

<L1>:;
  return;

}

Note that the casts to _Bool are gone.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14752