libstdc++: Optimize std::to_array for trivial types [PR110167]
commit960de5dd886572711ef86fa1e15e30d3810eccb9
authorJonathan Wakely <jwakely@redhat.com>
Thu, 8 Jun 2023 11:24:43 +0000 (8 12:24 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Fri, 9 Jun 2023 12:08:25 +0000 (9 13:08 +0100)
treee874baa0c91fa2050c592c137fc374a6db78fd61
parent3e12669a0eb968cfcbe9242b382fd8020935edf8
libstdc++: Optimize std::to_array for trivial types [PR110167]

As reported in PR libstdc++/110167, std::to_array compiles extremely
slowly for very large arrays. It needs to instantiate a very large
specialization of std::index_sequence<N...> and then create a very large
aggregate initializer from the pack expansion. For trivial types we can
simply default-initialize the std::array and then use memcpy to copy the
values. For non-trivial types we need to use the existing
implementation, despite the compilation cost.

As also noted in the PR, using a generic lambda instead of the
__to_array helper compiles faster since gcc-13. It also produces
slightly smaller code at -O1, due to additional inlining. The code at
-Os, -O2 and -O3 seems to be the same. This new implementation requires
__cpp_generic_lambdas >= 201707L (i.e. P0428R2) but that is supported
since Clang 10 and since Intel icc 2021.5.0 (and since GCC 10.1).

libstdc++-v3/ChangeLog:

PR libstdc++/110167
* include/std/array (to_array): Initialize arrays of trivial
types using memcpy. For non-trivial types, use lambda
expressions instead of a separate helper function.
(__to_array): Remove.
* testsuite/23_containers/array/creation/110167.cc: New test.
libstdc++-v3/include/std/array
libstdc++-v3/testsuite/23_containers/array/creation/110167.cc [new file with mode: 0644]