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 475D53858D33; Mon, 25 Mar 2024 17:15:35 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 475D53858D33
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1711386935;
	bh=PW/cBdfGkljHMkHau4sKR8QeYeNXXbIxCSuXO8dIE2A=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=w14o47q0gciLA71vQR7B9FcBxtPN3uwGA4tOQyts/st0Ti2kZnOIkHA+ChFX1oSee
	 r9IOcj2QeQRfJgs4yvpfEArB9QnhWqAHiNtvdqoW3fbSByAm3ol8C0tjyuqk2q2cqV
	 wQh6u3FM5hf/er3uQik5PUG3RovrRdLXHihOlMQQ=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/114415] [13/14 Regression] wrong code with -Oz -fno-dce
 -fno-forward-propagate -flive-range-shrinkage -fweb since r13-1826
Date: Mon, 25 Mar 2024 17:15:34 +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: jakub 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: 13.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114415-4-72S5OutXlW@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114415-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114415-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=3D114415

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
BTW, with additional -mno-red-zone there is still movement of these insns,
though they=20=20=20=20=20=20=20=20=20=20=20
        leaq    128(%rbx), %rsp       ! level 0
        movq    %r13, %rsi
        movl    %r10d, %edx
        rep stosl
        andq    $0, -424(%rbp)
        movq    %r12, %rdi
        leaq    -112(%rbp), %rax
        movq    $1, -432(%rbp)
        pushq   $16
        popq    %rcx
        rep movsl                     ! fill in second argument - at %rsp -=
 64
        pushq   $16                   ! again overwrite last 8 bytes of the
second argument
        movq    %rbx, %rdi
        leaq    -240(%rbp), %rsi
        popq    %rcx
        movq    %r12, %rsp            ! level 64
        movq    %rbx, %rsp            ! level 128
        rep movsl                     ! fill in first argument
        xchgq   %rax, %rdi
        call    bar1

Ah, and it is sched2 pass which moves the movq %r12, %rsp and movq %rbx, %r=
sp
instructions before the second rep movsl.=