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 DA5143858D35; Wed, 15 Feb 2023 14:16:14 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DA5143858D35
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1676470574;
	bh=tZU8OmJ1Y/rrIR3jleQG+aiy1Pm4SyGWehAOClwQUa0=;
	h=From:To:Subject:Date:From;
	b=ZmBqKxfHqF2IvlVq6FIwFmGYLo/1TquZrJM5BtuxUwT3kvsqJQr3UdAcoPng9JYHl
	 i3+vtIbDR5Oc+1H5iRnJzhb72nJzxvLBczgfPGzN3h0lm75rA9bILv0MN0Jay32nf/
	 OtSs+A916qLJpE72d72+gPgR4DNWcxubFj3pwO6s=
From: "vincenzo.innocente at cern dot ch" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/108804] New: missed vectorization in presence
 of conversion from uint64_t to float
Date: Wed, 15 Feb 2023 14:16:14 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 12.2.1
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vincenzo.innocente at cern dot ch
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: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-108804-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=3D108804

            Bug ID: 108804
           Summary: missed vectorization in presence of conversion from
                    uint64_t to float
           Product: gcc
           Version: 12.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vincenzo.innocente at cern dot ch
  Target Milestone: ---

in the following code [1] foo does not vectorize, bar doos
compiled with -march=3Dhaswell -Ofast --no-math-errno -Wall
see
https://godbolt.org/z/E6xzfavxc

clang seems do do better

[1]
#include<cstdint>



uint64_t d[512];
//uint32_t f[1024];
float f[1024];

void foo() {
    for (int i=3D0; i<512; ++i) {
        uint64_t k =3D d[i];
        auto x  =3D (k & 0x007FFFFF) |  0x3F800000;
        k =3D k >> 23;
        auto y  =3D (k & 0x007FFFFF) |  0x3F800000;
        f[i]=3Dx; f[128+i] =3D y;

    }=20=20=20=20
}

void bar() {
    for (int i=3D0; i<512; ++i) {
        uint64_t k =3D d[i];
        uint32_t x  =3D (k & 0x007FFFFF);
        x |=3D 0x3F800000;
        uint32_t y  =3D k >> 23;
        y  =3D (y & 0x007FFFFF) |  0x3F800000;
        f[i]=3Dx; f[128+i] =3D y;

    }=20=20
}=