[Bug rtl-optimization/45454] New: [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[Bug rtl-optimization/45454] New: [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[zsojka at seznam dot cz]

Command line:
$ gcc -O1 -fvar-tracking-assignments -fcse-follow-jumps -frerun-cse-after-loop
-fschedule-insns2 -fselective-scheduling2 -funroll-all-loops testcase.c

Compiler output:
$ gcc -O1 -fvar-tracking-assignments -fcse-follow-jumps -frerun-cse-after-loop
-fschedule-insns2 -fselective-scheduling2 -funroll-all-loops testcase.c
testcase.c:1:0: warning: var-tracking-assignments changes selective scheduling
[enabled by default]
testcase.c: In function 'foo':
testcase.c:7:1: internal compiler error: in verify_target_availability, at
sel-sched.c:1614
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r163636 - crash
r162940 - crash
r161659 - OK


-- 
           Summary: [4.6 Regression] ICE: in verify_target_availability, at
                    sel-sched.c:1614
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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

[Bug rtl-optimization/45454] [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2010-08-30 19:40 -------
Created an attachment (id=21596)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21596&action=view)
reduced testcase

$ gcc -O1 -fvar-tracking-assignments -fcse-follow-jumps -frerun-cse-after-loop
-fschedule-insns2 -fselective-scheduling2 -funroll-all-loops pr45454.c

This ICE happens quite often with similiar flags.


-- 


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

[Bug rtl-optimization/45454] [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0


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

[Bug rtl-optimization/45454] [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2010-09-02 10:48 -------
Why are you using -fvar-tracking-assignments together with selective
scheduling?
It is known not to work (and that's why it isn't enabled with -g).


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aoliva at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/45454] [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[zsojka at seznam dot cz]

------- Comment #3 from zsojka at seznam dot cz  2010-09-02 10:59 -------
I wasn't sure if I should open this bugreport, but the message isn't clear (I
didn't understand "changes selective scheduling" as "causes crashes and/or
wrong code"). I don't know it's broken.
The compiler asked me to do so - "Please submit a full bug report"...


-- 


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

[Bug rtl-optimization/45454] [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[aoliva at gcc dot gnu dot org]

------- Comment #4 from aoliva at gcc dot gnu dot org  2010-09-05 20:44 -------
When I first tried to make sel-sched work with VTA, we didn't create
dependencies of non-debug insns on debug insns.  Now we do.  Other schedulers
know that these deps don't prevent insn movement, just signal the need for
resetting debug insns.  sel-sched doesn't know how to deal with that yet,
that's why it fails more noisily now.  Looking into it, but no promises.


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aoliva at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-09-05 20:44:31
               date|                            |


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

[Bug rtl-optimization/45454] [4.6 Regression] ICE: in verify_target_availability, at sel-sched.c:1614

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-10-26 13:20:29 UTC ---
P2, because var-tracking is disabled by default for sel-sched, you need to
explicitly force it.