[v19,00/40] Optimize type traits performance

Message ID 20231013223957.1634024-1-kmatsui@gcc.gnu.org
Headers
Series Optimize type traits performance |

Message

Ken Matsui Oct. 13, 2023, 10:37 p.m. UTC
  This patch series optimizes type traits performance by implementing
built-in type traits and using them in libstdc++.

Changes in v19:

	* Fixed a typo.
	* Rebased on top of trunk.
	* Improved clarity of the commit message.

Changes in v18:

	* Removed all RID values for built-in traits and used cik_trait
	instead.
	* Improved to handle the use of non-function-like built-in trait
	identifiers.
	* Reverted all changes to conflicted identifiers with new built-ins
	in the existing code base.

Changes in v17:

	* Rebased on top of trunk.
	* Improved clarity of the commit message.
	* Simplified Make-lang.in.
	* Made ridpointers for RID_TRAIT_EXPR and RID_TRAIT_TYPE empty.

Changes in v16:

	* Rebased on top of trunk.
	* Improved clarity of the commit message.
	* Simplified Make-lang.in and gperf struct.
	* Supply -k option to gperf to support older versions than 2.8.

Changes in v15:

	* Rebased on top of trunk.
	* Use gperf to look up traits instead of enum rid.

Changes in v14:

	* Added padding calculation to the commit message.

Changes in v13:

	* Fixed ambiguous commit message and comment.

Changes in v12:

	* Evaluated all paddings affected by the enum rid change.

Changes in v11:

	* Merged all patches into one patch series.
	* Rebased on top of trunk.
	* Unified commit message style.
	* Used _GLIBCXX_USE_BUILTIN_TRAIT.

Ken Matsui (40):
  c++: Sort built-in traits alphabetically
  c-family, c++: Look up built-in traits through gperf
  c++: Accept the use of built-in trait identifiers
  c++: Implement __is_const built-in trait
  libstdc++: Optimize is_const trait performance
  c++: Implement __is_volatile built-in trait
  libstdc++: Optimize is_volatile trait performance
  c++: Implement __is_array built-in trait
  libstdc++: Optimize is_array trait performance
  c++: Implement __is_unbounded_array built-in trait
  libstdc++: Optimize is_unbounded_array trait performance
  c++: Implement __is_bounded_array built-in trait
  libstdc++: Optimize is_bounded_array trait performance
  c++: Implement __is_scoped_enum built-in trait
  libstdc++: Optimize is_scoped_enum trait performance
  c++: Implement __is_member_pointer built-in trait
  libstdc++: Optimize is_member_pointer trait performance
  c++: Implement __is_member_function_pointer built-in trait
  libstdc++: Optimize is_member_function_pointer trait performance
  c++: Implement __is_member_object_pointer built-in trait
  libstdc++: Optimize is_member_object_pointer trait performance
  c++: Implement __is_reference built-in trait
  libstdc++: Optimize is_reference trait performance
  c++: Implement __is_function built-in trait
  libstdc++: Optimize is_function trait performance
  libstdc++: Optimize is_object trait performance
  c++: Implement __remove_pointer built-in trait
  libstdc++: Optimize remove_pointer trait performance
  c++: Implement __is_pointer built-in trait
  libstdc++: Optimize is_pointer trait performance
  c++: Implement __is_arithmetic built-in trait
  libstdc++: Optimize is_arithmetic trait performance
  libstdc++: Optimize is_fundamental trait performance
  libstdc++: Optimize is_compound trait performance
  c++: Implement __is_unsigned built-in trait
  libstdc++: Optimize is_unsigned trait performance
  c++: Implement __is_signed built-in trait
  libstdc++: Optimize is_signed trait performance
  c++: Implement __is_scalar built-in trait
  libstdc++: Optimize is_scalar trait performance

 gcc/c-family/c-common.cc		       |   7 -
 gcc/c-family/c-common.h		       |   5 -
 gcc/cp/Make-lang.in			       |  26 ++
 gcc/cp/constraint.cc			       | 112 +++++--
 gcc/cp/cp-objcp-common.cc		       |   8 +-
 gcc/cp/cp-trait-head.in		       |  30 ++
 gcc/cp/cp-trait.def			       |  27 +-
 gcc/cp/cp-trait.gperf			       |  91 ++++++
 gcc/cp/cp-trait.h			       | 285 ++++++++++++++++++
 gcc/cp/cp-tree.h			       |  14 +-
 gcc/cp/lex.cc				       |  19 ++
 gcc/cp/parser.cc			       | 144 ++++++---
 gcc/cp/semantics.cc			       | 157 +++++++---
 gcc/testsuite/g++.dg/ext/has-builtin-1.C      | 117 +++++--
 gcc/testsuite/g++.dg/ext/is_arithmetic.C      |  33 ++
 gcc/testsuite/g++.dg/ext/is_array.C	       |  28 ++
 gcc/testsuite/g++.dg/ext/is_bounded_array.C   |  38 +++
 gcc/testsuite/g++.dg/ext/is_const.C	       |  19 ++
 gcc/testsuite/g++.dg/ext/is_function.C        |  58 ++++
 .../g++.dg/ext/is_member_function_pointer.C   |  31 ++
 .../g++.dg/ext/is_member_object_pointer.C     |  30 ++
 gcc/testsuite/g++.dg/ext/is_member_pointer.C  |  30 ++
 gcc/testsuite/g++.dg/ext/is_pointer.C	       |  51 ++++
 gcc/testsuite/g++.dg/ext/is_reference.C       |  34 +++
 gcc/testsuite/g++.dg/ext/is_scalar.C	       |  31 ++
 gcc/testsuite/g++.dg/ext/is_scoped_enum.C     |  67 ++++
 gcc/testsuite/g++.dg/ext/is_signed.C	       |  47 +++
 gcc/testsuite/g++.dg/ext/is_unbounded_array.C |  37 +++
 gcc/testsuite/g++.dg/ext/is_unsigned.C        |  47 +++
 gcc/testsuite/g++.dg/ext/is_volatile.C        |  19 ++
 gcc/testsuite/g++.dg/ext/remove_pointer.C     |  51 ++++
 libstdc++-v3/include/bits/cpp_type_traits.h   |   8 +
 libstdc++-v3/include/std/type_traits	       | 284 +++++++++++++++--
 33 files changed, 1784 insertions(+), 201 deletions(-)
 create mode 100644 gcc/cp/cp-trait-head.in
 create mode 100644 gcc/cp/cp-trait.gperf
 create mode 100644 gcc/cp/cp-trait.h
 create mode 100644 gcc/testsuite/g++.dg/ext/is_arithmetic.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_array.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_bounded_array.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_const.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_function.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_member_function_pointer.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_member_object_pointer.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_member_pointer.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_pointer.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_reference.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_scalar.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_scoped_enum.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_signed.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_unbounded_array.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_unsigned.C
 create mode 100644 gcc/testsuite/g++.dg/ext/is_volatile.C
 create mode 100644 gcc/testsuite/g++.dg/ext/remove_pointer.C