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 0A90B3858401; Tue, 11 Oct 2022 15:57:15 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0A90B3858401
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1665503835;
	bh=k9TlBWe5ZtTA1+uUrcSq11X257kb4jbcrzzDDEN4aes=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=acR5+hU2pFzIqhcM0bXpXHf7VbneCjsoI+2C9FGzLLcEmpUlybYGPO7YyBoVfsQNE
	 nCCskMOu4I4XiqNI2AbOwXergLsy8EDrlQ+FHaH40hmaitRAo81YIrOqQYYpEcVszy
	 JSMCjiqvWt6JA5kgjH0zLs1MzdCqSvAa6m9tl+TU=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107209] [13 Regression] ICE: verify_gimple
 failed (error: statement marked for throw, but doesn't)
Date: Tue, 11 Oct 2022 15:57:14 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: ice-on-invalid-code, needs-bisection
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia 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.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: everconfirmed cf_reconfirmed_on bug_status
Message-ID: <bug-107209-4-LqHy82C7Te@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107209-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107209-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=3D107209

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-10-11
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> Looks like EVRP elimination fails to clean EH?  Or target folding.  Would=
 be
> nice to have a testcase not requiring aarch64 intrinsics.

I tried but didn't crash.
```
#define vector __attribute__((vector_size(sizeof(double))))

vector double
foo1 (void)
{
  double v1 =3D 3.14159265359;
  double v2 =3D 1.383894;
  double vec_1_data[] =3D {v1};
  double vec_2_data[] =3D {v2};
  vector double vec_1 =3D {vec_1_data[0]};
  vector double vec_2 =3D {vec_2_data[0]};

  return vec_1*vec_2;
}
```

Before evrp on the working testcase:
```
  vec_1_data$0_3 =3D 3.14159265359000006156975359772332012653350830078125e+=
0;
  vec_2_data$0_4 =3D 1.3838939999999999574953335468308068811893463134765625=
e+0;
  _1 =3D vec_1_data$0_3;
  vec_1_9 =3D {_1};
  _2 =3D vec_2_data$0_4;
  vec_2_11 =3D {_2};
  [LP 1] _12 =3D vec_1_9 * vec_2_11;
```

But with the aarch64 intrinsics:
  vec_1_data$0_2 =3D 3.14159265359000006156975359772332012653350830078125e+=
0;
  vec_2_data$0_3 =3D 1.3838939999999999574953335468308068811893463134765625=
e+0;
  _10 =3D vec_1_data$0_2;
  _7 =3D {_10};
  _20 =3D vec_2_data$0_3;
  _21 =3D {_20};
  [LP 1] # .MEM_28 =3D VDEF <.MEM_4(D)>
  # USE =3D nonlocal escaped=20
  # CLB =3D nonlocal escaped=20
  _24 =3D __builtin_aarch64_fmulxdf (_10, _20);
```

aarch64_general_gimple_fold_builtin inside aarch64-builtins.cc which does t=
he
folding and it looks correct.
`BUILTIN_GPF (BINOP, fmulx, 0, ALL)`

So it requires aarch64 intrinsics.
In GCC 12, the folding of fmulxdf or the multiply didn't happen during evrp
even.=