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 6A4B73858D32; Mon, 30 Jan 2023 13:49:38 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6A4B73858D32
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1675086578;
	bh=c8avbziaFZtPBIE9G1BX3+9J5gZ2lDL9ctke1u9uLD8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=kTI8WMlAd6tr/7vnzjvzL6MselcWkV+Fegqp4aCTNmWoh9t8xZWG8oVSOEylUfAHZ
	 CJgT20Ak57YSYQ1yPO26eH4zHBrj46xn9dM6WCHhmEOM1VulAGmMeMWzynle/xGd/N
	 EE9duI+GtDvzU1WhQNHix9XNN1o5sRnChXjXQYr4=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/108599] [12/13 Regression] Incorrect code generation
 newer intel architectures
Date: Mon, 30 Jan 2023 13:49:38 +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: 12.1.1
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: 12.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: target_milestone bug_status everconfirmed
 cf_reconfirmed_on short_desc cc
Message-ID: <bug-108599-4-Z8VBiRc78c@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108599-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108599-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=3D108599

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.3
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-01-30
            Summary|Incorrect code generation   |[12/13 Regression]
                   |newer intel architectures   |Incorrect code generation
                   |for gcc 12 and 13           |newer intel architectures
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
With just -O3 -march=3Dhaswell on following test it started with
r13-4124-g156f523f9582f1e6bcce27ece03f2776960408c8
With -O2 -march=3Dhaswell -mtune=3Dskylake-avx512 started with
r12-4240-g2b8453c401b699ed93c085d0413ab4b5030bcdb8
Finally with -O3 -march=3Dhaswell -mtune=3Dskylake-avx512 with
r12-2666-g29f0e955c97da002b5adb4e8c9dfd2ea9709e207
__attribute__((noipa, noreturn)) void
bar (const char *, const char *, unsigned int, const char *) noexcept
{
  __builtin_abort ();
}

#  define assert(expr)                                                  \
     (static_cast <bool> (expr)                                         \
      ? void (0)                                                        \
      : bar (#expr, __FILE__, __LINE__, __PRETTY_FUNCTION__))

typedef decltype (sizeof 0) size_t;

struct Stats
{
  size_t _used;
  size_t _hold;
  size_t _dead;
  size_t _extra_used;
  Stats () : _used(0), _hold(0), _dead(0), _extra_used(0) {}
  Stats used (size_t val) { _used +=3D val; return *this; }
  Stats hold (size_t val) { _hold +=3D val; return *this; }
};

void
foo (size_t exp_used, size_t exp_hold, size_t exp_dead,
     size_t exp_extra_used, const Stats stats)
{
  assert (exp_used =3D=3D stats._used);
  assert (exp_hold =3D=3D stats._hold);
  assert (exp_dead =3D=3D stats._dead);
  assert (exp_extra_used =3D=3D stats._extra_used);
}

int
main ()
{
  foo (16, 0, 0, 0, Stats ().used (16).hold (0));
  foo (16, 16, 0, 0, Stats ().used (16).hold (16));
}=