[Bug tree-optimization/33648] New: ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[Bug tree-optimization/33648] New: ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[janis at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1521 bytes --]

Most benchmarks in SPEC CPU2000 fail to compile with an ICE when compiled with
"-O2 -fmodulo-sched -freorder-blocks-and-partition" for powerpc* and s390*
targets.  Compiling the following minimized testcase:

unsigned res;
void
foo (unsigned code, int len)
{
  int i;
  for (i = 0; i < len; i++)
      res |= code & 1;
}

gives the output:

bug.c: In function ‘foo’:
bug.c:8: error: fallthru edge crosses section boundary (bb 9)
bug.c:8: error: fallthru edge crosses section boundary (bb 7)
bug.c:8: error: fallthru edge crosses section boundary (bb 13)
bug.c:8: error: fallthru edge crosses section boundary (bb 12)
bug.c:8: error: fallthru edge crosses section boundary (bb 3)
bug.c:8: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

The failure starts with this patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=127293

    r127293 | revitale | 2007-08-08 12:21:37 +0000 (Wed, 08 Aug 2007)


-- 
           Summary: ICE in verify_flow_info for -fmodulo-sched -freorder-
                    blocks-and-partition
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org
GCC target triplet: powerpc64-unknown-linux-gnu


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-10-04 23:19 -------
freorder-blocks-and-partition is useless without profiling info.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |rtl-optimization
           Keywords|                            |ice-on-valid-code
            Summary|ICE in verify_flow_info for |[4.3 Regression] ICE in
                   |-fmodulo-sched -freorder-   |verify_flow_info for -
                   |blocks-and-partition        |fmodulo-sched -freorder-
                   |                            |blocks-and-partition
   Target Milestone|---                         |4.3.0


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[janis at gcc dot gnu dot org]

------- Comment #2 from janis at gcc dot gnu dot org  2007-10-06 00:11 -------
In response to comment #1, the GCC Manual doesn't say anything about
-freorder-blocks-and-partition needing profile feedback although it does say
that for -freorder-functions.


-- 


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2007-10-10 18:10 -------
And, if profiling data is required, then we should issue an error saying that,
not fall over.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2007-11-01 19:39 -------
Testing a fix.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-01 19:39:48
               date|                            |


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2007-11-01 23:27 -------
Subject: Bug 33648

Author: jakub
Date: Thu Nov  1 23:27:23 2007
New Revision: 129837

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129837
Log:
        PR rtl-optimization/33648
        * cfgrtl.c (cfg_layout_split_edge): Initialize BB_PARTITION of
        the newly created basic block.

        * gcc.dg/pr33648.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr33648.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgrtl.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2007-11-01 23:28 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2007-11-05 21:55 -------
Subject: Bug 33648

Author: jakub
Date: Mon Nov  5 21:55:37 2007
New Revision: 129909

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129909
Log:
        PR rtl-optimization/33648
        * gcc.dg/pr33648.c: New test.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/pr33648.c


-- 


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