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 6DC8E3858D32; Tue, 25 Apr 2023 09:15:26 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6DC8E3858D32
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1682414126;
	bh=GPfqsD8BCc+e5EzY8H2qgA10sBdMu+S7NkkBjxpsBMY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=OcHa5AjLhN7yO8AsVNMCMb7GU4vmdzZBU9rVR0OdufzXxYOYBlKEtAtVAhbQPErkY
	 dbZQFrSisiEUsvu41OoXBmTfxvMAsMotaVq5GKmHf768vafEdybOPE4Tg8HUkMiZEn
	 qkEkwRtodXGwAWG7otXxYssh0+SO804rHMRtn/bc=
From: "crazylht at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/109610] [14 regression] gcc.target/powerpc/dform-3.c
 fails after r14-172-g0368d169492017
Date: Tue, 25 Apr 2023 09:15:25 +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: testsuite-fail
X-Bugzilla-Severity: normal
X-Bugzilla-Who: crazylht at gmail dot com
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: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109610-4-miuBUJK8bt@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109610-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109610-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=3D109610

--- Comment #2 from Hongtao.liu <crazylht at gmail dot com> ---
testcase:

#ifndef TYPE
#define TYPE vector double
#endif

struct foo {
  TYPE a, b, c, d;
};

/* Make sure we don't use direct moves to get stuff into GPR registers.  */
void
gpr (struct foo *p)
{
  TYPE x =3D p->c;

  __asm__ (" # reg =3D %0" : "+r" (x));

  p->b =3D x;
}


Here's dump in ira.

-------------
a2(r117,l0) costs: BASE_REGS:12000,12000 GENERAL_REGS:12000,12000
FLOAT_REGS:0,0 ALTIVEC_REGS:0,0 VSX_REGS:0,0 GEN_OR_FLOAT_REGS:12000,12000
GEN_OR_VSX_REGS:12000,12000 MEM:0,0
....
(insn 6 3 13 2 (set (reg/v:V2DF 117 [ x ])
        (mem:V2DF (plus:DI (reg/v/f:DI 118 [ p ])
                (const_int 32 [0x20])) [1 p_2(D)->c+0 S16 A128]))
"testsuite/gcc.target/powerpc/dform-3.c":23:8 1148 {vsx_movv2df_64bit}
     (nil))
(insn 13 6 8 2 (set (reg:V2DF 119 [ x ])
        (reg/v:V2DF 117 [ x ])) "testsuite/gcc.target/powerpc/dform-3.c":25=
:3
-1
     (nil))
(insn 8 13 9 2 (parallel [
            (set (reg:V2DF 119 [ x ])
                (asm_operands:V2DF (" # reg =3D %0") ("=3Dr") 0 [
                        (reg:V2DF 119 [ x ])
                    ]
                     [
                        (asm_input:V2DF ("0")
testsuite/gcc.target/powerpc/dform-3.c:25)
                    ]
                     [] testsuite/gcc.target/powerpc/dform-3.c:25))
            (clobber (reg:SI 98 ca))
        ]) "testsuite/gcc.target/powerpc/dform-3.c":25:3 -1
---------------


And after my commit, RA take best scenario when preferred reg_class is unko=
wn,
which make cost of MEM:0,0 of r117 same as VSX_REGS:0,0, and allocate r117 =
as
VSX_REGS, which create an extra move and failed the testcase.=