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 9D3663858C5E; Fri, 15 Mar 2024 11:17:47 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9D3663858C5E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1710501467;
	bh=/9+NLHMcVWjV6TYDQO9/t36mH/khOhoFMTc95T4o4hk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=tzpvBWqZW3t0qxyRe01Y+xDcNaG/ll5YN/ejjlqsnWqVuL+BzVH/kmWzHOpLxUVTa
	 t8N7AFcJdu+ZJrhdNKHFQHdpBannpfWv8yTLr7Ytf490DqIaA6UsFdAqhPVGXuoK5n
	 MwFOr9KU0FQSP0AyOiCsBWD/wdWJjvYD5Kc5m5Uk=
From: "acoplan at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/114323] [14 Regression] MVE vector load intrinsic
 miscompiled since r14-5622-g4d7647edfd7d98
Date: Fri, 15 Mar 2024 11:17:46 +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: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: acoplan at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: clyon at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114323-4-XeV6KRkfYF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114323-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114323-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=3D114323

--- Comment #4 from Alex Coplan <acoplan at gcc dot gnu.org> ---
I think the problem is that the arm backend incorrectly sets the const
attribute on this builtin, but it can't be const because it reads memory (it
should be pure instead):

 <function_decl 0x7f9943be0900 vld1q_u32
    type <function_type 0x7f9943be1348
        type <vector_type 0x7f9943ef69d8 uint32x4_t type <integer_type
0x7f9943f647e0 long unsigned int>
            sizes-gimplified unsigned V4SI
            size <integer_cst 0x7f9943f60408 constant 128>
            unit-size <integer_cst 0x7f9943f60420 constant 16>
            align:64 warn_if_not_align:0 symtab:0 alias-set -1
structural-equality
            attributes <tree_list 0x7f994406ec30
                purpose <identifier_node 0x7f99440708c0 Advanced SIMD type>
                value <tree_list 0x7f994406ec08
                    value <identifier_node 0x7f9944076050
18__simd128_uint32_t>>> nunits:4>
        HI
        size <integer_cst 0x7f9943f602a0 constant 16>
        unit-size <integer_cst 0x7f9943f602b8 constant 2>
        align:16 warn_if_not_align:0 symtab:0 alias-set -1 structural-equal=
ity
        arg-types <tree_list 0x7f9943bdfcd0 value <pointer_type 0x7f9943be1=
2a0>
            chain <tree_list 0x7f9943f5d7a8 value <void_type 0x7f9943f6c0a8
void>>>
        pointer_to_this <pointer_type 0x7f9943f799d8>>
    readonly addressable used nothrow public external built-in decl_5 decl_=
6 SI
t.c:2:9
    align:16 warn_if_not_align:0 built-in: BUILT_IN_MD:3923 context
<translation_unit_decl 0x7f9943ec27f8 t.c>
    attributes <tree_list 0x7f9943bdfeb0
        purpose <identifier_node 0x7f9943f618c0 const tree_0
            rid 0x7f9943f618c0 "const">
        chain <tree_list 0x7f9943bdfe88
            purpose <identifier_node 0x7f9943f73730 nothrow>
            chain <tree_list 0x7f9943bdfe60
                purpose <identifier_node 0x7f9943f73780 leaf>>>> chain
<function_decl 0x7f9943be0a00 __arm_vmaxaq_m>>=