kokkos-execution 0.0.1
Loading...
Searching...
No Matches
Tests Namespace Reference

Namespaces

namespace  ExecutionSpaceImpl
namespace  GraphImpl
namespace  gtest_suite_UponStoppedTest_
namespace  Impl
namespace  Std
namespace  Utils

Classes

class  check_completion_scheduler_default_Test
class  check_completion_scheduler_static_thread_pool_Test
class  check_rcvr_env_lvalue_Test
class  check_rcvr_env_queryable_with_and_not_lvalue_Test
class  check_rcvr_env_queryable_with_and_not_rvalue_Test
class  check_rcvr_env_rvalue_Test
class  ClosureTest
class  ClosureTest_stored_by_value_Test
class  completion_signatures_operator_equal_checks_for_set_equality_Test
struct  DoSomethingOnExit
class  get_start_scheduler_continues_on_error_completion_Test
class  get_start_scheduler_continues_on_Test
class  get_start_scheduler_let_value_Test
class  get_start_scheduler_sync_wait_Test
class  inline_scheduler_main_thread_Test
class  inline_scheduler_pool_thread_Test
class  lifetime_scope_object_with_exit_Test
class  ParallelForDataTest
class  ParallelForDataTest_transform_policy_or_iter_space_perfectly_forwards_properties_Test
class  ParallelForDataTest_transform_policy_or_iter_space_Test
class  ParallelForTest_closure_object_creation_perfectly_forwards_functor_Test
class  ParallelReduceDataTest
class  ParallelReduceDataTest_transform_policy_or_iter_space_perfectly_forwards_properties_Test
class  ParallelReduceDataTest_transform_policy_or_iter_space_Test
class  ParallelReduceTest_closure_object_creation_perfectly_forwards_functor_Test
struct  PropA
struct  PropB
struct  scope_object_with_exit
 Inspired by the examples from [4]. It calls T::exit when the scope ends. More...
class  starts_on_is_dependent_if_sch_sender_and_child_do_not_have_eptr_completion_Test
class  starts_on_may_be_non_dependent_if_child_has_eptr_completion_Test
class  TrackingAllocatorTest_forwarded_through_then_Test
class  TrackingAllocatorTest_write_read_env_Test
class  TransformSender_transform_sender_moves_once_Test
class  UponStoppedTest
class  WhenAll_no_branch_Test
class  WhenAll_single_branch_Test
class  WhenAllTest_only_schedule_sender_branches_Test

Typedefs

using Empty = Kokkos::Execution::Impl::Empty
using NoOp = Tests::Utils::Functors::NoOp<false, false, false>
using ThrowsWhenCopied = Tests::Utils::Functors::ThrowsWhenCopied
using env_with_stop_token_t = stdexec::env<stdexec::prop<stdexec::get_stop_token_t, stdexec::inplace_stop_token>>
 An environment queryable for stdexec::get_stop_token_t.
using UponStoppedTestTypes = testing::Types<exec::static_thread_pool, exec::single_thread_context>
using sndr_A_t
using sndr_B_t
using run_loop_scheduler_t = stdexec::run_loop::scheduler
using static_thread_pool_scheduler_t = experimental::execution::_pool::_static_thread_pool::scheduler

Functions

consteval bool test_closure_from_rvalue ()
consteval bool test_nothrow_constructibility ()
consteval bool test_decays ()
consteval bool test_may_be_composed_with_closure_of_the_same_type ()
consteval bool test_completion_signatures_operator_equal_checks_for_set_equality ()
consteval bool test_is_forwarding_query ()
consteval bool test_completion_behavior ()
consteval bool test_starts_on_is_dependent_if_sch_sender_and_child_do_not_have_eptr_completion ()
consteval bool test_starts_on_may_be_non_dependent_if_child_has_eptr_completion ()
consteval bool test_transform_sender_moves_once ()
template<typename Sndr>
consteval bool test_stopped_advertised_iff_stop_token ()
template<bool Stop, stdexec::sender SchdSndr>
void test_stop_before_start (SchdSndr &&schd_sndr)
consteval bool test_when_all_completion_domain ()
consteval bool test_when_all_dependent_sender ()
consteval bool test_parallel_for_in_constant_expression ()
consteval bool test_parallel_for_data_concept ()
consteval bool test_parallel_for_data_traits ()
consteval bool test_parallel_for_data_size ()
consteval bool test_parallel_for_noexcept_contract ()
consteval bool test_label_storage ()
consteval bool test_parallel_for_many_properties ()
consteval bool test_parallel_for_sndr_decomposition ()
consteval bool test_parallel_reduce_in_constant_expression ()
consteval bool test_parallel_reduce_data_concept ()
consteval bool test_parallel_reduce_data_traits ()
consteval bool test_parallel_reduce_data_size ()
consteval bool test_parallel_reduce_noexcept_contract ()
consteval bool test_parallel_reduce_many_properties ()
consteval bool test_parallel_reduce_sndr_decomposition ()
consteval auto get_sndr ()

Variables

::testing::internal::TypedTestSuitePState gtest_typed_test_suite_p_state_UponStoppedTest_
static const char *const gtest_registered_test_names_UponStoppedTest_ = gtest_typed_test_suite_p_state_UponStoppedTest_ .VerifyRegisteredTestNames( "UponStoppedTest" , "/__w/kokkos-execution/kokkos-execution/tests/stdexec/test_upon_stopped.cpp", 98, "stop_before_start")
static bool gtest_UponStoppedTestInstantiation_UponStoppedTest = ::testing::internal::TypeParameterizedTestSuite< UponStoppedTest, gtest_suite_UponStoppedTest_::gtest_AllTests_, ::testing::internal::GenerateTypeList<UponStoppedTestTypes>::type>:: Register( "UponStoppedTestInstantiation" , ::testing::internal::CodeLocation("/__w/kokkos-execution/kokkos-execution/tests/stdexec/test_upon_stopped.cpp", 102), & gtest_typed_test_suite_p_state_UponStoppedTest_ , "UponStoppedTest" , gtest_registered_test_names_UponStoppedTest_ , ::testing::internal::GenerateNames< ::testing::internal::NameGeneratorSelector< >::type, ::testing::internal::GenerateTypeList<UponStoppedTestTypes>::type>())
Tests::PropA prop_a
Tests::PropB prop_b

Typedef Documentation

◆ Empty

Definition at line 23 of file test_closure.cpp.

◆ env_with_stop_token_t

using Tests::env_with_stop_token_t = stdexec::env<stdexec::prop<stdexec::get_stop_token_t, stdexec::inplace_stop_token>>

An environment queryable for stdexec::get_stop_token_t.

Definition at line 26 of file test_upon_stopped.cpp.

◆ NoOp

using Tests::NoOp = Tests::Utils::Functors::NoOp<false, false, false>

Definition at line 24 of file test_closure.cpp.

◆ run_loop_scheduler_t

using Tests::run_loop_scheduler_t = stdexec::run_loop::scheduler

Definition at line 29 of file test_check_completion_scheduler_type.cpp.

◆ sndr_A_t

Initial value:
decltype(stdexec::when_all(
stdexec::schedule(stdexec::inline_scheduler{}) | stdexec::then([]() { }),
stdexec::just() | stdexec::then([]() { })))

Definition at line 24 of file test_when_all.cpp.

◆ sndr_B_t

Initial value:
decltype(stdexec::when_all(
stdexec::schedule(stdexec::inline_scheduler{}) | stdexec::then([]() { }),
stdexec::schedule(std::declval<exec::single_thread_context>().get_scheduler()) | stdexec::then([]() { })))

Definition at line 28 of file test_when_all.cpp.

◆ static_thread_pool_scheduler_t

using Tests::static_thread_pool_scheduler_t = experimental::execution::_pool::_static_thread_pool::scheduler

Definition at line 30 of file test_check_completion_scheduler_type.cpp.

◆ ThrowsWhenCopied

◆ UponStoppedTestTypes

using Tests::UponStoppedTestTypes = testing::Types<exec::static_thread_pool, exec::single_thread_context>

Definition at line 100 of file test_upon_stopped.cpp.

Function Documentation

◆ get_sndr()

auto Tests::get_sndr ( )
consteval

Write PropA in the environment with stdexec::write_env and check that Tests::Utils::check_rcvr_env_queryable_with indicates that the environment is queryable with PropA and Tests::Utils::check_rcvr_env_not_queryable_with indicates that the environment is not queryable with PropB.

Definition at line 24 of file test_check_rcvr_env.cpp.

References Tests::Utils::check_rcvr_env, get_sndr(), prop_a, and prop_b.

◆ test_closure_from_rvalue()

bool Tests::test_closure_from_rvalue ( )
consteval
Test
An rvalue is move-constructed and can be in a constant expression.

Definition at line 28 of file test_closure.cpp.

References test_closure_from_rvalue().

◆ test_completion_behavior()

bool Tests::test_completion_behavior ( )
consteval
Test
Check that the completion behavior of stdexec::inline_scheduler is exec::completion_behavior::inline_completion.

Definition at line 31 of file test_inline_scheduler.cpp.

References test_completion_behavior().

◆ test_completion_signatures_operator_equal_checks_for_set_equality()

bool Tests::test_completion_signatures_operator_equal_checks_for_set_equality ( )
consteval

◆ test_decays()

bool Tests::test_decays ( )
consteval
Test
stdexec::__closure decays the input types.

Definition at line 73 of file test_closure.cpp.

References test_decays().

◆ test_is_forwarding_query()

bool Tests::test_is_forwarding_query ( )
consteval

Definition at line 28 of file test_get_start_scheduler.cpp.

References test_is_forwarding_query().

◆ test_label_storage()

bool Tests::test_label_storage ( )
consteval

◆ test_may_be_composed_with_closure_of_the_same_type()

◆ test_nothrow_constructibility()

bool Tests::test_nothrow_constructibility ( )
consteval
Test
The nothrow contract is such that a throwing-copy argument makes the closure ctor potentially-throwing, while a nothrow-movable one keeps it noexcept.

Definition at line 64 of file test_closure.cpp.

References test_nothrow_constructibility().

◆ test_parallel_for_data_concept()

bool Tests::test_parallel_for_data_concept ( )
consteval
Test
Check that Kokkos::Execution::Impl::parallel_for_data works as expected.

Definition at line 66 of file test_parallel_for.cpp.

References test_parallel_for_data_concept().

◆ test_parallel_for_data_size()

bool Tests::test_parallel_for_data_size ( )
consteval
Test
Check that Kokkos::Execution::Impl::ParallelForData size depends on the given properties.

Definition at line 113 of file test_parallel_for.cpp.

References test_parallel_for_data_size().

◆ test_parallel_for_data_traits()

bool Tests::test_parallel_for_data_traits ( )
consteval
Test
Check Kokkos::Execution::Impl::ParallelForData traits.

Is an aggregate.

Is nothrow move constructible.

Aliases.

Is labeled with Kokkos::Execution::Impl::labeled.

Definition at line 78 of file test_parallel_for.cpp.

References test_parallel_for_data_traits().

◆ test_parallel_for_in_constant_expression()

bool Tests::test_parallel_for_in_constant_expression ( )
consteval
Test
The Kokkos::Execution::parallel_for_t operator may be used in a constant expression.

Definition at line 30 of file test_parallel_for.cpp.

References Kokkos::Execution::parallel_for, and test_parallel_for_in_constant_expression().

◆ test_parallel_for_many_properties()

bool Tests::test_parallel_for_many_properties ( )
consteval
Test
Check that Kokkos::Execution::parallel_for_t accepts arbitrary properties.

Definition at line 301 of file test_parallel_for.cpp.

References Kokkos::Execution::parallel_for, and test_parallel_for_many_properties().

◆ test_parallel_for_noexcept_contract()

bool Tests::test_parallel_for_noexcept_contract ( )
consteval
Test
Check that the noexcept contract of Kokkos::Execution::parallel_for is as expected.

With Kokkos::Execution::Impl::Label directly.

Definition at line 208 of file test_parallel_for.cpp.

References Kokkos::Execution::parallel_for, and test_parallel_for_noexcept_contract().

◆ test_parallel_for_sndr_decomposition()

bool Tests::test_parallel_for_sndr_decomposition ( )
consteval
Test
Check decomposition of Kokkos::Execution::Impl::ParallelForSender into the algorithm tag, data, and child sender.

stdexec::just sender.

Parallel for sender.

Is decomposable into the expected algorithm tag, data, and child sender.

Definition at line 332 of file test_parallel_for.cpp.

References test_parallel_for_sndr_decomposition().

◆ test_parallel_reduce_data_concept()

bool Tests::test_parallel_reduce_data_concept ( )
consteval
Test
Check that Kokkos::Execution::Impl::parallel_reduce_data works as expected.

Definition at line 70 of file test_parallel_reduce.cpp.

References test_parallel_reduce_data_concept().

◆ test_parallel_reduce_data_size()

bool Tests::test_parallel_reduce_data_size ( )
consteval
Test
Check that Kokkos::Execution::Impl::ParallelReduceData size depends on the given properties.

Definition at line 119 of file test_parallel_reduce.cpp.

References test_parallel_reduce_data_size().

◆ test_parallel_reduce_data_traits()

bool Tests::test_parallel_reduce_data_traits ( )
consteval
Test
Check Kokkos::Execution::Impl::ParallelReduceData traits.

Is an aggregate.

Is nothrow move constructible.

Aliases.

Is labeled with Kokkos::Execution::Impl::labeled.

Definition at line 82 of file test_parallel_reduce.cpp.

References test_parallel_reduce_data_traits().

◆ test_parallel_reduce_in_constant_expression()

bool Tests::test_parallel_reduce_in_constant_expression ( )
consteval
Test
The Kokkos::Execution::parallel_reduce_t operator may be used in a constant expression.

Definition at line 30 of file test_parallel_reduce.cpp.

References Kokkos::Execution::parallel_reduce, and test_parallel_reduce_in_constant_expression().

◆ test_parallel_reduce_many_properties()

bool Tests::test_parallel_reduce_many_properties ( )
consteval

◆ test_parallel_reduce_noexcept_contract()

bool Tests::test_parallel_reduce_noexcept_contract ( )
consteval
Test
Check that the noexcept contract of Kokkos::Execution::parallel_reduce is as expected.

With Kokkos::Execution::Impl::Label directly.

Definition at line 227 of file test_parallel_reduce.cpp.

References Kokkos::Execution::parallel_reduce, and test_parallel_reduce_noexcept_contract().

◆ test_parallel_reduce_sndr_decomposition()

bool Tests::test_parallel_reduce_sndr_decomposition ( )
consteval
Test
Check decomposition of Kokkos::Execution::Impl::ParallelReduceSender into the algorithm tag, data, and child sender.

stdexec::just sender.

Parallel reducer sender.

Is decomposable into the expected algorithm tag, data, and child sender.

Definition at line 367 of file test_parallel_reduce.cpp.

References test_parallel_reduce_sndr_decomposition().

◆ test_starts_on_is_dependent_if_sch_sender_and_child_do_not_have_eptr_completion()

bool Tests::test_starts_on_is_dependent_if_sch_sender_and_child_do_not_have_eptr_completion ( )
consteval

◆ test_starts_on_may_be_non_dependent_if_child_has_eptr_completion()

bool Tests::test_starts_on_may_be_non_dependent_if_child_has_eptr_completion ( )
consteval

◆ test_stop_before_start()

template<bool Stop, stdexec::sender SchdSndr>
void Tests::test_stop_before_start ( SchdSndr && schd_sndr)
Test
A stop requested before start skips the work and reaches stdexec::upon_stopped.

stdexec::upon_stopped absorbs the stdexec::set_stopped_t channel.

Definition at line 39 of file test_upon_stopped.cpp.

References test_stop_before_start(), and test_stopped_advertised_iff_stop_token().

◆ test_stopped_advertised_iff_stop_token()

template<typename Sndr>
bool Tests::test_stopped_advertised_iff_stop_token ( )
consteval
Test
stdexec::set_stopped_t() is advertised only if the environment has a stoppable token.

Definition at line 30 of file test_upon_stopped.cpp.

References test_stopped_advertised_iff_stop_token().

◆ test_transform_sender_moves_once()

bool Tests::test_transform_sender_moves_once ( )
consteval
Test
Same test as TransformSender_transform_sender_moves_once_Test, but in a constant expression.

Definition at line 64 of file test_transform_sender.cpp.

References test_transform_sender_moves_once().

◆ test_when_all_completion_domain()

bool Tests::test_when_all_completion_domain ( )
consteval
Test
Check the completion domain of stdexec::when_all.

Definition at line 33 of file test_when_all.cpp.

References test_when_all_completion_domain().

◆ test_when_all_dependent_sender()

bool Tests::test_when_all_dependent_sender ( )
consteval
Test
Check when stdexec::when_all results in a dependent sender.

Definition at line 54 of file test_when_all.cpp.

References test_when_all_dependent_sender().

Variable Documentation

◆ gtest_registered_test_names_UponStoppedTest_

const char* const Tests::gtest_registered_test_names_UponStoppedTest_ = gtest_typed_test_suite_p_state_UponStoppedTest_ .VerifyRegisteredTestNames( "UponStoppedTest" , "/__w/kokkos-execution/kokkos-execution/tests/stdexec/test_upon_stopped.cpp", 98, "stop_before_start")
static

Definition at line 98 of file test_upon_stopped.cpp.

◆ gtest_typed_test_suite_p_state_UponStoppedTest_

::testing::internal::TypedTestSuitePState Tests::gtest_typed_test_suite_p_state_UponStoppedTest_
static

Definition at line 86 of file test_upon_stopped.cpp.

◆ gtest_UponStoppedTestInstantiation_UponStoppedTest

bool Tests::gtest_UponStoppedTestInstantiation_UponStoppedTest = ::testing::internal::TypeParameterizedTestSuite< UponStoppedTest, gtest_suite_UponStoppedTest_::gtest_AllTests_, ::testing::internal::GenerateTypeList<UponStoppedTestTypes>::type>:: Register( "UponStoppedTestInstantiation" , ::testing::internal::CodeLocation("/__w/kokkos-execution/kokkos-execution/tests/stdexec/test_upon_stopped.cpp", 102), & gtest_typed_test_suite_p_state_UponStoppedTest_ , "UponStoppedTest" , gtest_registered_test_names_UponStoppedTest_ , ::testing::internal::GenerateNames< ::testing::internal::NameGeneratorSelector< >::type, ::testing::internal::GenerateTypeList<UponStoppedTestTypes>::type>())
static

Definition at line 102 of file test_upon_stopped.cpp.

◆ prop_a

Tests::PropA Tests::prop_a

◆ prop_b

Tests::PropB Tests::prop_b