From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 49E833858D39; Sun, 26 Dec 2021 16:45:08 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 49E833858D39
From: "asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug debug/103837] New: [12 Regression] '-fcompare-debug' failure
 (length) w/ -Og -fmove-loop-invariants -fnon-call-exceptions -fno-tree-dce
Date: Sun, 26 Dec 2021 16:45:08 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: debug
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: asolokha at gmx dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
 cf_gcctarget
Message-ID: <bug-103837-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Sun, 26 Dec 2021 16:45:08 -0000

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

            Bug ID: 103837
           Summary: [12 Regression] '-fcompare-debug' failure (length) w/
                    -Og -fmove-loop-invariants -fnon-call-exceptions
                    -fno-tree-dce
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: x86_64-unknown-linux-gnu

gcc 12.0.0 20211219 snapshot (g:fcbf94a5be9e0c1ecad92da773a6632b86b7f70a) f=
ails
-fcompare-debug check when compiling the following testcase w/ -Og
-fmove-loop-invariants -fnon-call-exceptions -fno-tree-dce:

unsigned long int
foo (int x)
{
  double a;
  int b;
  unsigned long int ret =3D a;

  for (;;)
    {
      b =3D !!((int) a);
      a =3D x;
    }

  return ret;
}

% x86_64-unknown-linux-gnu-gcc-12.0.0 -Og -fcompare-debug
-fmove-loop-invariants -fnon-call-exceptions -fno-tree-dce -c dbvufwcn.c
x86_64-unknown-linux-gnu-gcc-12.0.0: error: dbvufwcn.c: '-fcompare-debug'
failure (length)

--- dbvufwcn.c.gkd      2021-12-26 23:40:50.743359823 +0700
+++ dbvufwcn.gk.c.gkd   2021-12-26 23:40:50.794356341 +0700
@@ -17,16 +17,6 @@
      (expr_list:REG_DEAD (reg/v:DF 20 xmm0 [orig:84 a ] [84])
         (expr_list:REG_UNUSED (reg:CCFP 17 flags)
             (nil))))
-(insn # 0 0 2 (set (reg:V2DF 20 xmm0 [orig:84 a ] [84])
-        (const_vector:V2DF [
-                (const_double:DF 0.0 [0x0.0p+0]) repeated x2
-            ])) "dbvufwcn.c":11:9# {movv2df_internal}
-     (nil))
-(insn # 0 0 2 (set (reg:V2DF 20 xmm0 [orig:84 a ] [84])
-        (vec_merge:V2DF (vec_duplicate:V2DF (float:DF (reg:SI 5 di [94])))
-            (reg:V2DF 20 xmm0 [orig:84 a ] [84])
-            (const_int 1 [0x1]))) "dbvufwcn.c":11:9# {sse2_cvtsi2sd}
-     (nil))
 (code_label # 0 0 3 4 (nil) [1 uses])
 (note # 0 0 [bb 3] NOTE_INSN_BASIC_BLOCK)
 (jump_insn # 0 0 3 (set (pc)=