From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-95454-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 1875 invoked by alias); 15 May 2004 11:45:58 -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 1865 invoked by uid 48); 15 May 2004 11:45:57 -0000
Date: Sat, 15 May 2004 23:23:00 -0000
Message-ID: <20040515114557.1864.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: <20040404164720.14846.kazu@cs.umass.edu>
References: <20040404164720.14846.kazu@cs.umass.edu>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug tree-optimization/14846] [tree-ssa] don't use a shift in A & CST_POWER_OF_2 == 0 until very late in tree-ssa optimizations
X-Bugzilla-Reason: CC
X-SW-Source: 2004-05/txt/msg01602.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


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

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

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

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

<L1>:;
  return;

}

Note that the cast to _Bool is gone.


-- 


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