[Bug target/111362] [14 Regression] '-fcompare-debug' failure (length) with -O -fno-tree-ch --param=max-completely-peel-times=0 -march=rv64iv

[zsojka at seznam dot cz via Gcc-bugs]

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

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> ---
Thank you the fix; the testcase is still failing with a bit different flags
though:

Adding -fno-dce -fschedule-insns:

$ riscv64-unknown-linux-gnu-gcc -O -fno-tree-ch
--param=max-completely-peel-times=0 -march=rv64iv -fcompare-debug -fno-dce
-fschedule-insns testcase.c -save-temps
riscv64-unknown-linux-gnu-gcc: error: testcase.c: '-fcompare-debug' failure

$ diff -u *gkd
--- a-testcase.c.gkd    2023-09-14 17:09:28.262936149 +0200
+++ a-testcase.gk.c.gkd 2023-09-14 17:09:28.342935710 +0200
@@ -51,14 +51,6 @@
         (sign_extend:DI (plus:SI (reg:SI 8 s0 [orig:134 ivtmp_6 ] [134])
                 (const_int -1 [0xffffffffffffffff])))) "testcase.c":3:26
discrim 1# {addsi3_extended}
      (nil))
-(insn # 0 0 (set (reg:DI 11 a1)
-        (const_int 0 [0])) "testcase.c":4:5# {*movdi_64bit}
-     (nil))
-(insn # 0 0 (set (reg:DI 10 a0)
-        (lo_sum:DI (reg/f:DI 9 s1 [138])
-            (symbol_ref/f:DI ("*.LC0") [flags 0x82]  <var_decl # *.LC0>)))
"testcase.c":4:5# {*lowdi}
-     (expr_list:REG_EQUAL (symbol_ref/f:DI ("*.LC0") [flags 0x82]  <var_decl #
*.LC0>)
-        (nil)))
 (jump_insn # 0 0 (set (pc)
         (if_then_else (ne (reg:DI 8 s0 [orig:134 ivtmp_6 ] [134])
                 (const_int 0 [0]))
@@ -104,6 +96,14 @@
 (barrier # 0 0)
 (code_label # 0 0 3 (nil) [1 uses])
 (note # 0 0 [bb 5] NOTE_INSN_BASIC_BLOCK)
+(insn # 0 0 (set (reg:DI 11 a1)
+        (const_int 0 [0])) "testcase.c":4:5# {*movdi_64bit}
+     (nil))
+(insn # 0 0 (set (reg:DI 10 a0)
+        (lo_sum:DI (reg/f:DI 9 s1 [138])
+            (symbol_ref/f:DI ("*.LC0") [flags 0x82]  <var_decl # *.LC0>)))
"testcase.c":4:5# {*lowdi}
+     (expr_list:REG_EQUAL (symbol_ref/f:DI ("*.LC0") [flags 0x82]  <var_decl #
*.LC0>)
+        (nil)))
 (call_insn # 0 0 (parallel [
             (set (reg:DI 10 a0)
                 (call (mem:SI (symbol_ref:DI ("printf") [flags 0x41] 
<function_decl # __builtin_printf>) [ __builtin_printf S4 A32])