[Bug target/87224] New: ICE in extract_constrain_insn, at recog.c:2206

[marxin at gcc dot gnu.org]

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

            Bug ID: 87224
           Summary: ICE in extract_constrain_insn, at recog.c:2206
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: segher at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu
            Target: powerpc64le-linux

Following causes ICE:

$ ./xgcc -B.
/home/marxin/Programming/gcc/gcc/testsuite/gcc.target/powerpc/vsx-builtin-7.c
-O3 -ffloat-store
/home/marxin/Programming/gcc/gcc/testsuite/gcc.target/powerpc/vsx-builtin-7.c:
In function ‘extract_df_0_reg’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.target/powerpc/vsx-builtin-7.c:17:1:
error: insn does not satisfy its constraints:
17 | double extract_df_0_reg (vector double p) { return vec_extract (p, c0); }
   | ^~~~~~
(insn 37 36 12 2 (set (reg:DF 9 9 [127])
        (mem/c:DF (plus:DI (reg:DI 8 8 [136])
                (reg:DI 7 7 [133])) [2  S8 A8]))
"/home/marxin/Programming/gcc/gcc/testsuite/gcc.target/powerpc/vsx-builtin-7.c":17
511 {*movdf_hardfloat64}
     (expr_list:REG_DEAD (reg:DI 8 8 [136])
        (expr_list:REG_DEAD (reg:DI 7 7 [133])
            (nil))))
during RTL pass: cprop_hardreg
/home/marxin/Programming/gcc/gcc/testsuite/gcc.target/powerpc/vsx-builtin-7.c:17:1:
internal compiler error: in extract_constrain_insn, at recog.c:2206
0xf5f313 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.c:108
0xf5f373 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.c:118
0xf0872a extract_constrain_insn(rtx_insn*)
        /home/marxin/Programming/gcc/gcc/recog.c:2206
0xf0f155 copyprop_hardreg_forward_1
        /home/marxin/Programming/gcc/gcc/regcprop.c:801
0xf10c8b execute
        /home/marxin/Programming/gcc/gcc/regcprop.c:1307