public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
From: Frederik Harwath <frederik@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc/devel/omp/gcc-11] graphite: Accept loops without data references
Date: Wed, 17 Nov 2021 08:18:56 +0000 (GMT)	[thread overview]
Message-ID: <20211117081856.8D840385AC27@sourceware.org> (raw)

https://gcc.gnu.org/g:7bc13103c3ef408a1811a4d2ea935b03b6745451

commit 7bc13103c3ef408a1811a4d2ea935b03b6745451
Author: Frederik Harwath <frederik@codesourcery.com>
Date:   Tue Nov 16 16:22:29 2021 +0100

    graphite: Accept loops without data references
    
    It seems that the check that rejects loops without data references is
    only included to avoid handling non-profitable loops.  Including those
    loops in Graphite's analysis enables more consistent diagnostic
    messages in OpenACC "kernels" code and does not introduce any
    testsuite regressions.  If executing Graphite on loops without
    data references leads to noticeable compile time slow-downs for
    non-OpenACC users of Graphite, the check can be re-introduced but
    restricted to non-OpenACC functions.
    
    gcc/ChangeLog:
    
            * graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
            Remove check for loops without data references.

Diff:
---
 gcc/graphite-scop-detection.c | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c
index 99e906a5d12..9311a0e42a5 100644
--- a/gcc/graphite-scop-detection.c
+++ b/gcc/graphite-scop-detection.c
@@ -851,19 +851,6 @@ scop_detection::harmful_loop_in_region (sese_l scop) const
 	  return true;
 	}
 
-      /* Check if all loop nests have at least one data reference.
-	 ???  This check is expensive and loops premature at this point.
-	 If important to retain we can pre-compute this for all innermost
-	 loops and reject those when we build a SESE region for a loop
-	 during SESE discovery.  */
-      if (! loop->inner
-	  && ! loop_nest_has_data_refs (loop))
-	{
-	  DEBUG_PRINT (dp << "[scop-detection-fail] loop_" << loop->num
-		       << " does not have any data reference.\n");
-	  return true;
-	}
-
       DEBUG_PRINT (dp << "[scop-detection] loop_" << loop->num << " is harmless.\n");
     }


                 reply	other threads:[~2021-11-17  8:18 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20211117081856.8D840385AC27@sourceware.org \
    --to=frederik@gcc.gnu.org \
    --cc=gcc-cvs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).