public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
@ 2020-09-25  7:52 marxin at gcc dot gnu.org
  2020-09-25  7:52 ` [Bug tree-optimization/97199] " marxin at gcc dot gnu.org
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-09-25  7:52 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 97199
           Summary: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

It's as old as the following param:
--param=unroll-jam-min-percent=0

$ gcc /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/torture/pr92704.c
-fno-tree-ch -fno-tree-dce -Ofast --param=unroll-jam-min-percent=0
during GIMPLE pass: ifcvt
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/torture/pr92704.c: In
function ‘oj.simdclone.0’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/torture/pr92704.c:6:1:
internal compiler error: Segmentation fault
    6 | oj (int rd, int q7)
      | ^~
0x12edcb8 crash_signal
        /home/marxin/Programming/gcc/gcc/toplev.c:329
0x7ffff788652f ???
       
/usr/src/debug/glibc-2.31-6.3.x86_64/signal/../sysdeps/unix/sysv/linux/x86_64/sigaction.c:0
0x15cee16 process_bb
        /home/marxin/Programming/gcc/gcc/tree-ssa-sccvn.c:7250
0x15d0b62 do_rpo_vn
        /home/marxin/Programming/gcc/gcc/tree-ssa-sccvn.c:7681
0x15d11a1 do_rpo_vn(function*, edge_def*, bitmap_head*)
        /home/marxin/Programming/gcc/gcc/tree-ssa-sccvn.c:7778
0x13aeecf tree_if_conversion(loop*, vec<gimple*, va_heap, vl_ptr>*)
        /home/marxin/Programming/gcc/gcc/tree-if-conv.c:3108
0x13af0bb execute
        /home/marxin/Programming/gcc/gcc/tree-if-conv.c:3188
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
@ 2020-09-25  7:52 ` marxin at gcc dot gnu.org
  2020-09-25  9:48 ` rguenth at gcc dot gnu.org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-09-25  7:52 UTC (permalink / raw)
  To: gcc-bugs

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-09-25
             Status|UNCONFIRMED                 |NEW

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
  2020-09-25  7:52 ` [Bug tree-optimization/97199] " marxin at gcc dot gnu.org
@ 2020-09-25  9:48 ` rguenth at gcc dot gnu.org
  2020-09-25  9:48 ` rguenth at gcc dot gnu.org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-09-25  9:48 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |10.2.1, 11.0
            Version|10.0                        |10.2.1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed, I'll have a look.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
  2020-09-25  7:52 ` [Bug tree-optimization/97199] " marxin at gcc dot gnu.org
  2020-09-25  9:48 ` rguenth at gcc dot gnu.org
@ 2020-09-25  9:48 ` rguenth at gcc dot gnu.org
  2020-09-25 10:06 ` rguenth at gcc dot gnu.org
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-09-25  9:48 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2020-09-25  9:48 ` rguenth at gcc dot gnu.org
@ 2020-09-25 10:06 ` rguenth at gcc dot gnu.org
  2020-09-25 11:12 ` cvs-commit at gcc dot gnu.org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-09-25 10:06 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
(gdb) p debug_gimple_stmt (phi)
.MEM_104 = PHI <(4), .MEM_97(41)>

so clearly bogus IL here.  The issue is the virtual operand update in
if-conversion combine_blocks which does

      /* We release virtual PHIs late because we have to propagate them
         out using the current VUSE.  The def might be the one used
         after the loop.  */
      vphi = get_virtual_phi (bb);
      if (vphi)
        {
          /* When there's just loads inside the loop a stray virtual
             PHI merging the uses can appear, update last_vdef from
             it.  */
          if (!last_vdef)
            last_vdef = gimple_phi_arg_def (vphi, 0);

but this doesn't work since we already removed all edges which clears
the PHI arg defs.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
                   ` (3 preceding siblings ...)
  2020-09-25 10:06 ` rguenth at gcc dot gnu.org
@ 2020-09-25 11:12 ` cvs-commit at gcc dot gnu.org
  2020-09-25 11:12 ` rguenth at gcc dot gnu.org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2020-09-25 11:12 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:4dcc7f03b54087638e084ac69d40d7507fe83bd8

commit r11-3456-g4dcc7f03b54087638e084ac69d40d7507fe83bd8
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Sep 25 13:08:48 2020 +0200

    tree-optimization/97199 - fix virtual operand update in if-conversion

    This fixes a corner case with virtual operand update in if-conversion
    by re-organizing the code to remove edges only after the last point
    we need virtual PHI operands to be available.

    2020-09-25  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/97199
            * tree-if-conv.c (combine_blocks): Remove edges only
            after looking at virtual PHI args.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
                   ` (4 preceding siblings ...)
  2020-09-25 11:12 ` cvs-commit at gcc dot gnu.org
@ 2020-09-25 11:12 ` rguenth at gcc dot gnu.org
  2020-09-25 11:42 ` marxin at gcc dot gnu.org
  2020-09-25 12:21 ` rguenth at gcc dot gnu.org
  7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-09-25 11:12 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|11.0                        |
      Known to work|                            |11.0

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk, not sure how important it is to backport.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
                   ` (5 preceding siblings ...)
  2020-09-25 11:12 ` rguenth at gcc dot gnu.org
@ 2020-09-25 11:42 ` marxin at gcc dot gnu.org
  2020-09-25 12:21 ` rguenth at gcc dot gnu.org
  7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-09-25 11:42 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #4)
> Fixed on trunk, not sure how important it is to backport.

I wouldn't backport it. The strange options come from my periodic fuzzing and
it took quite some time to find this issue.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug tree-optimization/97199] ICE in process_bb at gcc/tree-ssa-sccvn.c:7250
  2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
                   ` (6 preceding siblings ...)
  2020-09-25 11:42 ` marxin at gcc dot gnu.org
@ 2020-09-25 12:21 ` rguenth at gcc dot gnu.org
  7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-09-25 12:21 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed then.

^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2020-09-25 12:21 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-25  7:52 [Bug tree-optimization/97199] New: ICE in process_bb at gcc/tree-ssa-sccvn.c:7250 marxin at gcc dot gnu.org
2020-09-25  7:52 ` [Bug tree-optimization/97199] " marxin at gcc dot gnu.org
2020-09-25  9:48 ` rguenth at gcc dot gnu.org
2020-09-25  9:48 ` rguenth at gcc dot gnu.org
2020-09-25 10:06 ` rguenth at gcc dot gnu.org
2020-09-25 11:12 ` cvs-commit at gcc dot gnu.org
2020-09-25 11:12 ` rguenth at gcc dot gnu.org
2020-09-25 11:42 ` marxin at gcc dot gnu.org
2020-09-25 12:21 ` rguenth at gcc dot gnu.org

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).