From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 107EA3835420; Thu, 4 Feb 2021 13:24:38 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 107EA3835420 From: "marxin at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/98959] ICE in extract_constrain_insn, at recog.c:2670 Date: Thu, 04 Feb 2021 13:24:38 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 11.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: marxin at gcc dot gnu.org X-Bugzilla-Status: NEW 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: Message-ID: In-Reply-To: References: 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 04 Feb 2021 13:24:39 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D98959 --- Comment #6 from Martin Li=C5=A1ka --- Emergency dump: dump file: ice.i.298r.pro_and_epilogue ;; Function me0 (me0, funcdef_no=3D0, decl_uid=3D3226, cgraph_uid=3D1, symbol_order=3D0) 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 [c= a] 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] 1= 09 [vscr] ;; ref usage r0=3D{2d} r1=3D{1d,9u} r2=3D{4u} r3=3D{3d} r4=3D{3d} r5=3D{= 3d} r6=3D{3d} r7=3D{3d} r8=3D{3d} r9=3D{7d,3u} r10=3D{4d,1u} r11=3D{2d} r12=3D{2d} r13=3D= {2d} r32=3D{2d} r33=3D{3d} r34=3D{3d} r35=3D{3d} r36=3D{3d} r37=3D{3d} r38=3D{3d} r39=3D{3d= } r40=3D{3d} r41=3D{3d} r42=3D{3d} r43=3D{3d} r44=3D{3d} r45=3D{3d} r64=3D{2d} r65=3D{2d= } r66=3D{7d,5u} r67=3D{3d} r68=3D{3d} r69=3D{3d} r70=3D{3d} r71=3D{3d} r72=3D{3d} r73=3D{3d= } r74=3D{3d} r75=3D{3d} r76=3D{3d} r77=3D{3d} r78=3D{2d} r79=3D{2d} r80=3D{2d} r81=3D{2d= } r82=3D{2d} r83=3D{2d} r96=3D{3d,1u} r97=3D{2d} r98=3D{2d} r100=3D{3d,1u} r101=3D{2d} r= 105=3D{2d} r106=3D{2d} r107=3D{2d} r108=3D{1u} r109=3D{3d,3u}=20 ;; 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]=20 ) [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]=20 ) (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] ) [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]=20 ) (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)=