[Bug tree-optimization/102560] [12 Regression] g++.dg/Walloca1.C ICE with aggressive GC

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102560 --- Comment #3 from Aldy Hernandez --- Probably needs GTY markers, and possibly putting it invalid_range in file scope.

[Bug tree-optimization/102563] [12 Regression] ice during GIMPLE pass: vrp-thread

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102563 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/102560] [12 Regression] g++.dg/Walloca1.C ICE with aggressive GC

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102560 --- Comment #2 from Aldy Hernandez --- Going up the backtrace we see: (gdb) #3 0x01b43aff in irange::intersect (this=0x7fffc8e0, other=0x3c7aa40 ) at /home/aldyh/src/gcc/gcc/value-range.cc:1514 (gdb) #4 0x01b3e1

[Bug tree-optimization/102560] [12 Regression] g++.dg/Walloca1.C ICE with aggressive GC

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102560 Aldy Hernandez changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug tree-optimization/102563] [12 Regression] ice during GIMPLE pass: vrp-thread

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102563 Aldy Hernandez changed: What|Removed |Added Attachment #51534|0 |1 is obsolete|

[Bug tree-optimization/102563] [12 Regression] ice during GIMPLE pass: vrp-thread

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102563 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0

[Bug tree-optimization/102563] [12 Regression] ice during GIMPLE pass: vrp-thread

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102563 Aldy Hernandez changed: What|Removed |Added CC||haoxintu at gmail dot com --- Comment

[Bug tree-optimization/102561] [12 Regression] ICE Segmentation fault during GIMPLE pass: evrp (on -O2 and above)

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102561 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/102563] [12 Regression] ice during GIMPLE pass: vrp-thread

2021-10-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102563 --- Comment #1 from Aldy Hernandez --- Created attachment 51534 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51534&action=edit untested patch

[Bug tree-optimization/102546] [12 Regregression] Missed Dead Code Elimination regression (trunk vs 11.2.0) at -O3

2021-10-01 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546 Aldy Hernandez changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug tree-optimization/102542] [12 Regression] ICE Segmentation fault since r12-3876-g4a960d548b7d7d94

2021-10-01 Thread aldyh at gcc dot gnu.org via Gcc-bugs
--- Comment #5 from Aldy Hernandez --- (In reply to rguent...@suse.de from comment #4) > On Thu, 30 Sep 2021, aldyh at gcc dot gnu.org wrote: Thanks for the loop explanation. It's quite helpful. > So the threading at hand rotates the loop (which is only so-so OK), > that might be problema

[Bug tree-optimization/102546] [12 Regregression] Missed Dead Code Elimination regression (trunk vs 11.2.0) at -O3

2021-10-01 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546 --- Comment #6 from Aldy Hernandez --- (In reply to Richard Biener from comment #4) > I think it's similar to in the other PR, with old EVRP when visiting BB 8 BTW, which is this other PR, so I may see if my work for this PR fixes that one?

[Bug tree-optimization/102546] [12 Regregression] Missed Dead Code Elimination regression (trunk vs 11.2.0) at -O3

2021-10-01 Thread aldyh at gcc dot gnu.org via Gcc-bugs
|UNCONFIRMED |NEW Ever confirmed|0 |1 Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org --- Comment #5 from Aldy Hernandez --- (In reply to Richard Biener from comment #4) > (In reply to Aldy Hernandez from comment #2) >

[Bug tree-optimization/102546] Missed Dead Code Elimination regression (trunk vs 11.2.0) at -O3

2021-09-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546 --- Comment #3 from Aldy Hernandez --- > What I fail to see is how "a" got removed entirely from the IL, making this > scenario possible: > > if (!(a >= d || f)) > foo(); What I meant to say is that I don't understand how "a" got

[Bug tree-optimization/102540] [12 Regression] Dead Code Elimination Regression at -O3 since r12-476-gd846f225c25c5885

2021-09-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102540 --- Comment #3 from Aldy Hernandez --- To elide the foo(), _2 must be non-zero on the 2->3 edge dominating the call. Interestingly, a.0_1 is non-zero on the 2->3 edge, and we have: _2 = (unsigned int) a.0_1 but somehow we have no knowledge of

[Bug tree-optimization/102546] Missed Dead Code Elimination regression (trunk vs 11.2.0) at -O3

2021-09-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546 Aldy Hernandez changed: What|Removed |Added CC||aldyh at gcc dot gnu.org

[Bug tree-optimization/102542] [12 Regression] ICE Segmentation fault since r12-3876-g4a960d548b7d7d94

2021-09-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102542 Aldy Hernandez changed: What|Removed |Added CC||rguenth at gcc dot gnu.org --- Comment

[Bug bootstrap/102527] [12 regression] out of memory compiling insn-emit.c

2021-09-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102527 Aldy Hernandez changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #23 from Aldy Hernandez --- I have built a cross to ppcle on gcc135 (ppc64le) and then bisected the lowest amount of memory ./cc1 -O2 can compile rlwimi-1.c (via ulimit -v). Before the VRP threader replacement it could run with 271m

[Bug bootstrap/102527] [12 regression] out of memory compiling insn-emit.c

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102527 --- Comment #12 from Aldy Hernandez --- (In reply to Aldy Hernandez from comment #11) > This looks mighty suspicious ;-) > > diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c > index 69a3ab0ea9d..c24c67f8874 100644 > --- a/gcc/tree-vrp.c > +++ b/gcc

[Bug testsuite/102501] [12 regression] several test case failures after r12-3876

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102501 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #13 from Aldy Hernandez --- Created attachment 51520 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51520&action=edit avoid CFG and SSA updates when possible The VRP threader is updating SSAs and CFG even if nothing changes.

[Bug bootstrap/102527] [12 regression] out of memory compiling insn-emit.c

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102527 --- Comment #6 from Aldy Hernandez --- The attached patch adds a separate TV_* timer to see the actual break down for VRP and the VRP threader. Could you incorporate this patch and run the problematic file with ./cc1 -ftime-report -O2? I'd lik

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #10 from Aldy Hernandez --- The attached patch adds a separate TV_* timer to see the actual break down for VRP and the VRP threader. Could you incorporate this patch and run the problematic file with ./cc1 -ftime-report -O2? I'd li

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #9 from Aldy Hernandez --- Created attachment 51519 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51519&action=edit patch to help diagnose issue with -ftime-report

[Bug bootstrap/102527] [12 regression] out of memory compiling insn-emit.c

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102527 --- Comment #5 from Aldy Hernandez --- Created attachment 51518 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51518&action=edit patch to help diagnose issue with -ftime-report

[Bug bootstrap/102527] [12 regression] out of memory compiling insn-emit.c

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102527 --- Comment #4 from Aldy Hernandez --- (In reply to r...@cebitec.uni-bielefeld.de from comment #3) > > --- Comment #2 from Aldy Hernandez --- > > (In reply to David Edelsohn from comment #1) > >> Confirmed. > > > > I don't have access to an i38

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #8 from Aldy Hernandez --- (In reply to David Edelsohn from comment #7) > Have you tried a native PPC64LE Linux build? > > AIX defaults to 32 bit, and it's big endian. I wouldn't expect that to > affect the memory usage, but I'm men

[Bug bootstrap/102527] [12 regression] out of memory compiling insn-emit.c

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102527 --- Comment #2 from Aldy Hernandez --- (In reply to David Edelsohn from comment #1) > Confirmed. I don't have access to an i386-solaris box. David, how were you able to reproduce?

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #6 from Aldy Hernandez --- (In reply to Andrew Pinski from comment #5) > (In reply to Aldy Hernandez from comment #4) > > Is there any way of reproducing this on a cross? I've been waiting 15 > > minutes for a "git fetch" on gcc111.

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 --- Comment #4 from Aldy Hernandez --- Is there any way of reproducing this on a cross? I've been waiting 15 minutes for a "git fetch" on gcc111.fsffrance.org or gcc119.fsffrance.org. I'll continue trying in the background just in case. FWIW,

[Bug middle-end/102519] [12 Regression] VRP Jump threader memory explosion

2021-09-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102519 Aldy Hernandez changed: What|Removed |Added CC||amacleod at redhat dot com --- Comment

[Bug testsuite/102501] [12 regression] several test case failures after r12-3876

2021-09-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102501 --- Comment #2 from Aldy Hernandez --- Does this fix the problem on your end? https://gcc.gnu.org/pipermail/gcc-patches/2021-September/580411.html

[Bug testsuite/102501] [12 regression] several test case failures after r12-3876

2021-09-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
||2021-09-28 Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Aldy Hernandez --- Confirmed. Mine.

[Bug tree-optimization/102511] [12 Regression] GCC produces incorrect code for -O3: first element of the array is skipped after r12-3903

2021-09-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102511 --- Comment #10 from Aldy Hernandez --- (In reply to Andrew Pinski from comment #7) > (In reply to Aldy Hernandez from comment #6) > > Describing the process to get here makes it abundantly clear that we need to > > improve the process of debugg

[Bug tree-optimization/102511] [12 Regression] GCC produces incorrect code for -O3: first element of the array is skipped after r12-3903

2021-09-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102511 Aldy Hernandez changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug tree-optimization/102511] [12 Regression] GCC produces incorrect code for -O3: first element of the array is skipped after r12-3903

2021-09-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
gcc dot gnu.org |aldyh at gcc dot gnu.org --- Comment #6 from Aldy Hernandez --- [Bumping this up to a P1.] The problem here is that we're incorrectly threading a path in the vrp-thread2 pass. As there is only one registered thread in the dump file (-fdump-tree-vrp-thread2-details),

[Bug tree-optimization/102463] [12 Regression] ice in fold_using_range::relation_fold_and_or

2021-09-23 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102463 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0

[Bug tree-optimization/102463] [12 Regression] ice in fold_using_range::relation_fold_and_or

2021-09-23 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102463 --- Comment #3 from Aldy Hernandez --- Could you provide a preprocessed source?

[Bug tree-optimization/100984] gimple-ssa-evrp.c: mismatched new and delete

2021-09-13 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100984 --- Comment #2 from Aldy Hernandez --- Fixed in trunk. Is this still an issue on a branch?

[Bug tree-optimization/101938] [12 Regression] Wrong code with -fwrapv since r12-2591-g2e96b5f14e402569

2021-08-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101938 --- Comment #8 from Aldy Hernandez --- (In reply to Martin Liška from comment #7) > > Thank you for reporting and distilling this Martin. > > You're welcome, it was pretty fun isolating that! > Thanks for the hot fix. That was all Andrew! I j

[Bug tree-optimization/101938] [12 Regression] Wrong code with -fwrapv since r12-2591-g2e96b5f14e402569

2021-08-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101938 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/101938] [12 Regression] Wrong code with -fwrapv since r12-2591-g2e96b5f14e402569

2021-08-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101938 --- Comment #4 from Aldy Hernandez --- This is actually an oversight in the range-ops code. In flag_wrapv -TYPE_MIN_VALUE = TYPE_MIN_VALUE which is special cased in the ABS folding routine, but not in operator_abs::op1_range(). Thank you for r

[Bug tree-optimization/101938] [12 Regression] Wrong code with -fwrapv since r12-2591-g2e96b5f14e402569

2021-08-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101938 Aldy Hernandez changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org

[Bug tree-optimization/101763] Comments in tree-vrp.c are way out of date

2021-08-04 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101763 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/101763] Comments in tree-vrp.c are way out of date

2021-08-04 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101763 --- Comment #3 from Aldy Hernandez --- evrp is on the chopping block for this release, and if everything goes according to plan, so will VRP. If VRP survives this release, we can go back and fix things like this. However, if you feel inclined,

[Bug tree-optimization/101746] [12 regression] gcc.dg/tree-prof/20050826-2.c and gcc.dg/uninit-pred-9_b.c fail since r12-2591

2021-08-03 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101746 --- Comment #3 from Aldy Hernandez --- (In reply to Christophe Lyon from comment #1) > In addition on arm: > > > FAIL: g++.dg/warn/Wstringop-overflow-4.C -std=gnu++98 (test for excess > errors) > Excess errors: > /gcc/testsuite/g++.dg/warn/Ws

[Bug middle-end/101690] failure to shrink wrap simple loop with more aggressive jump threading

2021-08-03 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101690 --- Comment #1 from Aldy Hernandez --- See discussion upstream on this subject: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/576390.html

[Bug tree-optimization/101746] [12 regression] gcc.dg/tree-prof/20050826-2.c and gcc.dg/uninit-pred-9_b.c fail since r12-2591

2021-08-03 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101746 Aldy Hernandez changed: What|Removed |Added CC||aldyh at gcc dot gnu.org --- Comment

[Bug tree-optimization/101724] [12 Regression] Compile time hog w/ --param threader-mode=ranger

2021-08-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101724 Aldy Hernandez changed: What|Removed |Added Resolution|--- |INVALID Status|UNCONFIRMED

[Bug tree-optimization/101724] [12 Regression] Compile time hog w/ --param threader-mode=ranger

2021-08-02 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101724 --- Comment #1 from Aldy Hernandez --- --param threader-iterative is an internal testing construct and not meant for public consumption. I will submit a patch removing it to avoid further confusion.

[Bug middle-end/101688] g++.dg/warn/Wstringop-overflow-4.C fails on 32-bit archs with new jump threader

2021-07-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101688 Aldy Hernandez changed: What|Removed |Added CC||seurer at gcc dot gnu.org --- Comment

[Bug other/101694] [12 regression] g++.dg/warn/Wstringop-overflow-4.C fails after r12-2591 for 32 bits

2021-07-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101694 Aldy Hernandez changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIRM

[Bug middle-end/101690] New: failure to shrink wrap simple loop with more aggressive jump threading

2021-07-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: aldyh at gcc dot gnu.org CC: jeffreyalaw at gmail dot com Target Milestone: --- gcc.dg/shrink-wrap-loop.c is failing after the jump threader rewrite. The

[Bug middle-end/101688] New: g++.dg/warn/Wstringop-overflow-4.C fails on x86-32 with new jump threader

2021-07-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: aldyh at gcc dot gnu.org CC: msebor at gcc dot gnu.org Target Milestone: --- Created attachment 51223 --> https://gcc.gnu.org/bugzilla/attachment.

[Bug middle-end/101674] gcc.dg/uninit-pred-9_b.c fails after jump threading rewrite

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674 --- Comment #2 from Aldy Hernandez --- (In reply to Martin Sebor from comment #1) > I can confirm the test fails (despite the xfail): > > FAIL: gcc.dg/uninit-pred-9_b.c bogus warning (test for bogus messages, line > 25) > > The xfail target sh

[Bug middle-end/81596] backwards threader misses simple copy within the same BB

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81596 Aldy Hernandez changed: What|Removed |Added Resolution|--- |WONTFIX Status|UNCONFIRMED

[Bug tree-optimization/101667] GNAT bug detected in op1_range in range-op.cc during GIMPLE pass evrp

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101667 --- Comment #3 from Aldy Hernandez --- Works on 11.2.1 as well: tor:~/tmp/tree-vrp-test$ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/opt/notnfs/aldyh/bld/threader/ada/install/bin/../libexec/gcc/x86_64-pc-linux-gnu/11.2.1/l

[Bug tree-optimization/101667] GNAT bug detected in op1_range in range-op.cc during GIMPLE pass evrp

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101667 --- Comment #2 from Aldy Hernandez --- I was able to reproduce on my Fedora 11.1.1 system compiler, but it seems to work on trunk: $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/opt/notnfs/aldyh/bld/threader/ada/install/bin

[Bug middle-end/101675] New: analyzer/pr94851-2.c marked XFAIL because it fails with new jump threader

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: aldyh at gcc dot gnu.org CC: dmalcolm at gcc dot gnu.org Target Milestone: --- By *.033t.forwprop1, we have the following: : # p_9 = PHI

[Bug middle-end/101674] New: gcc.dg/uninit-pred-9_b.c fails after jump threading rewrite

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: aldyh at gcc dot gnu.org Target Milestone: --- The ranger-based jump threader (commit 2e96b5f14e4025691b57d2301d71aa6092ed44bc) shuffles things around in such a way as to confuse the

[Bug middle-end/101673] New: shorter unprofitable jump thread path inhibits threading of larger path

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: aldyh at gcc dot gnu.org Target Milestone: --- This is tree-ssa/ranger-threader-5.c which is now failing after the rewrite of the backwards threader with a ranger based

[Bug middle-end/101671] New: pr83510 fails because threader confuses -Warray-bounds

2021-07-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: aldyh at gcc dot gnu.org Target Milestone: --- After my rewrite of the backwards threader with the ranger (commit 2e96b5f14e4025691b57d2301d71aa6092ed44bc), gcc.c-torture/compile/pr83510.c is failing. Here&#

[Bug tree-optimization/101223] [11/12 Regression] evrp produces wrong code since r11-3685-gfcae5121154d1c33

2021-06-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101223 --- Comment #6 from Aldy Hernandez --- (In reply to Jakub Jelinek from comment #5) > d is not an automatic variable, so is zero initialized. Whoops. Sorry for the noise.

[Bug tree-optimization/101223] [11/12 Regression] evrp produces wrong code since r11-3685-gfcae5121154d1c33

2021-06-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101223 --- Comment #4 from Aldy Hernandez --- d is used before being defined. Isn't this entire test bogus?

[Bug tree-optimization/101186] predictable comparison of integer variables not folded

2021-06-27 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101186 --- Comment #5 from Aldy Hernandez --- Sorry for the slightly different IL. I had altered g() to avoid depending on stdio.h: void g (int a, int b, int x, int y) { int c = y; if (a != 0) c = x; while (b < 1000) // without this loop,

[Bug tree-optimization/101186] predictable comparison of integer variables not folded

2021-06-27 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101186 Aldy Hernandez changed: What|Removed |Added CC||aldyh at gcc dot gnu.org

[Bug tree-optimization/101014] [12 Regression] Big compile time hog with -O3 since r12-1268-g9858cd1a6827ee7a

2021-06-21 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101014 --- Comment #12 from Aldy Hernandez --- (In reply to Hongtao.liu from comment #11) > I'm not sure if it's related but compilation of 527.cam4_r still hangs with > > gcc version 12.0.0 20210621 (experimental) (GCC) Can you verify after which p

[Bug tree-optimization/100790] ICE with -O2: in verify_range, at value-range.cc:385

2021-06-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100790 Aldy Hernandez changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug tree-optimization/100790] ICE with -O2: in verify_range, at value-range.cc:385

2021-06-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100790 --- Comment #4 from Aldy Hernandez --- fixed in trunk.

[Bug tree-optimization/100984] gimple-ssa-evrp.c: mismatched new and delete

2021-06-10 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100984 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0

[Bug tree-optimization/100787] [12 Regression] Bootstrap failure caused by r12-1077

2021-06-01 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100787 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/100787] [12 Regression] Bootstrap failure caused by r12-1077

2021-05-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100787 --- Comment #11 from Aldy Hernandez --- Note, this is still broken so I am leaving the PR open. I will address this next week.

[Bug tree-optimization/100787] [12 Regression] Bootstrap failure caused by r12-1077

2021-05-28 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100787 --- Comment #9 from Aldy Hernandez --- This temporary fix resolves the bootstrap comparison on i686. Does it also fix it on sparc-32? diff --git a/gcc/gimple-ssa-evrp.c b/gcc/gimple-ssa-evrp.c index 118d10365a0..b40649b6a10 100644 --- a/gcc/gi

[Bug c/100790] ICE with -O2: in verify_range, at value-range.cc:385

2021-05-27 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100790 --- Comment #2 from Aldy Hernandez --- There's a patch pending review that fixes this: https://gcc.gnu.org/pipermail/gcc-patches/2021-May/570289.html

[Bug tree-optimization/100787] [12 Regression] Bootstrap failure caused by r12-1077

2021-05-27 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100787 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/100787] [12 Regression] Bootstrap failure caused by r12-1077

2021-05-26 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100787 Aldy Hernandez changed: What|Removed |Added CC||aldyh at gcc dot gnu.org --- Comment

[Bug tree-optimization/100781] [12 Regression] Emitted binary code changes when -g is enabled at -O2

2021-05-26 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100781 Aldy Hernandez changed: What|Removed |Added CC||aldyh at gcc dot gnu.org

[Bug tree-optimization/100499] Different results with -fpeel-loops -ftree-loop-vectorize options

2021-05-26 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100499 --- Comment #24 from Aldy Hernandez --- (In reply to Aldy Hernandez from comment #23) > The above yields overflow for the 16-bit expression in question: > > (gdb) p debug(top) > g_2823_lsm.5_6 * 7854 + 57682 > > (gdb) p may_overflow_p (top) >

[Bug tree-optimization/100499] Different results with -fpeel-loops -ftree-loop-vectorize options

2021-05-26 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100499 --- Comment #23 from Aldy Hernandez --- I have an upcoming patchset that implements a range evaluator for tree expressions (similar to determine_value_range), as well as a gimple_ranger that evaluates expressions in a higher precision. This com

[Bug tree-optimization/100512] [12 Regression] ICE during GIMPLE pass: cddce in mark_operand_necessary, at tree-ssa-dce.c:173 (under -O2 to -Os) since r12-623-g1416a1434c43de0b

2021-05-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100512 Aldy Hernandez changed: What|Removed |Added CC||zhendong.su at inf dot ethz.ch --- Com

[Bug tree-optimization/100636] ICE at -Os and above: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in useless_type_conversion_p, at gimple-expr.c:88

2021-05-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100636 Aldy Hernandez changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIRM

[Bug tree-optimization/100494] [11/12 Regression] Unterminated recursion in gimple-range.cc (x86_64-w64-mingw32)

2021-05-14 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100494 --- Comment #2 from Aldy Hernandez --- I cannot reproduce on a cross configured with: ~/src/gcc/configure --target=x86_64-w64-mingw32 --enable-languages=c --disable-bootstrap I tried: ./cc1 sha1.i -quiet -mtune=generic -march=x86-64 -g -O2 -W

[Bug tree-optimization/100349] [11/12 Regression] ICE Segmentation fault during GIMPLE pass: evrp (under -O2 to -Os)

2021-05-14 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100349 --- Comment #4 from Aldy Hernandez --- Yes, it's a duplicate. There's a patch awaiting review here: https://gcc.gnu.org/pipermail/gcc-patches/2021-May/570301.html

[Bug tree-optimization/100512] [12 Regression] ICE during GIMPLE pass: cddce in mark_operand_necessary, at tree-ssa-dce.c:173 (under -O2 to -Os) since r12-623-g1416a1434c43de0b

2021-05-13 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100512 --- Comment #5 from Aldy Hernandez --- *** Bug 100578 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/100578] [12 Regression] ICE Segmentation fault during GIMPLE pass: fre (under -g -O2/O3/Os)

2021-05-13 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100578 Aldy Hernandez changed: What|Removed |Added Resolution|--- |DUPLICATE Status|NEW

[Bug c/100521] [12 Regression] ICE at -O2 and above: in verify_range, at value-range.cc:384 since r12-127-g694c956b6b877e48

2021-05-12 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100521 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/100512] [12 Regression] ICE during GIMPLE pass: cddce in mark_operand_necessary, at tree-ssa-dce.c:173 (under -O2 to -Os) since r12-623-g1416a1434c43de0b

2021-05-11 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100512 --- Comment #4 from Aldy Hernandez --- After the mentioned commit, e_27(D) is considered undefined, and since _3 is [0,0], e_26 folds to [0,0] and the PHI is marked for removal: # e_26 = PHI However, when propagating to the uses of e_26 (repl

[Bug tree-optimization/100349] [11/12 Regression] ICE Segmentation fault during GIMPLE pass: evrp (under -O2 to -Os)

2021-04-30 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100349 --- Comment #2 from Aldy Hernandez --- evolution_part_in_loop_num() is returning NULL when evrp asks about the PHI result here: (gdb) p debug(stmt) c.1_4 = PHI Is this expected? If it is, we could easily return false if step is null and ever

[Bug tree-optimization/100081] [11 Regression] Compile time hog in irange since r11-4135-ge864d395b4e862ce

2021-04-16 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100081 --- Comment #6 from Aldy Hernandez --- BTW, we're looking as to why there are so many calls to varying_p. Something seems off.

[Bug tree-optimization/100081] [11 Regression] Compile time hog in irange since r11-4135-ge864d395b4e862ce

2021-04-16 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100081 --- Comment #5 from Aldy Hernandez --- (In reply to Richard Biener from comment #4) > Or > > bool > irange::symbolic_p () const > { > return (!varying_p () > && !undefined_p () > && (!is_gimple_min_invariant (min ()) >

[Bug tree-optimization/99296] [11 Regression] ICE:in irange_set_anti_range, at value-range.cc:205 with "-Os -fno-toplevel-reorder -fno-tree-bit-ccp" since r11-5105-ga5f9c27bfc441722

2021-03-22 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99296 Aldy Hernandez changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug tree-optimization/99296] [11 Regression] ICE:in irange_set_anti_range, at value-range.cc:205 with "-Os -fno-toplevel-reorder -fno-tree-bit-ccp" since r11-5105-ga5f9c27bfc441722

2021-03-18 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99296 --- Comment #5 from Aldy Hernandez --- Created attachment 50420 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50420&action=edit proposed patch As Jakub has mentioned, this is a problem with signed 1-bit precision. Legacy anti-ranges has

[Bug tree-optimization/99296] [11 Regression] ICE:in irange_set_anti_range, at value-range.cc:205 with "-Os -fno-toplevel-reorder -fno-tree-bit-ccp" since r11-5105-ga5f9c27bfc441722

2021-03-16 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99296 Aldy Hernandez changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org

[Bug tree-optimization/97767] [11 Regression] ICE in extract_range_basic, at vr-values.c:1445 since r11-4532-g054d7b9f6f6816a8

2020-11-10 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97767 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/97721] [11 Regression] ICE in verify_range, at value-range.cc:361

2020-11-05 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97721 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/97721] [11 Regression] ICE in verify_range, at value-range.cc:361

2020-11-05 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97721 --- Comment #8 from Aldy Hernandez --- (In reply to Jakub Jelinek from comment #7) > But TREE_OVERFLOW is meaningful during evaluation, e.g. inside of VRP or > when folding some expression. It just doesn't belong into the GIMPLE IL. > So I'd say

[Bug tree-optimization/97721] [11 Regression] ICE in verify_range, at value-range.cc:361

2020-11-05 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97721 --- Comment #6 from Aldy Hernandez --- (In reply to Richard Biener from comment #5) > (In reply to Aldy Hernandez from comment #2) > Yes, the IL is "correct", just inefficent and possibly confusing to passes. > > The OVF flag on INTEGER_CST hav

[Bug tree-optimization/97721] [11 Regression] ICE in verify_range, at value-range.cc:361

2020-11-05 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97721 Aldy Hernandez changed: What|Removed |Added CC||rguenth at gcc dot gnu.org --- Comment

[Bug tree-optimization/97505] [11 Regression] ICE in extract_range_basic, at vr-values.c:1439 since r11-4130-g16e4f1ad44e3c00b8b73c9e4ade3d236ea7044a8

2020-10-29 Thread aldyh at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97505 Aldy Hernandez changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

<    2   3   4   5   6   7   8   9   10   11   >