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 8D6873858CDB; Thu,  4 Apr 2024 07:59:06 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8D6873858CDB
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1712217546;
	bh=DMwWYRH/NBtsFipCBy558Go7P2Cmaqj4HMViraaGhhQ=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=RX1St3cdKPRqi0mLTZN1RGHRJB9OfWuLsoCFXrzmGhmbdDVPCAuXlkURT0prISrs5
	 HuUPkvDPP6tmnnJFfuWsCZGqS88JFCvXyVuIOlNEGtiObXMQQw4mYM1qadaxdl8kSO
	 6f8Kl566i+w0p8rKG7Ld6TgeL5TuG4vn/NjCWeDs=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/114485] [13/14 Regression] Wrong code with
 -O3 -march=rv64gcv on riscv or `-O3 -march=armv9-a` for aarch64
Date: Thu, 04 Apr 2024 07:59:06 +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: 14.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114485-4-AXS6Er6ZcW@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114485-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114485-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=3D114485

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
  /* Init_expr will be update by vect_update_ivs_after_vectorizer,
     if niters or vf is unkown:
     For shift, when shift mount >=3D precision, there would be UD.
     For mult, don't known how to generate
     init_expr * pow (step, niters) for variable niters.
     For neg, it should be ok, since niters of vectorized main loop
     will always be multiple of 2.

well, for partial vectors that's of course not true.=