[Bug middle-end/117823] New: sdot_prod pattern extended to floating point?

[liuhongt at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 117823
           Summary: sdot_prod pattern extended to floating point?
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: liuhongt at gcc dot gnu.org
  Target Milestone: ---

Currently, sdot_prod only supports integer mode, can it be extended to floating
point?

For x86, there're vdpbf16ps/vdpphps for dot_prod __bf16/_Float16 -> float.
For arm, there's bfdot.