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 C2D493858C60; Fri,  8 Dec 2023 03:20:41 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C2D493858C60
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1702005641;
	bh=nANEj0nAeLpCeRDh+wu2qpY6aRkMPQnP8rgTz+58APk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=GbjvX/8WL7HxSvlE5hPHsvXDCGQy1lIOlI19tGkNnVd8ZTOXadGHefqGKRr+lphEo
	 hX9NSSb2UqwSvbjCRyri/q05wYKZWO/Y+tML0VCaP0+9+ki4y6AaLUvfkoi1uU2QL2
	 08uSvE7YxRlaQMDusPyDE/o/Nu8Vx1YG14VLkWVc=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/112774] Vectorize the loop by inferring
 nonwrapping information from arrays
Date: Fri, 08 Dec 2023 03:20:40 +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: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit 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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-112774-4-WYUCpdQEGQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-112774-4@http.gcc.gnu.org/bugzilla/>
References: <bug-112774-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=3D112774

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Hao Liu <hliu@gcc.gnu.org>:

https://gcc.gnu.org/g:2efe3a7de0107618397264017fb045f237764cc7

commit r14-6299-g2efe3a7de0107618397264017fb045f237764cc7
Author: Hao Liu <hliu@os.amperecomputing.com>
Date:   Wed Dec 6 14:52:19 2023 +0800

    tree-optimization/112774: extend the SCEV CHREC tree with a nonwrapping
flag

    The flag is defined as CHREC_NOWRAP(tree), and will be dumped from
    "{offset, +, 1}_1" to "{offset, +, 1}<nw>_1" (nw is short for nonwrappi=
ng).
    Two SCEV interfaces record_nonwrapping_chrec and nonwrapping_chrec_p are
    added to set and check the flag respectively.

    As resetting the SCEV cache (i.e., the chrec trees) may not reset the
    loop->estimate_state, free_numbers_of_iterations_estimates is called
    explicitly in loop vectorization to make sure the flag can be
    calculated propriately by niter.

    gcc/ChangeLog:

            PR tree-optimization/112774
            * tree-pretty-print.cc: if nonwrapping flag is set, chrec will =
be
            printed with additional <nw> info.
            * tree-scalar-evolution.cc: add record_nonwrapping_chrec and
            nonwrapping_chrec_p to set and check the new flag respectively.
            * tree-scalar-evolution.h: Likewise.
            * tree-ssa-loop-niter.cc (idx_infer_loop_bounds,
            infer_loop_bounds_from_pointer_arith,
infer_loop_bounds_from_signedness,
            scev_probably_wraps_p): call record_nonwrapping_chrec before
            record_nonwrapping_iv, call nonwrapping_chrec_p to check the fl=
ag
is
            set and return false from scev_probably_wraps_p.
            * tree-vect-loop.cc (vect_analyze_loop): call
            free_numbers_of_iterations_estimates explicitly.
            * tree-core.h: document the nothrow_flag usage in CHREC_NOWRAP
            * tree.h: add CHREC_NOWRAP(NODE), base.nothrow_flag is used to
            represent the nonwrapping info.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/scev-16.c: New test.=