[Bug middle-end/64966] New: -fcompare-debug failure with -O -fschedule-insns --param=max-sched-ready-insns=0

[Bug middle-end/64966] New: -fcompare-debug failure with -O -fschedule-insns --param=max-sched-ready-insns=0

[zsojka at seznam dot cz]

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

            Bug ID: 64966
           Summary: -fcompare-debug failure with -O -fschedule-insns
                    --param=max-sched-ready-insns=0
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 34692
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34692&action=edit
reduced testcase

Compiler output:
$ gcc -O -fschedule-insns --param=max-sched-ready-insns=0 -fcompare-debug
testcase.c
gcc: error: testcase.c: -fcompare-debug failure


$ diff -u *.gkd
--- testcase.gk.gkd     2015-02-07 12:49:49.000000000 +0100
+++ testcase.gkd        2015-02-07 12:49:48.000000000 +0100
@@ -12,15 +12,15 @@
         (sign_extend:DI (mem/c:SI (plus:DI (reg/f:DI 7 sp)
                     (const_int 8 [0x8])) [ i+0 S4 A64]))) testcase.c:7#
{*extendsidi2_rex64}
      (nil))
+(insn # 0 0 2 (set (reg:DI 4 si [orig:89 D.xxxx ] [89])
+        (mult:DI (reg:DI 39 r10 [orig:112 D.xxxx ] [112])
+            (const_int 4 [0x4]))) testcase.c:7# {*leadi}
+     (nil))
 (insn # 0 0 2 (set (reg:SI 40 r11 [orig:122 *_20 ] [122])
         (mem:SI (plus:DI (mult:DI (reg:DI 39 r10 [orig:112 D.xxxx ] [112])
                     (const_int 4 [0x4]))
                 (reg/v/f:DI 5 di [orig:105 data ] [105])) [ *_20+0 S4 A32]))
testcase.c:9# {*movsi_internal}
      (nil))
-(insn # 0 0 2 (set (reg:DI 4 si [orig:89 D.xxxx ] [89])
-        (mult:DI (reg:DI 39 r10 [orig:112 D.xxxx ] [112])
-            (const_int 4 [0x4]))) testcase.c:7# {*leadi}
-     (nil))
 (insn # 0 0 2 (set (reg:SI 0 ax [orig:114 *_9 ] [114])
         (mem:SI (plus:DI (plus:DI (reg/v/f:DI 5 di [orig:105 data ] [105])
                     (reg:DI 4 si [orig:89 D.xxxx ] [89]))

$ gcc -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-220434-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-220434-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 5.0.0 20150205 (experimental) (GCC) 

Tested revisions:
r220434 - error
4_9 r219040 - OK

[Bug middle-end/64966] [5 Regression] -fcompare-debug failure with -O -fschedule-insns --param=max-sched-ready-insns=0

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-02-07
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |mkuvyrkov at gcc dot gnu.org
   Target Milestone|---                         |5.0
            Summary|-fcompare-debug failure     |[5 Regression]
                   |with -O -fschedule-insns    |-fcompare-debug failure
                   |--param=max-sched-ready-ins |with -O -fschedule-insns
                   |ns=0                        |--param=max-sched-ready-ins
                   |                            |ns=0
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r220316, so very likely a dup of PR64935.  Maxim, can you please
include also this testcase in your patch and post it to gcc-patches?

[Bug middle-end/64966] [5 Regression] -fcompare-debug failure with -O -fschedule-insns --param=max-sched-ready-insns=0

[rguenth at gcc dot gnu.org]

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

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

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

[Bug middle-end/64966] [5 Regression] -fcompare-debug failure with -O -fschedule-insns --param=max-sched-ready-insns=0

[mkuvyrkov at gcc dot gnu.org]

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

--- Comment #2 from Maxim Kuvyrkov <mkuvyrkov at gcc dot gnu.org> ---
I'm traveling at the moment, and will work on this in the week of Jan 16.

[Bug middle-end/64966] [5 Regression] -fcompare-debug failure with -O -fschedule-insns --param=max-sched-ready-insns=0

[law at redhat dot com]

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

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |law at redhat dot com
         Resolution|---                         |DUPLICATE

--- Comment #3 from Jeffrey A. Law <law at redhat dot com> ---
Confirmed that the prototype patch in 64935 fixes this problem.  Will attach
the testcase from this BZ to 64935.

*** This bug has been marked as a duplicate of bug 64935 ***