https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108573
Bug ID: 108573
Summary: [13 Regression] '-fcompare-debug' failure (length) at
-O2
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: compare-debug-failure
Severity: normal
Priority: P3
Component: debug
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
CC: aoliva at gcc dot gnu.org
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: riscv64-unknown-linux-gnu
Created attachment 54362
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54362&action=edit
reduced testcase
Compiler output:
$ riscv64-unknown-linux-gnu-gcc -O2 -fcompare-debug testcase.c -save-temps
riscv64-unknown-linux-gnu-gcc: error: testcase.c: '-fcompare-debug' failure
(length)
$ diff -u *gkd
--- a-testcase.c.gkd 2023-01-27 17:30:20.830461811 +0100
+++ a-testcase.gk.c.gkd 2023-01-27 17:30:20.887128166 +0100
@@ -95,12 +95,11 @@
(expr_list:REG_DEAD (reg:DI 15 a5 [170])
(expr_list:REG_DEAD (reg/v:DI 8 s0 [orig:150 s ] [150])
(nil))))
-(insn # 0 0 (set (reg:DI 15 a5)
- (sign_extend:DI (umod:SI (reg:SI 10 a0 [157])
- (reg:SI 14 a4 [orig:162 g ] [162])))) "testcase.c":11:5#
{*umodsi3_extended}
+(insn # 0 0 (set (reg:SI 10 a0 [160])
+ (umod:SI (reg:SI 10 a0 [157])
+ (reg:SI 14 a4 [orig:162 g ] [162]))) "testcase.c":11:5# {umodsi3}
(expr_list:REG_DEAD (reg:SI 14 a4 [orig:162 g ] [162])
- (expr_list:REG_DEAD (reg:SI 10 a0 [157])
- (nil))))
+ (nil)))
(note # 0 0 NOTE_INSN_EPILOGUE_BEG)
(insn/f # 0 0 (set (reg:DI 8 s0)
(mem/c:DI (plus:DI (reg/f:DI 2 sp)
@@ -112,16 +111,19 @@
(const_int 24 [0x18])) [ S8 A64])) "testcase.c":14:1#
{*movdi_64bit}
(expr_list:REG_CFA_RESTORE (reg:DI 1 ra)
(nil)))
+(insn # 0 0 (set (reg:DI 15 a5 [orig:139 _6 ] [139])
+ (sign_extend:DI (reg:SI 10 a0 [160]))) "testcase.c":11:5#
{extendsidi2}
+ (nil))
(insn # 0 0 (set (reg:DI 9 s1 [165])
(ashiftrt:DI (reg/v:DI 9 s1 [orig:151 l ] [151])
(reg:QI 15 a5 [orig:139 _6 ] [139]))) "testcase.c":12:10#
{ashrdi3}
- (nil))
+ (expr_list:REG_DEAD (reg:QI 15 a5 [orig:139 _6 ] [139])
+ (nil)))
(insn # 0 0 (set (reg:SI 10 a0 [167])
- (minus:SI (reg:SI 15 a5 [160])
+ (minus:SI (reg:SI 10 a0 [160])
(reg:SI 9 s1 [165]))) "testcase.c":12:5# {subsi3}
- (expr_list:REG_DEAD (reg:SI 15 a5 [160])
- (expr_list:REG_DEAD (reg:SI 9 s1 [165])
- (nil))))
+ (expr_list:REG_DEAD (reg:SI 9 s1 [165])
+ (nil)))
(insn/f # 0 0 (set (reg:DI 9 s1)
(mem/c:DI (plus:DI (reg/f:DI 2 sp)
(const_int 8 [0x8])) [ S8 A64])) "testcase.c":14:1#
{*movdi_64bit}
$ riscv64-unknown-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-riscv64/bin/riscv64-unknown-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r13-5455-20230127153300-gdef6e12e348-checking-yes-rtl-df-extra-riscv64/bin/../libexec/gcc/riscv64-unknown-linux-gnu/13.0.1/lto-wrapper
Target: riscv64-unknown-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --with-isa-spec=2.2
--with-sysroot=/usr/riscv64-unknown-linux-gnu --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=riscv64-unknown-linux-gnu
--with-ld=/usr/bin/riscv64-unknown-linux-gnu-ld
--with-as=/usr/bin/riscv64-unknown-linux-gnu-as --disable-multilib
--disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r13-5455-20230127153300-gdef6e12e348-checking-yes-rtl-df-extra-riscv64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.0.1 20230127 (experimental) (GCC)
