https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107057
--- Comment #4 from Hongtao.liu <crazylht at gmail dot com> ---
It lookes like after replace equiv value, the pattern turns into
3482(insn 76 67 101 5 (set (reg/v:V2DF 108 [ x ])
3483 (vec_concat:V2DF (const_double:DF 1.0e+0 [0x0.8p+1])
3484 (const_double:DF 1.0e+0 [0x0.8p+1]))) "/:7:10 5956
{vec_concatv2df}
3485 (expr_list:REG_EQUAL (const_vector:V2DF [
3486 (const_double:DF 1.0e+0 [0x0.8p+1]) repeated x2
3487 ])
3488 (nil)))
and in op1 and op2(the same as op1) is forced to mem separately with
3734(insn 76 67 101 5 (set (reg/v:V2DF 108 [ x ])
3735 (vec_concat:V2DF (mem/u/c:DF (reg:DI 330) [0 S8 A64])
3736 (const_double:DF 1.0e+0 [0x0.8p+1]))) "":7:10 5956
{vec_concatv2df}
3737 (expr_list:REG_EQUAL (const_vector:V2DF [
3738 (const_double:DF 1.0e+0 [0x0.8p+1]) repeated x2
3739 ])
3740 (nil)))
3741(insn 76 67 101 5 (set (reg/v:V2DF 108 [ x ])
3742 (vec_concat:V2DF (mem/u/c:DF (reg:DI 330) [0 S8 A64])
3743 (mem/u/c:DF (symbol_ref/u:DI ("*.LC0") [flags 0x2]) [0 S8
A64]))) "test.c":7:10 5956 {vec_concatv2df}
3744 (expr_list:REG_EQUAL (const_vector:V2DF [
3745 (const_double:DF 1.0e+0 [0x0.8p+1]) repeated x2
3746 ])
3747 (nil)))
3755(insn 76 67 101 5 (set (reg/v:V2DF 108 [ x ])
3756 (vec_concat:V2DF (mem/u/c:DF (reg:DI 330) [0 S8 A64])
3757 (mem/u/c:DF (reg:DI 331) [0 S8 A64]))) "test.c":7:10 5956
{vec_concatv2df}
3758 (expr_list:REG_EQUAL (const_vector:V2DF [
3759 (const_double:DF 1.0e+0 [0x0.8p+1]) repeated x2
3760 ])
3761 (nil)))
but gcc do set goal_alt_win[2] as false, but ignored it since below codes
thought it's already matched before.
4507 /* Operands that match previous ones have already been handled. */
4508=> if (goal_alt_matches[i] >= 0)
4509 continue;
