RISC-V: Implement RESOLVE_OVERLOADED_BUILTIN for RVV intrinsic

Update in v6:
* Rename maybe_require_frm_p to may_require_frm_p.
* Rename maybe_require_vxrm_p to may_require_vxrm_p.
* Move may_require_frm_p and may_require_vxrm_p to function_base.

Update in v5:
* Split has_vxrm_or_frm_p into maybe_require_frm_p and
  maybe_require_vxrm_p.
* Adjust comments.

Update in v4:
* Remove class function_resolver.
* Remove function get_non_overloaded_instance.
* Add overloaded hash traits for non-overloaded intrinsic.
* All overloaded intrinsics are implemented, and the tests pass.

Update in v3:

* Rewrite comment for overloaded function add.
* Move get_non_overloaded_instance to function_base.

Update in v2:

* Add get_non_overloaded_instance for function instance.
* Fix overload check for policy function.
* Enrich the test cases check.

Original log:

This patch would like add the framework to support the RVV overloaded
intrinsic API in riscv-xxx-xxx-gcc, like riscv-xxx-xxx-g++ did.

However, it almost leverage the hook TARGET_RESOLVE_OVERLOADED_BUILTIN
with below steps.

* Register overloaded functions.
* Add function_resolver for overloaded function resolving.
* Add resolve API for function shape with default implementation.
* Implement HOOK for navigating the overloaded API to non-overloaded API.

gcc/ChangeLog:

	* config/riscv/riscv-c.cc (riscv_resolve_overloaded_builtin): New function for the hook.
	(riscv_register_pragmas): Register the hook.
	* config/riscv/riscv-protos.h (resolve_overloaded_builtin): New decl.
	* config/riscv/riscv-vector-builtins-bases.cc: New function impl.
	* config/riscv/riscv-vector-builtins-shapes.cc (build_one): Register overloaded function.
	* config/riscv/riscv-vector-builtins.cc (struct non_overloaded_registered_function_hasher):
	New hash table.
	(function_builder::add_function): Add overloaded arg.
	(function_builder::add_unique_function): Map overloaded function to non-overloaded function.
	(function_builder::add_overloaded_function): New API impl.
	(registered_function::overloaded_hash): Calculate hash value.
	(has_vxrm_or_frm_p): New function impl.
	(non_overloaded_registered_function_hasher::hash): Ditto.
	(non_overloaded_registered_function_hasher::equal): Ditto.
	(handle_pragma_vector): Allocate space for hash table.
	(resolve_overloaded_builtin): New function impl.
	* config/riscv/riscv-vector-builtins.h (function_base::may_require_frm_p): Ditto.
	(function_base::may_require_vxrm_p): Ditto.

gcc/testsuite/ChangeLog:

	* gcc.target/riscv/rvv/base/overloaded_rv32_vadd.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv32_vfadd.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv32_vget_vset.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv32_vloxseg2ei16.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv32_vmv.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv32_vreinterpret.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv64_vadd.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv64_vfadd.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv64_vget_vset.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv64_vloxseg2ei16.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv64_vmv.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_rv64_vreinterpret.c: New test.
	* gcc.target/riscv/rvv/base/overloaded_vadd.h: New test.
	* gcc.target/riscv/rvv/base/overloaded_vfadd.h: New test.
	* gcc.target/riscv/rvv/base/overloaded_vget_vset.h: New test.
	* gcc.target/riscv/rvv/base/overloaded_vloxseg2ei16.h: New test.
	* gcc.target/riscv/rvv/base/overloaded_vmv.h: New test.
	* gcc.target/riscv/rvv/base/overloaded_vreinterpret.h: New test.

Signed-off-by: Li Xu <xuli1@eswincomputing.com>
Co-Authored-By: Pan Li <pan2.li@intel.com>

0 files changed, 0 insertions, 0 deletions