About

Often the compiler has enough information to efficiently expand mem* or This covers multiple efforts.

1. Scalar inline expansion of various mem* and str* routines

...

By expanding these sequences inline, we can avoid the overhead of a function call and  expose more of the underlying semantics of the call to the optimizers, thus potentially allowing further optimization.  It also creates larger scheduling blocks and fewer optimization barriers.  VRULL has provided scalar implementations of the key routines.  Ventana has contributed vector versions of the key routines.

...

1. in GCC.  Essentially when some of the arguments are known the compiler can emit efficient versions of those routines while at the same time exposing the semantics to the optimizers allowing further optimization.  The scalar inline expansion work in GCC is largely complete at this point.  This work was largely done by VRULL under contract to Ventana.
2. Vector inline expansion.  Similar to scalar expansion, but using vector instructions when possible.  The bulk of this work has already been integrated for gcc-14 and is the combination of work from Ventana (Robin Dapp) and EMBECOSM (Joern Rennecke).
3. Additional vector inline expansion.  memmove, memset and memcmp can also be expanded inline by the compiler using vector instructions.  Sergei from Rivos has submitted an implementation of these routines, but the submission missed the gcc-14 deadline.  The implementation looks pretty reasonable and is expected to integrate into GCC in the late spring. It is expected this work will provide another percent or so improvement on the GCC workload within spec2017.
4. Glibc provides generic versions of all the relevant routines and needs both scalar and vector implementations with automatic selection via ifuncs.
   1. VRULL has reasonable scalar implementations of several functions
   2. Rivos has reasonable vector implementations of several functions as well
   3. There is a general agreement that dynamic ifunc selection for RISC-V can be integrated after the glibc-2.39 release (due the first week of Feb).   So in the near these routines should be integrated into glibc with dynamic selection

Stakeholders/Partners

RISE:

Ventana: Jeff & Robin

Rivos: Palmer & Sergei

External:

                    VRULL: Christoph

...

Muller

                    EMBECOSM: Joern Rennecke

Dependencies

Status

Updates

30 Jan 2024 

• Added some additional text for the cases covered by this change as well as some performance expectations.
• Jeff L has done some review work on Sergei's work and is planning to incorporate that work into his upstream GCC tester ASAP.

29 Dec 2023 

• Robin Dapp from Ventana has submitted & integrated vector versions of str[n]cmp, strlen
• Christoph has submitted and integrated scalar versions of str[n]cmp, strlen, memcpy
• Sergei Lewis has submitted vector version of  memset, memmove and memcmp.

...