From patchwork Sun Nov 19 21:53:37 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jan Hubicka X-Patchwork-Id: 166906 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:9910:0:b0:403:3b70:6f57 with SMTP id i16csp1882619vqn; Sun, 19 Nov 2023 15:29:46 -0800 (PST) X-Google-Smtp-Source: AGHT+IGgSIWA2jNiHeIcdk+N7qWHuBLrqBzYeKg6mad5msaMoLof6R909UcDpK/SdbO+JomGzLmt X-Received: by 2002:a05:620a:8007:b0:774:3540:89ee with SMTP id ee7-20020a05620a800700b00774354089eemr7380600qkb.61.1700436586134; Sun, 19 Nov 2023 15:29:46 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1700436586; cv=pass; d=google.com; s=arc-20160816; b=r+CFTbNYXrYL7Cnkk7DBkrPTT8gjY1b3CAUUyjurcoH4ro4qj4a4cHU77s/4NP7XfC m34ul+0l9J2eFsW+5EwMexYj7VP4aAVApJ/854FIpgyaLF/4e2KbpD+mZ+7590/h7aZG voVuM4palDTzWBJr8H6SBZll8BMauzfPQ2BHWoRx2+1ot9C+Xhi/Wq6Za+U+XXlxPjlQ JkfWY87lxHJcVnAlcaCJ60sythvfyugCFxRiJx5RRBCMzFfmKtU1DJ8TkXqrFKp7KXYl T4s1sgfsUFDgAm+/8ChFLkmh7zyVHDDdQHt0SrYDKx9QI0QngVnGOzhJIelALfaQhFfQ JVTQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-disposition :mime-version:message-id:subject:to:from:date:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=iFSYF8UYNEC/p3bQmMl7Xkt9Z0NTJF3zyR4YDFFWuJ4=; fh=+2Hnb10RdUwagWntxk0ncqh4UAREif63IYPADn3YHWA=; b=uld8Il0SXZP+tsQKAPZgHABZLfaCYokI7V0nISK6iXdwJJ4inYD/eAfWbCm1FpOm7B d4iPt0uNdB+OJbBlZ+boAaY4baSbrIl168jnpuf0vlQ+CbHMC4F0hOgGgipGUJHt/3sV 0D/FuxbXpQQCP6yEDjvfc9a8XGegSVNpAQPlAv3Mf0Nb6WRopIbqUrlsBXFUXu3kH1N9 CoJstsTrActegmMgP6D49OzJQ4BBTDNmjHXufFbE76IpskcH+0JyqDFt1MoONkwdhOMM xVXCxqV3/pjsKXRx09Z6kRhR1stcKuiT+ig9NpehiDb7g+JYf8m74Pn3K/d0ahzqlhgI ewDA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@ucw.cz header.s=gen1 header.b=MxNEb+Ha; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=ucw.cz Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id h15-20020a05620a244f00b007759bc40d84si6488834qkn.406.2023.11.19.15.29.46 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 19 Nov 2023 15:29:46 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@ucw.cz header.s=gen1 header.b=MxNEb+Ha; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=ucw.cz Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id D67D838119C9 for ; Sun, 19 Nov 2023 21:54:07 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from nikam.ms.mff.cuni.cz (nikam.ms.mff.cuni.cz [195.113.20.16]) by sourceware.org (Postfix) with ESMTPS id C97D3394D8AA; Sun, 19 Nov 2023 21:53:38 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C97D3394D8AA Authentication-Results: sourceware.org; dmarc=fail (p=none dis=none) header.from=ucw.cz Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=kam.mff.cuni.cz ARC-Filter: OpenARC Filter v1.0.0 sourceware.org C97D3394D8AA Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=195.113.20.16 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700430821; cv=none; b=vv6ZrdZS9XNdg/sNGyBgJQM53KzSYM/i4xse0P5/Ch5G5WSzFLVimRVjD50DHkSGUxhkMikHvQLef4Zvh0LctyPbWcIjEL6dORkOJ1+iPVFEb0xr3jnfXyKh9ffVQJBsQYrY3Azel6eiPCx6naabFwImXIAbpiJbU3Qr1APNgbE= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700430821; c=relaxed/simple; bh=Io34nBap5pXF/bGW7+6t+A88vDGENrk36RYtTjmTgg4=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version; b=BjqP9Ytv7zdkkRVsVomteNcLghDlltPhsjF3yAVbQ0NL1DKHDpI5+WXdtV3r7yKOFWkJ3YBiN9W1m0M/8TkcR1zqxeovs/zzZd/W+KM9yg7wIg8n2C0V4lIj1Fyfy1TTslJGwGodDy7CiS4iPQ0DHwFlXni3GHbEnPWc483aVyo= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202) id 8EF2428B843; Sun, 19 Nov 2023 22:53:37 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ucw.cz; s=gen1; t=1700430817; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=iFSYF8UYNEC/p3bQmMl7Xkt9Z0NTJF3zyR4YDFFWuJ4=; b=MxNEb+HaYxipAz7eIadiC/LRDRglx1U0cSkhs4i6BN+tJ0vHQkfxfrO0hccWSu29fdQcWl hGwEIzf3irrd30idgE9M7MBLm7htmzqosqlhba7dTMPxus9MlO3uifk+M+AmP5v80tELtE uKZW3iYjU7JQcHWCa4RtLaf2lj1DeqU= Date: Sun, 19 Nov 2023 22:53:37 +0100 From: Jan Hubicka To: jwakely@redhat.com, libstdc++@gcc.gnu.org, gcc-patches@gcc.gnu.org Subject: libstdc++: Speed up push_back Message-ID: MIME-Version: 1.0 Content-Disposition: inline X-Spam-Status: No, score=-11.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, GIT_PATCH_0, HEADER_FROM_DIFFERENT_DOMAINS, JMQ_SPF_NEUTRAL, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1783036993925568779 X-GMAIL-MSGID: 1783036993925568779 Hi, this patch speeds up the push_back at -O3 significantly by making the reallocation to be inlined by default. _M_realloc_insert is general insertion that takes iterator pointing to location where the value should be inserted. As such it contains code to move other entries around that is quite large. Since appending to the end of array is common operation, I think we should have specialized code for that. Sadly it is really hard to work out this from IPA passes, since we basically care whether the iterator points to the same place as the end pointer, which are both passed by reference. This is inter-procedural value numbering that is quite out of reach. I also added extra check making it clear that the new length of the vector is non-zero. This saves extra conditionals. Again it is quite hard case since _M_check_len seem to be able to return 0 if its parameter is 0. This never happens here, but we are not able to propagate this early nor at IPA stage. Would it be OK to duplciate code as this? The resulting code is still not quite optimal. Regtested on x86_64-linux, OK? Honza void std::vector::_M_realloc_append (struct vector * const this, const struct pair_t & __args#0) { struct _Guard __guard; struct pair_t * __new_finish; struct pair_t * __old_finish; struct pair_t * __old_start; struct _Vector_impl * _1; long unsigned int _2; struct pair_t * _3; struct pair_t * _4; long int _5; long int _6; long unsigned int _7; long unsigned int _8; struct pair_t * _9; const size_type _13; struct pair_t * _16; struct _Vector_impl * _18; long int _27; long unsigned int _34; [local count: 1073741824]: _13 = std::vector::_M_check_len (this_11(D), 1, "vector::_M_realloc_append"); if (_13 == 0) goto ; [0.00%] else goto ; [100.00%] [count: 0]: __builtin_unreachable (); [local count: 1073741824]: __old_start_14 = this_11(D)->D.26060._M_impl.D.25361._M_start; __old_finish_15 = this_11(D)->D.26060._M_impl.D.25361._M_finish; _27 = __old_finish_15 - __old_start_14; _18 = &MEM[(struct _Vector_base *)this_11(D)]._M_impl; _16 = std::__new_allocator::allocate (_18, _13, 0B); _1 = &this_11(D)->D.26060._M_impl; __guard ={v} {CLOBBER}; __guard._M_alloc = _1; _2 = (long unsigned int) _27; _3 = _16 + _2; *_3 = *__args#0_17(D); if (_27 > 0) goto ; [41.48%] else goto ; [58.52%] [local count: 445388112]: __builtin_memmove (_16, __old_start_14, _2); [local count: 1073741824]: _34 = _2 + 8; __new_finish_19 = _16 + _34; __guard._M_storage = __old_start_14; _4 = this_11(D)->D.26060._M_impl.D.25361._M_end_of_storage; _5 = _4 - __old_start_14; _6 = _5 /[ex] 8; _7 = (long unsigned int) _6; __guard._M_len = _7; std::vector::_M_realloc_append(const pair_t&)::_Guard::~_Guard (&__guard); __guard ={v} {CLOBBER(eol)}; this_11(D)->D.26060._M_impl.D.25361._M_start = _16; this_11(D)->D.26060._M_impl.D.25361._M_finish = __new_finish_19; _8 = _13 * 8; _9 = _16 + _8; this_11(D)->D.26060._M_impl.D.25361._M_end_of_storage = _9; return; } Notice that memmove can be memcopy and the test whether block size is non-zero is useless. libstdc++-v3/ChangeLog: PR libstdc++/110287 * include/bits/stl_vector.h (_M_realloc_append): New member function. (push_back): Use it. * include/bits/vector.tcc: (emplace_back): Use it. (_M_realloc_insert): Let compiler know that new vector size is non-zero. (_M_realloc_append): New member function. diff --git a/libstdc++-v3/include/bits/stl_vector.h b/libstdc++-v3/include/bits/stl_vector.h index 5e18f6eedce..973f4d7e2e9 100644 --- a/libstdc++-v3/include/bits/stl_vector.h +++ b/libstdc++-v3/include/bits/stl_vector.h @@ -1288,7 +1288,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER _GLIBCXX_ASAN_ANNOTATE_GREW(1); } else - _M_realloc_insert(end(), __x); + _M_realloc_append(__x); } #if __cplusplus >= 201103L @@ -1822,6 +1822,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER void _M_realloc_insert(iterator __position, const value_type& __x); + + void + _M_realloc_append(const value_type& __x); #else // A value_type object constructed with _Alloc_traits::construct() // and destroyed with _Alloc_traits::destroy(). @@ -1871,6 +1874,11 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER void _M_realloc_insert(iterator __position, _Args&&... __args); + template + _GLIBCXX20_CONSTEXPR + void + _M_realloc_append(_Args&&... __args); + // Either move-construct at the end, or forward to _M_insert_aux. _GLIBCXX20_CONSTEXPR iterator diff --git a/libstdc++-v3/include/bits/vector.tcc b/libstdc++-v3/include/bits/vector.tcc index 80631d1e2a1..1306676e795 100644 --- a/libstdc++-v3/include/bits/vector.tcc +++ b/libstdc++-v3/include/bits/vector.tcc @@ -120,7 +120,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER _GLIBCXX_ASAN_ANNOTATE_GREW(1); } else - _M_realloc_insert(end(), std::forward<_Args>(__args)...); + _M_realloc_append(std::forward<_Args>(__args)...); #if __cplusplus > 201402L return back(); #endif @@ -459,6 +459,8 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER #endif { const size_type __len = _M_check_len(1u, "vector::_M_realloc_insert"); + if (__len <= 0) + __builtin_unreachable (); pointer __old_start = this->_M_impl._M_start; pointer __old_finish = this->_M_impl._M_finish; const size_type __elems_before = __position - begin(); @@ -571,6 +573,129 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER this->_M_impl._M_end_of_storage = __new_start + __len; } +#if __cplusplus >= 201103L + template + template + _GLIBCXX20_CONSTEXPR + void + vector<_Tp, _Alloc>:: + _M_realloc_append(_Args&&... __args) +#else + template + void + vector<_Tp, _Alloc>:: + _M_realloc_append(const _Tp& __x) +#endif + { + const size_type __len = _M_check_len(1u, "vector::_M_realloc_append"); + if (__len <= 0) + __builtin_unreachable (); + pointer __old_start = this->_M_impl._M_start; + pointer __old_finish = this->_M_impl._M_finish; + const size_type __elems = end() - begin(); + pointer __new_start(this->_M_allocate(__len)); + pointer __new_finish(__new_start); + + // RAII guard for allocated storage. + struct _Guard + { + pointer _M_storage; // Storage to deallocate + size_type _M_len; + _Tp_alloc_type& _M_alloc; + + _GLIBCXX20_CONSTEXPR + _Guard(pointer __s, size_type __l, _Tp_alloc_type& __a) + : _M_storage(__s), _M_len(__l), _M_alloc(__a) + { } + + _GLIBCXX20_CONSTEXPR + ~_Guard() + { + if (_M_storage) + __gnu_cxx::__alloc_traits<_Tp_alloc_type>:: + deallocate(_M_alloc, _M_storage, _M_len); + } + + private: + _Guard(const _Guard&); + }; + + { + _Guard __guard(__new_start, __len, _M_impl); + + // The order of the three operations is dictated by the C++11 + // case, where the moves could alter a new element belonging + // to the existing vector. This is an issue only for callers + // taking the element by lvalue ref (see last bullet of C++11 + // [res.on.arguments]). + + // If this throws, the existing elements are unchanged. +#if __cplusplus >= 201103L + _Alloc_traits::construct(this->_M_impl, + std::__to_address(__new_start + __elems), + std::forward<_Args>(__args)...); +#else + _Alloc_traits::construct(this->_M_impl, + __new_start + __elems, + __x); +#endif + +#if __cplusplus >= 201103L + if _GLIBCXX17_CONSTEXPR (_S_use_relocate()) + { + // Relocation cannot throw. + __new_finish = _S_relocate(__old_start, __old_finish, + __new_start, _M_get_Tp_allocator()); + ++__new_finish; + } + else +#endif + { + // RAII type to destroy initialized elements. + struct _Guard_elts + { + pointer _M_first, _M_last; // Elements to destroy + _Tp_alloc_type& _M_alloc; + + _GLIBCXX20_CONSTEXPR + _Guard_elts(pointer __elt, _Tp_alloc_type& __a) + : _M_first(__elt), _M_last(__elt + 1), _M_alloc(__a) + { } + + _GLIBCXX20_CONSTEXPR + ~_Guard_elts() + { std::_Destroy(_M_first, _M_last, _M_alloc); } + + private: + _Guard_elts(const _Guard_elts&); + }; + + // Guard the new element so it will be destroyed if anything throws. + _Guard_elts __guard_elts(__new_start + __elems, _M_impl); + + __new_finish = std::__uninitialized_move_if_noexcept_a( + __old_start, __old_finish, + __new_start, _M_get_Tp_allocator()); + + ++__new_finish; + // Guard everything before the new element too. + __guard_elts._M_first = __new_start; + + // New storage has been fully initialized, destroy the old elements. + __guard_elts._M_first = __old_start; + __guard_elts._M_last = __old_finish; + } + __guard._M_storage = __old_start; + __guard._M_len = this->_M_impl._M_end_of_storage - __old_start; + } + // deallocate should be called before assignments to _M_impl, + // to avoid call-clobbering + + this->_M_impl._M_start = __new_start; + this->_M_impl._M_finish = __new_finish; + this->_M_impl._M_end_of_storage = __new_start + __len; + } + template _GLIBCXX20_CONSTEXPR void