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 5BE5D3858C54; Thu, 19 Oct 2023 11:16:13 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5BE5D3858C54
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1697714173;
	bh=ohMGqzcVH4WFEIurGd5uytGVtcQu1Yb9BR2+IueynLs=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=jcwqX/ZOuWkxFml5eR2D7bXXQwht+Lsjir9jyjTEJ6KDnL1yzK4Soa1bqJaT4Ld8p
	 G8n7CxoRqRclrGY3D197im8pA01NdhiLAmzh2O2ncmf+rqC+lu96vhJG4QHW2HavHd
	 MsDkIO0w6rOSva+NL7BHI0NrouG9UVNhld6IeKlk=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/111720] RISC-V: Ugly codegen in RVV
Date: Thu, 19 Oct 2023 11:16:12 +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: 14.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth 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-111720-4-HwvnpJjuJ5@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111720-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111720-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=3D111720

--- Comment #18 from Richard Biener <rguenth at gcc dot gnu.org> ---
With RVV you have intrinsic calls in GIMPLE so nothing to optimize:

vbool8_t fn ()
{
  vbool8_t vmask;
  vuint8m1_t vand_m;
  vuint8m1_t varr;
  uint8_t arr[32];

  <bb 2> [local count: 1073741824]:
  arr =3D
"\x01\x02\x07\x01\x03\x04\x05\x03\x01\x00\x01\x02\x04\x04\t\t\x01\x02\x07\x=
01\x03\x04\x05\x03\x01\x00\x01\x02\x04\x04\t\t";
  varr_3 =3D __riscv_vle8_v_u8m1 (&arr, 32); [return slot optimization]
  vand_m_4 =3D __riscv_vand_vx_u8m1 (varr_3, 1, 32); [return slot optimizat=
ion]
  vmask_5 =3D __riscv_vreinterpret_v_u8m1_b8 (vand_m_4); [return slot
optimization]
  <retval> =3D vmask_5;
  arr =3D{v} {CLOBBER(eol)};
  return <retval>;

and on RTL I see lots of UNSPECs, RTL opts cannot do anything with those.

This is what Andrew said already.=