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 2331F384AB7E; Fri, 19 Apr 2024 13:49:15 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2331F384AB7E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1713534555;
	bh=rqYbT3oFUlUQCwdBRwi7nrQ+OpGj0OIYjksW5mz0bd0=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=NThQ/NEAgLAwagHq73furkPfNkpume/G9JgZCY0lzEFhn0b5TrwM1ZktALMuPEYmF
	 WrsLnN88OM9vkSjisIDsTlOeYlQWtso1NlIy50lWwFeoQykwqwh9H+oqU3zQAlAHnX
	 BmrFDj7tsyAYvCxn9CnlAzeIgpJBc2YtdAA7/0n0=
From: "mkretz at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/85048] [missed optimization] vector conversions
Date: Fri, 19 Apr 2024 13:49:13 +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: 8.0.1
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: mkretz at gcc dot gnu.org
X-Bugzilla-Status: NEW
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-85048-4-5Ce4eYJcrb@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-85048-4@http.gcc.gnu.org/bugzilla/>
References: <bug-85048-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=3D85048

--- Comment #13 from Matthias Kretz (Vir) <mkretz at gcc dot gnu.org> ---
Should I open a new PR for the remaining ((u)int64, 16) <-> (float, 16)
conversions?

https://godbolt.org/z/x3xPMYKj3

Note that __builtin_convertvector produces the code we want.

template <class T, int N, int Size =3D N * sizeof (T)>
using V [[gnu::vector_size (Size)]] =3D T;

template <class From, class To>
V<To, 16>
cvt16 (V<From, 16> x)
{
#if BUILTIN
  return __builtin_convertvector (x, V<To, 16>);
#else
  return V<To, 16>{ To (x[0]),  To (x[1]),  To (x[2]),  To (x[3]),
                    To (x[4]),  To (x[5]),  To (x[6]),  To (x[7]),
                    To (x[8]),  To (x[9]),  To (x[10]), To (x[11]),
                    To (x[12]), To (x[13]), To (x[14]), To (x[15]) };
#endif
}

#define _(name, from, to, size)                                            =
   \
  auto name (V<from, size> x) { return cvt##size<from, to> (x); }
// integral -> float
_ (vcvtqq2ps, int64_t, float, 16)
_ (vcvtuqq2ps, uint64_t, float, 16)

// float -> integral
_ (vcvttps2qq, float, int64_t, 16)
_ (vcvttps2uqq, float, uint64_t, 16)=