public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
@ 2013-08-28  9:18 ` rguenth at gcc dot gnu.org
  2013-10-30 12:28 ` rguenth at gcc dot gnu.org
                   ` (8 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-08-28  9:18 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
  2013-08-28  9:18 ` [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags rguenth at gcc dot gnu.org
@ 2013-10-30 12:28 ` rguenth at gcc dot gnu.org
  2013-12-17 12:55 ` jakub at gcc dot gnu.org
                   ` (7 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-10-30 12:28 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-10-30
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
BLOCK_FOR_INSN is NULL for FENCE_INSN

#1  0x0000000000b6dadb in remove_insns_that_need_bookkeeping (fence=0x1e86ae8, 
    av_ptr=0x7fffffffd900)
    at /space/rguenther/src/svn/trunk/gcc/sel-sched.c:4906
4906                                      BLOCK_FOR_INSN (FENCE_INSN
(fence)))))
(gdb) l
4901              && (!bookkeeping_p || VINSN_UNIQUE_P (EXPR_VINSN (expr)))
4902              && (EXPR_SPEC (expr)
4903                  || !EXPR_ORIG_BB_INDEX (expr)
4904                  || !dominated_by_p (CDI_DOMINATORS,
4905                                      BASIC_BLOCK (EXPR_ORIG_BB_INDEX
(expr)),
4906                                      BLOCK_FOR_INSN (FENCE_INSN
(fence)))))

(gdb) call debug_rtx (fence->insn)
(insn/v 81 0 0 (set (reg:DI 0 ax [165])
        (mem/c:DI (plus:DI (reg/f:DI 38 r9 [118])
                (const_int 32 [0x20])) [0 MEM[(void *)&srcb]+32 S8 A128]))
t.c:15 85 {*movdi_internal}
     (expr_list:REG_EQUIV (mem/c:DI (plus:DI (reg/f:DI 37 r8 [117])
                (const_int 32 [0x20])) [0 MEM[(void *)&dstb]+32 S8 A128])
        (nil)))


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
  2013-08-28  9:18 ` [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags rguenth at gcc dot gnu.org
  2013-10-30 12:28 ` rguenth at gcc dot gnu.org
@ 2013-12-17 12:55 ` jakub at gcc dot gnu.org
  2013-12-23  6:41 ` abel at gcc dot gnu.org
                   ` (6 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-12-17 12:55 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |abel at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org,
                   |                            |vmakarov at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r198695, but guess it just uncovered a latent issue in the
selective scheduler.

The reason why FENCE_INSN doesn't have BLOCK_FOR_INSN is that it has been
earlier removed:
#0  delete_insn (insn=0x7ffff19e8750) at ../../gcc/cfgrtl.c:175
#1  0x0000000000a276e1 in sel_remove_insn (insn=0x7ffff19e8750,
only_disconnect=false, full_tidying=false) at ../../gcc/sel-sched-ir.c:3938
#2  0x0000000000a3e035 in remove_insn_from_stream (insn=0x7ffff19e8750,
only_disconnect=false) at ../../gcc/sel-sched.c:6042
#3  0x0000000000a3e0ea in move_op_orig_expr_found (insn=0x7ffff19e8750,
expr=0x19b6848, lparams=0x7fffffffdc60, static_params=0x7fffffffdc30)
    at ../../gcc/sel-sched.c:6065
#4  0x0000000000a3ecdb in code_motion_path_driver (insn=0x7ffff19e8750,
orig_ops=0x19b6840, path=0x19b7f38, local_params_in=0x7fffffffdc60, 
    static_params=0x7fffffffdc30) at ../../gcc/sel-sched.c:6603
#5  0x0000000000a3f000 in move_op (insn=0x7ffff19e8750, orig_ops=0x19b5058,
expr_vliw=0x19b7e50, dest=0x7ffff19fc9e0, c_expr=0x7fffffffdd40, 
    should_move=0x7fffffffdd1a) at ../../gcc/sel-sched.c:6758
#6  0x0000000000a3c651 in move_exprs_to_boundary (bnd=0x19b8af8,
expr_vliw=0x19b7e50, expr_seq=0x19b5058, c_expr=0x7fffffffdd40)
    at ../../gcc/sel-sched.c:5292
#7  0x0000000000a3d122 in schedule_expr_on_boundary (bnd=0x19b8af8,
expr_vliw=0x19b7e50, seqno=-1) at ../../gcc/sel-sched.c:5504
#8  0x0000000000a3d55c in fill_insns (fence=0x19b7748, seqno=-1,
scheduled_insns_tailpp=0x7fffffffdf20) at ../../gcc/sel-sched.c:5646
#9  0x0000000000a406ae in schedule_on_fences (fences=0x19b7740, max_seqno=30,
scheduled_insns_tailpp=0x7fffffffdf20) at ../../gcc/sel-sched.c:7410
#10 0x0000000000a40b16 in sel_sched_region_2 (orig_max_seqno=85) at
../../gcc/sel-sched.c:7544
#11 0x0000000000a40c83 in sel_sched_region_1 () at ../../gcc/sel-sched.c:7583
#12 0x0000000000a410cf in sel_sched_region (rgn=0) at
../../gcc/sel-sched.c:7684
#13 0x0000000000a411e9 in run_selective_scheduling () at
../../gcc/sel-sched.c:7760

and within the same fill_insns call (so the same fence) in the next cycle we
ICE.


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (2 preceding siblings ...)
  2013-12-17 12:55 ` jakub at gcc dot gnu.org
@ 2013-12-23  6:41 ` abel at gcc dot gnu.org
  2013-12-23  6:43 ` abel at gcc dot gnu.org
                   ` (5 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: abel at gcc dot gnu.org @ 2013-12-23  6:41 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

--- Comment #4 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
Author: abel
Date: Mon Dec 23 06:41:22 2013
New Revision: 206173

URL: http://gcc.gnu.org/viewcvs?rev=206173&root=gcc&view=rev
Log:
        PR rtl-optimization/57422
        * sel-sched.c (mark_unavailable_hard_regs): Fix typo when calling
        add_to_hard_reg_set.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sel-sched.c


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (3 preceding siblings ...)
  2013-12-23  6:41 ` abel at gcc dot gnu.org
@ 2013-12-23  6:43 ` abel at gcc dot gnu.org
  2013-12-23  6:55 ` abel at gcc dot gnu.org
                   ` (4 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: abel at gcc dot gnu.org @ 2013-12-23  6:43 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

--- Comment #5 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
Author: abel
Date: Mon Dec 23 06:43:49 2013
New Revision: 206174

URL: http://gcc.gnu.org/viewcvs?rev=206174&root=gcc&view=rev
Log:
        PR rtl-optimization/57422
        * sel-sched.c (fill_vec_av_set): Assert that the fence insn
        can always be scheduled in its current form.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sel-sched.c


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (4 preceding siblings ...)
  2013-12-23  6:43 ` abel at gcc dot gnu.org
@ 2013-12-23  6:55 ` abel at gcc dot gnu.org
  2013-12-23 12:18 ` hjl.tools at gmail dot com
                   ` (3 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: abel at gcc dot gnu.org @ 2013-12-23  6:55 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

Andrey Belevantsev <abel at gcc dot gnu.org> changed:

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

--- Comment #6 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
Fixed on trunk with rev. 206173, extra asserts added in rev. 206174.  The
206173 hunk will also be put in 4.8.


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (5 preceding siblings ...)
  2013-12-23  6:55 ` abel at gcc dot gnu.org
@ 2013-12-23 12:18 ` hjl.tools at gmail dot com
  2013-12-23 12:22 ` abel at gcc dot gnu.org
                   ` (2 subsequent siblings)
  9 siblings, 0 replies; 10+ messages in thread
From: hjl.tools at gmail dot com @ 2013-12-23 12:18 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

H.J. Lu <hjl.tools at gmail dot com> changed:

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

--- Comment #7 from H.J. Lu <hjl.tools at gmail dot com> ---
Please add the testcase.


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (6 preceding siblings ...)
  2013-12-23 12:18 ` hjl.tools at gmail dot com
@ 2013-12-23 12:22 ` abel at gcc dot gnu.org
  2014-01-21 10:22 ` abel at gcc dot gnu.org
  2014-01-21 12:32 ` abel at gcc dot gnu.org
  9 siblings, 0 replies; 10+ messages in thread
From: abel at gcc dot gnu.org @ 2013-12-23 12:22 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

Andrey Belevantsev <abel at gcc dot gnu.org> changed:

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

--- Comment #8 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
See the thread in gcc-patches: the test does not make sense as it is very
sensitive on the scheduler decisions -- even now I had to use the exact
reported revision to get the failure.  I have added extra asserts in the
separate commit instead.


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (7 preceding siblings ...)
  2013-12-23 12:22 ` abel at gcc dot gnu.org
@ 2014-01-21 10:22 ` abel at gcc dot gnu.org
  2014-01-21 12:32 ` abel at gcc dot gnu.org
  9 siblings, 0 replies; 10+ messages in thread
From: abel at gcc dot gnu.org @ 2014-01-21 10:22 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

--- Comment #9 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
Author: abel
Date: Tue Jan 21 10:22:07 2014
New Revision: 206876

URL: http://gcc.gnu.org/viewcvs?rev=206876&root=gcc&view=rev
Log:
        Backport from mainline
        2013-12-23  Andrey Belevantsev  <abel@ispras.ru>

        PR rtl-optimization/57422
        * sel-sched.c (mark_unavailable_hard_regs): Fix typo when calling
        add_to_hard_reg_set.


Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/sel-sched.c


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags
       [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
                   ` (8 preceding siblings ...)
  2014-01-21 10:22 ` abel at gcc dot gnu.org
@ 2014-01-21 12:32 ` abel at gcc dot gnu.org
  9 siblings, 0 replies; 10+ messages in thread
From: abel at gcc dot gnu.org @ 2014-01-21 12:32 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57422

--- Comment #10 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
Author: abel
Date: Tue Jan 21 12:31:35 2014
New Revision: 206880

URL: http://gcc.gnu.org/viewcvs?rev=206880&root=gcc&view=rev
Log:
        Backport from mainline

        2013-12-23  Andrey Belevantsev  <abel@ispras.ru>

        PR rtl-optimization/57422
        * sel-sched.c (mark_unavailable_hard_regs): Fix typo when calling
        add_to_hard_reg_set.



Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/sel-sched.c


^ permalink raw reply	[flat|nested] 10+ messages in thread
end of thread, other threads:[~2014-01-21 12:32 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-57422-4@http.gcc.gnu.org/bugzilla/>
2013-08-28  9:18 ` [Bug rtl-optimization/57422] [4.9 Regression] ICE: SIGSEGV in dominated_by_p with custom flags rguenth at gcc dot gnu.org
2013-10-30 12:28 ` rguenth at gcc dot gnu.org
2013-12-17 12:55 ` jakub at gcc dot gnu.org
2013-12-23  6:41 ` abel at gcc dot gnu.org
2013-12-23  6:43 ` abel at gcc dot gnu.org
2013-12-23  6:55 ` abel at gcc dot gnu.org
2013-12-23 12:18 ` hjl.tools at gmail dot com
2013-12-23 12:22 ` abel at gcc dot gnu.org
2014-01-21 10:22 ` abel at gcc dot gnu.org
2014-01-21 12:32 ` abel 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).