[Bug target/98959] ICE in extract_constrain_insn, at recog.c:2670

["marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Emergency dump:
dump file: ice.i.298r.pro_and_epilogue

;; Function me0 (me0, funcdef_no=0, decl_uid=3226, cgraph_uid=1,
symbol_order=0)



try_optimize_cfg iteration 1

starting the processing of deferred insns
ending the processing of deferred insns
df_analyze called
df_worklist_dataflow_doublequeue: n_basic_blocks 5 n_edges 4 count 5 (    1)
df_worklist_dataflow_doublequeue: n_basic_blocks 5 n_edges 4 count 5 (    1)



EMERGENCY DUMP:



me0

Dataflow summary:
;;  fully invalidated by EH      0 [0] 3 [3] 4 [4] 5 [5] 6 [6] 7 [7] 8 [8] 9
[9] 10 [10] 11 [11] 12 [12] 13 [13] 32 [0] 33 [1] 34 [2] 35 [3] 36 [4] 37 [5]
38 [6] 39 [7] 40 [8] 41 [9] 42 [10] 43 [11] 44 [12] 45 [13] 64 [0] 65 [1] 66
[2] 67 [3] 68 [4] 69 [5] 70 [6] 71 [7] 72 [8] 73 [9] 74 [10] 75 [11] 76 [12] 77
[13] 78 [14] 79 [15] 80 [16] 81 [17] 82 [18] 83 [19] 96 [lr] 97 [ctr] 98 [ca]
100 [0] 101 [1] 105 [5] 106 [6] 107 [7] 109 [vscr]
;;  hardware regs used   1 [1] 109 [vscr]
;;  regular block artificial uses        1 [1]
;;  eh block artificial uses     1 [1] 99 [ap]
;;  entry block defs     1 [1] 3 [3] 4 [4] 5 [5] 6 [6] 7 [7] 8 [8] 9 [9] 10
[10] 33 [1] 34 [2] 35 [3] 36 [4] 37 [5] 38 [6] 39 [7] 40 [8] 41 [9] 42 [10] 43
[11] 44 [12] 45 [13] 66 [2] 67 [3] 68 [4] 69 [5] 70 [6] 71 [7] 72 [8] 73 [9] 74
[10] 75 [11] 76 [12] 77 [13] 96 [lr] 109 [vscr]
;;  exit block uses      1 [1] 2 [2] 96 [lr] 108 [vrsave] 109 [vscr]
;;  regs ever live       1 [1] 2 [2] 9 [9] 10 [10] 66 [2] 96 [lr] 100 [0] 109
[vscr]
;;  ref usage   r0={2d} r1={1d,9u} r2={4u} r3={3d} r4={3d} r5={3d} r6={3d}
r7={3d} r8={3d} r9={7d,3u} r10={4d,1u} r11={2d} r12={2d} r13={2d} r32={2d}
r33={3d} r34={3d} r35={3d} r36={3d} r37={3d} r38={3d} r39={3d} r40={3d}
r41={3d} r42={3d} r43={3d} r44={3d} r45={3d} r64={2d} r65={2d} r66={7d,5u}
r67={3d} r68={3d} r69={3d} r70={3d} r71={3d} r72={3d} r73={3d} r74={3d}
r75={3d} r76={3d} r77={3d} r78={2d} r79={2d} r80={2d} r81={2d} r82={2d}
r83={2d} r96={3d,1u} r97={2d} r98={2d} r100={3d,1u} r101={2d} r105={2d}
r106={2d} r107={2d} r108={1u} r109={3d,3u} 
;;    total ref usage 184{156d,28u,0e} in 13{11 regular + 2 call} insns.
(note 1 0 3 NOTE_INSN_DELETED)
(note 3 1 2 2 [bb 2] NOTE_INSN_BASIC_BLOCK)
(note 2 3 5 2 NOTE_INSN_FUNCTION_BEG)
(insn 5 2 48 2 (set (reg/f:DI 9 9 [120])
        (mem/u/c:DI (unspec:DI [
                    (symbol_ref/u:DI ("*.LC1") [flags 0x2])
                    (reg:DI 2 2)
                ] UNSPEC_TOCREL) [1  S8 A8]))
"/home/marxin/Programming/testcases/ice.i":6:8 636 {*movdi_internal64}
     (expr_list:REG_EQUIV (symbol_ref/u:DI ("*.LC0") [flags 0x82])
        (nil)))
(insn 48 5 49 2 (set (reg:V1TI 66 2)
        (rotate:V1TI (mem/u/c:V1TI (and:DI (reg/f:DI 9 9 [120])
                    (const_int -16 [0xfffffffffffffff0])) [0  S16 A128])
            (const_int 64 [0x40])))
"/home/marxin/Programming/testcases/ice.i":6:8 1102 {*vsx_le_permute_v1ti}
     (nil))
(insn 49 48 9 2 (set (reg:V1TI 66 2)
        (rotate:V1TI (reg:V1TI 66 2)
            (const_int 64 [0x40])))
"/home/marxin/Programming/testcases/ice.i":6:8 1102 {*vsx_le_permute_v1ti}
     (nil))
(call_insn 9 49 47 2 (parallel [
            (set (reg:V1TI 66 2)
                (call (mem:SI (symbol_ref:DI ("e0") [flags 0x41] 
<function_decl 0x7ffff75a8200 e0>) [0 e0 S4 A8])
                    (const_int 0 [0])))
            (use (const_int 0 [0]))
            (clobber (reg:DI 96 lr))
        ]) "/home/marxin/Programming/testcases/ice.i":6:8 724
{*call_value_nonlocal_aixdi}
     (expr_list:REG_CALL_DECL (symbol_ref:DI ("e0") [flags 0x41] 
<function_decl 0x7ffff75a8200 e0>)
        (nil))
    (expr_list (use (reg:DI 2 2))
        (expr_list:V1TI (use (reg:V1TI 66 2))
            (nil))))
(insn 47 9 50 2 (set (reg:DI 9 9 [136])
        (plus:DI (reg/f:DI 1 1)
            (const_int 32 [0x20])))
"/home/marxin/Programming/testcases/ice.i":6:8 66 {*adddi3}
     (nil))
(insn 50 47 51 2 (set (reg:V1TI 66 2)
        (rotate:V1TI (reg:V1TI 66 2)
            (const_int 64 [0x40])))
"/home/marxin/Programming/testcases/ice.i":6:8 1102 {*vsx_le_permute_v1ti}
     (nil))
(insn 51 50 52 2 (set (mem/c:V1TI (reg:DI 9 9 [136]) [2 %sfp+32 S16 A128])
        (rotate:V1TI (reg:V1TI 66 2)
            (const_int 64 [0x40])))
"/home/marxin/Programming/testcases/ice.i":6:8 1102 {*vsx_le_permute_v1ti}
     (nil))
(insn 52 51 44 2 (set (reg:V1TI 66 2)
        (rotate:V1TI (reg:V1TI 66 2)
            (const_int 64 [0x40])))
"/home/marxin/Programming/testcases/ice.i":6:8 1102 {*vsx_le_permute_v1ti}
     (nil))
(insn 44 52 45 2 (set (reg:DI 10 10 [131])
        (mem/c:DI (plus:DI (reg/f:DI 1 1)
                (const_int 32 [0x20])) [2 %sfp+32 S8 A128]))
"/home/marxin/Programming/testcases/ice.i":6:8 636 {*movdi_internal64}
     (nil))
(insn 45 44 13 2 (set (reg:DI 9 9 [orig:132+8 ] [132])
        (mem/c:DI (plus:DI (reg/f:DI 1 1)
                (const_int 40 [0x28])) [2 %sfp+40 S8 A64]))
"/home/marxin/Programming/testcases/ice.i":6:8 636 {*movdi_internal64}
     (nil))
(note 13 45 14 2 NOTE_INSN_DELETED)
(insn 14 13 15 2 (parallel [
            (set (reg:CC 100 0 [124])
                (compare:CC (ior:DI (reg:DI 9 9 [orig:128 _1+8 ] [128])
                        (reg:DI 10 10 [orig:127 _1 ] [127]))
                    (const_int 0 [0])))
            (clobber (reg:DI 9 9 [133]))
        ]) "/home/marxin/Programming/testcases/ice.i":7:6 214 {*booldi3_dot}
     (nil))
(jump_insn 15 14 28 2 (set (pc)
        (if_then_else (eq (reg:CC 100 0 [124])
                (const_int 0 [0]))
            (label_ref:DI 26)
            (pc))) "/home/marxin/Programming/testcases/ice.i":7:6 829
{*cbranch}
     (int_list:REG_BR_PROB 1073741831 (nil))
 -> 26)
(note 28 15 22 3 [bb 3] NOTE_INSN_BASIC_BLOCK)
(call_insn 22 28 23 3 (parallel [
            (call (mem:SI (symbol_ref:DI ("abort") [flags 0x41]  <function_decl
0x7ffff7490600 __builtin_abort>) [0 __builtin_abort S4 A8])
                (const_int 0 [0]))
            (use (const_int 0 [0]))
            (clobber (reg:DI 96 lr))
        ]) "/home/marxin/Programming/testcases/ice.i":7:19 723
{*call_nonlocal_aixdi}
     (expr_list:REG_CALL_DECL (symbol_ref:DI ("abort") [flags 0x41] 
<function_decl 0x7ffff7490600 __builtin_abort>)
        (expr_list:REG_NORETURN (const_int 0 [0])
            (expr_list:REG_EH_REGION (const_int 0 [0])
                (nil))))
    (expr_list (use (reg:DI 2 2))
        (nil)))
(barrier 23 22 26)
(code_label 26 23 27 4 1 (nil) [1 uses])
(note 27 26 46 4 [bb 4] NOTE_INSN_BASIC_BLOCK)
(note 46 27 0 NOTE_INSN_DELETED)