[Bug target/69120] New: sse2_shufpd_v2df_mask has wrong name

[hjl.tools at gmail dot com]

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

            Bug ID: 69120
           Summary: sse2_shufpd_v2df_mask has wrong name
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: kirill.yukhin at intel dot com
  Target Milestone: ---

(define_insn "sse2_shufpd_v2df_mask"
              ^^^^^ Shouldn't it be avx512vl?
  [(set (match_operand:V2DF 0 "register_operand" "=v")
    (vec_merge:V2DF
          (vec_select:V2DF
            (vec_concat:V4DF
              (match_operand:V2DF 1 "register_operand" "v")
              (match_operand:V2DF 2 "nonimmediate_operand" "vm"))
            (parallel [(match_operand 3 "const_0_to_1_operand")
                           (match_operand 4 "const_2_to_3_operand")]))
      (match_operand:V2DF 5 "vector_move_operand" "0C")
      (match_operand:QI 6 "register_operand" "Yk")))]
  "TARGET_AVX512VL"
{
  int mask; 
  mask = INTVAL (operands[3]);
  mask |= (INTVAL (operands[4]) - 2) << 1;
  operands[3] = GEN_INT (mask);

  return "vshufpd\t{%3, %2, %1, %0%{%6%}%N5|%0%{6%}%N5, %1, %2, %3}";
}