[Bug rtl-optimization/81301] New: [8 Regression] ICE: verify_flow_info failed (error: non-cold basic block 13 dominated by a block in the cold partition (8)) on 32-bit BE powerpc target

[asolokha at gmx dot com]

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

            Bug ID: 81301
           Summary: [8 Regression] ICE: verify_flow_info failed (error:
                    non-cold basic block 13 dominated by a block in the
                    cold partition (8)) on 32-bit BE powerpc target
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: powerpc-*-linux-gnu

gcc-8.0.0-alpha20170702 snapshot ICEs when compiling the following snippet w/
-O2 -freorder-blocks-and-partition:

long long int k5;
int v2;

void
h5 (int uh)
{
  if (uh != 0)
    {
      uh = 0;
      if (v2 != 0)
        uh = 1;

      ++k5;
      if (uh / k5 != 0)
        {
          uh = k5;
          if (k5 == 0)
            v2 = 0;
        }
      v2 /= uh;
    }

  k5 = 0;
}

% powerpc-e300c3-linux-gnu-gcc-8.0.0-alpha20170702 -O2
-freorder-blocks-and-partition -c fdkcfhj8.c
fdkcfhj8.c: In function 'h5':
fdkcfhj8.c:24:1: error: non-cold basic block 13 dominated by a block in the
cold partition (8)
 }
 ^
during RTL pass: ce3
fdkcfhj8.c:24:1: internal compiler error: verify_flow_info failed
0x767d25 verify_flow_info()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/cfghooks.c:259
0x13dadc4 checking_verify_flow_info
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/cfghooks.h:198
0x13dadc4 if_convert
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/ifcvt.c:5447
0x13dc87c execute
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-8.0.0_alpha20170702/work/gcc-8-20170702/gcc/ifcvt.c:5593