[Bug target/122942] New: The risc-v rva23s64 and rvb23s64 profiles are missing the zifencei extension

[bergner at oss dot tenstorrent.com via Gcc-bugs]

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

            Bug ID: 122942
           Summary: The risc-v rva23s64 and rvb23s64 profiles are missing
                    the zifencei extension
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bergner at oss dot tenstorrent.com
  Target Milestone: ---

The official RVI RVA23S64 and RVB23S64 profiles both state that zifencei is a
mandatory extension.  However, it is missing from both of GCC's rva23s64 and
rvb23s64 profile extension lists.