76 lines
2.4 KiB
C
76 lines
2.4 KiB
C
|
//===----------------------------------------------------------------------===//
|
||
|
|
//
|
||
|
|
// Part of libcu++, the C++ Standard Library for your entire system,
|
||
|
|
// under the Apache License v2.0 with LLVM Exceptions.
|
||
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
||
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
||
|
|
// SPDX-FileCopyrightText: Copyright (c) 2025 NVIDIA CORPORATION & AFFILIATES.
|
||
|
|
//
|
||
|
|
//===----------------------------------------------------------------------===//
|
||
|
|
|
||
|
|
#ifndef __CUDA___EXECUTION_REQUIRE_H
|
||
|
|
#define __CUDA___EXECUTION_REQUIRE_H
|
||
|
|
|
||
|
|
#include <cuda/std/detail/__config>
|
||
|
|
|
||
|
|
#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)
|
||
|
|
# pragma GCC system_header
|
||
|
|
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)
|
||
|
|
# pragma clang system_header
|
||
|
|
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)
|
||
|
|
# pragma system_header
|
||
|
|
#endif // no system header
|
||
|
|
|
||
|
|
#include <cuda/std/__concepts/concept_macros.h>
|
||
|
|
#include <cuda/std/__execution/env.h>
|
||
|
|
#include <cuda/std/__type_traits/is_base_of.h>
|
||
|
|
#include <cuda/std/__type_traits/is_empty.h>
|
||
|
|
|
||
|
|
#include <cuda/std/__cccl/prologue.h>
|
||
|
|
|
||
|
|
_CCCL_BEGIN_NAMESPACE_CUDA_EXECUTION
|
||
|
|
|
||
|
|
class __requirement
|
||
|
|
{};
|
||
|
|
|
||
|
|
struct __get_requirements_t
|
||
|
|
{
|
||
|
|
_CCCL_EXEC_CHECK_DISABLE
|
||
|
|
_CCCL_TEMPLATE(class _Env)
|
||
|
|
_CCCL_REQUIRES(::cuda::std::execution::__queryable_with<_Env, __get_requirements_t>)
|
||
|
|
[[nodiscard]] _CCCL_NODEBUG_API constexpr auto operator()(const _Env& __env) const noexcept
|
||
|
|
{
|
||
|
|
static_assert(noexcept(__env.query(*this)));
|
||
|
|
return __env.query(*this);
|
||
|
|
}
|
||
|
|
|
||
|
|
[[nodiscard]]
|
||
|
|
_CCCL_NODEBUG_API static constexpr auto query(::cuda::std::execution::forwarding_query_t) noexcept -> bool
|
||
|
|
{
|
||
|
|
return true;
|
||
|
|
}
|
||
|
|
};
|
||
|
|
|
||
|
|
_CCCL_GLOBAL_CONSTANT auto __get_requirements = __get_requirements_t{};
|
||
|
|
|
||
|
|
template <class... _Requirements>
|
||
|
|
[[nodiscard]] _CCCL_NODEBUG_API auto require(_Requirements...)
|
||
|
|
{
|
||
|
|
static_assert((::cuda::std::is_base_of_v<__requirement, _Requirements> && ...),
|
||
|
|
"Only requirements can be passed to require");
|
||
|
|
static_assert((::cuda::std::is_empty_v<_Requirements> && ...), "Stateful requirements are not implemented");
|
||
|
|
|
||
|
|
// clang < 19 doesn't like this code
|
||
|
|
// since the only requirements we currently allow are in determinism.h and
|
||
|
|
// all of them are stateless, let's ignore incoming parameters
|
||
|
|
::cuda::std::execution::env<_Requirements...> __env{};
|
||
|
|
|
||
|
|
return ::cuda::std::execution::prop{__get_requirements_t{}, __env};
|
||
|
|
}
|
||
|
|
|
||
|
|
_CCCL_END_NAMESPACE_CUDA_EXECUTION
|
||
|
|
|
||
|
|
#include <cuda/std/__cccl/epilogue.h>
|
||
|
|
|
||
|
|
#endif // __CUDA___EXECUTION_REQUIRE_H
|