From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 0B11238518A5; Mon, 14 Nov 2022 03:44:07 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0B11238518A5
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1668397447;
	bh=aj1dNXA5tIzBcFgzD98ihJp1eLeNkko0XwDT1baH3HI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=EqmeXNC7Gtqmd0n0cyVVpnVRw9k/AtIEbam8uOD4bBxRDT31lCwi/MUVnvzx5TtYz
	 58X8yTVj5hfGzdRVD7pZafbXlIsv8VvxQydSLMDbDebJdVErW6kD6ya6nCG5CS4K1F
	 eqQRiiZZ0dDwLEd8B6+lJHhjyZDZs6eOfyOhVLSI=
From: "ibuclaw at gdcproject dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/107671] i386: Missed optimization: use of bt in bit test
 pattern (using -O2 -mtune=core2)
Date: Mon, 14 Nov 2022 03:44:06 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ibuclaw at gdcproject dot org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107671-4-QLQXEvRPkl@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107671-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107671-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107671

--- Comment #1 from Iain Buclaw <ibuclaw at gdcproject dot org> ---
Non-pointer variants also not detected.
---
int bt32v_setb(const __UINT32_TYPE__ v, __UINT32_TYPE__ bitnum)
{
    return ((v & (1  << (bitnum & 31)))) !=3D 0;
}

int bt64v_setb(const __UINT64_TYPE__ v, __UINT64_TYPE__ bitnum)
{
    return ((v & (1L << (bitnum & 63)))) !=3D 0;
}

int bt32v_setb2(const __UINT32_TYPE__ v, __UINT32_TYPE__ bitnum)
{
    return (v >> (bitnum & 31)) & 1;
}

int bt64v_setb2(const __UINT64_TYPE__ v, __UINT64_TYPE__ bitnum)
{
    return (v >> (bitnum & 63)) & 1;
}

int bt32v_setae(const __UINT32_TYPE__ v, __UINT32_TYPE__ bitnum)
{
    return ((v & (1  << (bitnum & 31)))) =3D=3D 0;
}

int bt64v_setae(const __UINT64_TYPE__ v, __UINT64_TYPE__ bitnum)
{
    return ((v & (1L << (bitnum & 63)))) =3D=3D 0;
}

int bt32v_setae2(const __UINT32_TYPE__ v, __UINT32_TYPE__ bitnum)
{
    return !((v >> (bitnum & 31)) & 1);
}

int bt64v_setae2(const __UINT64_TYPE__ v, __UINT64_TYPE__ bitnum)
{
    return !((v >> (bitnum & 63)) & 1);
}=