public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "amacleod at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107967] [13 regression] The gcc commit r13-3923 caused the glibc make check fails.
Date: Wed, 07 Dec 2022 16:59:03 +0000	[thread overview]
Message-ID: <bug-107967-4-gDzuqRTcQ2@http.gcc.gnu.org/bugzilla/> (raw)
In-Reply-To: <bug-107967-4@http.gcc.gnu.org/bugzilla/>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107967

--- Comment #11 from Andrew Macleod <amacleod at redhat dot com> ---
(In reply to Aldy Hernandez from comment #4)
> (In reply to Jakub Jelinek from comment #3)
> > r13-3923-g2f7f9edd28d75a85a33599978f23811e679e443d
> > 
> > Note, I've just committed the PR107879 fix, but that one is for the reverse
> > operations.
> > And, we have still unresolved the PR107608 which on the other side could
> > very well be related or the cause of this.
> > BTW, Aldy, is there a way to disable all range related optimizations through
> > some command line option?  In the past, -fno-tree-vrp would do the trick,
> > but now that the ranger is used in lots of passes, I don't know what else to
> > use.
> 
> Not really, as ranger clients are spread around various passes.  
> 
> I think you could return false from irange::supports_p() and
> frange::supports_p() and that would block everyone using ranger.  It would
> certainly stop range_of_expr and range_of_edge, which are the main
> workhorses.



yes, we could add some form of disable.. wmaybe add something like

--param=ranger-disable=[all|float|int|gori]
all - disables all ranger queries (ie, they return false)
float - removes support for folating point
int - removes support for integrals
gori - removes support for op1/op2 backwiding

I think we could do something like that if it was useful?  It would apply
across the board to any and all uses of ranger in all passes

We could also add a ranger dbgcnt counter too,which would we could trigger in
one or more of the routines...?

  parent reply	other threads:[~2022-12-07 16:59 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-12-05  2:51 [Bug c/107967] New: The gcc commit 2f7f9edd28d " caiyinyu at loongson dot cn
2022-12-05  8:24 ` [Bug tree-optimization/107967] " rguenth at gcc dot gnu.org
2022-12-05  9:08 ` caiyinyu at loongson dot cn
2022-12-05  9:56 ` [Bug tree-optimization/107967] [13 regression] " pinskia at gcc dot gnu.org
2022-12-05 10:35 ` [Bug tree-optimization/107967] [13 regression] The gcc commit r13-3923 " jakub at gcc dot gnu.org
2022-12-05 10:55 ` aldyh at gcc dot gnu.org
2022-12-05 14:29 ` marxin at gcc dot gnu.org
2022-12-05 16:40 ` jakub at gcc dot gnu.org
2022-12-06  1:32 ` caiyinyu at loongson dot cn
2022-12-06 15:59 ` jakub at gcc dot gnu.org
2022-12-06 17:16 ` jakub at gcc dot gnu.org
2022-12-06 20:06 ` jakub at gcc dot gnu.org
2022-12-07  1:34 ` caiyinyu at loongson dot cn
2022-12-07 16:59 ` amacleod at redhat dot com [this message]
2022-12-08  9:36 ` cvs-commit at gcc dot gnu.org
2022-12-08 10:24 ` jakub at gcc dot gnu.org

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=bug-107967-4-gDzuqRTcQ2@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@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).