[Bug target/126767] New: Wrong maxmin:VI8_AVX2_AVX512F condition

[hjl.tools at gmail dot com via Gcc-bugs]

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

            Bug ID: 126767
           Summary: Wrong maxmin:VI8_AVX2_AVX512F condition
           Product: gcc
           Version: 14.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: liuhongt at gcc dot gnu.org
  Target Milestone: ---

sse.md has

(define_expand "<code><mode>3"
  [(set (match_operand:VI8_AVX2_AVX512F 0 "register_operand")
    (maxmin:VI8_AVX2_AVX512F
      (match_operand:VI8_AVX2_AVX512F 1 "register_operand")
      (match_operand:VI8_AVX2_AVX512F 2 "register_operand")))]
  "TARGET_SSE4_2"
{

But these instructions are in SSE4.1, not SSE4.2.