[Bug rtl-optimization/56605] Redundant branch introduced during loop2 phases

[steven at gcc dot gnu.org]

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



--- Comment #1 from Steven Bosscher <steven at gcc dot gnu.org> 2013-03-12 
19:54:05 UTC ---

Confirmed, compiling with -mcpu=power7 -msvx -O3 -fno-unroll-loops



Comes from here:



Breakpoint 8, doloop_modify (loop=0x3fffb5dc0ee0, desc=0x111d6d00,

doloop_seq=0x3fffb5f35780, condition=0x3fffb5fd1680, count=0x3fffb5fd16e0)

    at ../../trunk/gcc/loop-doloop.c:505

505           for (; ass; ass = XEXP (ass, 1))

(gdb) p debug_rtx(ass)

(expr_list:REG_DEP_TRUE (eq:SI (subreg:SI (reg:DI 153) 4)

        (const_int 0 [0]))

    (expr_list:REG_DEP_TRUE (eq:SI (subreg:SI (reg:DI 153) 4)

            (const_int 0 [0]))

        (nil)))

$51 = void

(gdb) 



These are the noloop_assumptions, and the same assertion appears twice.