compile-time-property_list.asciidoc

Test plan for compile-time property_list

This is a test plan for the APIs described in SYCL_EXT_ONEAPI_property_list.asciidoc

1. Testing scope

1.1. Device coverage

All of the tests described below are performed only on the default device that is selected on the CTS command line.

1.2. Feature test macro

All of the tests should use #ifdef SYCL_EXT_ONEAPI_PROPERTY_LIST so they can be skipped if feature is not supported.

2. Tests

Tests are using compile-time properties from extension SYCL_EXT_ONEAPI_DEVICE_GLOBAL, because of it test should be skipped if SYCL_EXT_ONEAPI_DEVICE_GLOBAL is not defined.

2.1. Tests for property_value

Get prop_values from prop_lists:

property_list props1{device_image_scope_v};

auto prop_value1 = props.get_property<device_image_scope>();

property_list props2{host_access_v<A>}; where A = host_access::access::read, host_access::access::write, host_access::access::read_write, host_access::access::none

auto prop_value_A = props.get_property<host_access>();

Check that for prop_value1 members value and value_t are not available.

Check that for every A prop_value_A member value is A and member value_t is host_access::access.

2.2. Tests for equality and inequality operators for properties

Get prop_values from prop_lists:

property_list props1{device_image_scope_v};

auto prop_value_device_image_scope = props.get_property<device_image_scope>();

property_list props2{implement_in_csr_v<true>};

auto prop_value_implement_in_csr_true = props.get_property<implement_in_csr_v>();

property_list props3{implement_in_csr_v<false>};

auto prop_value_implement_in_csr_false = props.get_property<implement_in_csr_v>();

Check constexpr correctness if required and result for operators:

operator	first parameter	second parameter	result
template <class Prop, class…​A, class…​B> constexpr bool operator==(property_value<Prop, A…​> V1, property_value<Prop, B…​> V2)	prop_value_device_image_scope	prop_value_device_image_scope	true
template <class Prop, class…​A, class…​B> constexpr bool operator==(property_value<Prop, A…​> V1, property_value<Prop, B…​> V2)	prop_value_implement_in_csr_true	prop_value_implement_in_csr_true	true
template <class Prop, class…​A, class…​B> constexpr bool operator==(property_value<Prop, A…​> V1, property_value<Prop, B…​> V2)	prop_value_implement_in_csr_true	prop_value_implement_in_csr_false	false
template <class Prop, class…​A, class…​B> constexpr bool operator!=(property_value<Prop, A…​> V1, property_value<Prop, B…​> V2)	prop_value_device_image_scope	prop_value_device_image_scope	false
template <class Prop, class…​A, class…​B> constexpr bool operator!=(property_value<Prop, A…​> V1, property_value<Prop, B…​> V2)	prop_value_implement_in_csr_false	prop_value_implement_in_csr_false	false
template <class Prop, class…​A, class…​B> constexpr bool operator!=(property_value<Prop, A…​> V1, property_value<Prop, B…​> V2)	prop_value_implement_in_csr_true	prop_value_implement_in_csr_false	true

2.3. Tests for property_list

2.3.1. has_property

Create property_list with property_list P1{device_image_scope_v, implement_in_csr_v<true>, host_access_v<access:read>} and check P1.has_property<T> returns:

• true for T = device_image_scope

• true for T = implement_in_csr

• true for T = host_access

• false for T = init_mode

2.4. Tests for is_property_list

• Create property_list with property_list props{device_image_scope_v, implement_in_csr_v<true>}

• Check that is_property_list<decltype(props)> is std::true_type

• Check that is_property_list_v<decltype(props)> is true

• Create custom class A

• Check that is_property_list<A> is std::false_type

• Check that is_property_list_v<A> is false

2.5. Different order

• Call property_list constructor property_list P1{implement_in_csr_v<true>, device_image_scope_v}

• Call property_list constructor property_list P2{device_image_scope_v, implement_in_csr_v<true>}

• Check that std::is_same_v<decltype(P1), decltype(P2)> is true.

2.6. is_property

• Check that is_property<device_image_scope> is std::true_type

• Check that is_property<host_access> is std::true_type

• Check that is_property<init_mode> is std::true_type

• Check that is_property<device_image_scope> is std::true_type

2.7. is_device_copyable

2.7.1. is_device_copyable for compile-time-constant properties

• Check that is_device_copyable<device_image_scope::value_t> is std::true_type

• Check that is_device_copyable<host_access::value_t<access::read>> is std::true_type

• Check that is_device_copyable<host_access::value_t<access::write>> is std::true_type

• Check that is_device_copyable<host_access::value_t<access::read_write>> is std::true_type

• Check that is_device_copyable<host_access::value_t<access::none>> is std::true_type

• Check that is_device_copyable<init_mode::value_t<trigger::reprogram>> is std::true_type

• Check that is_device_copyable<init_mode::value_t<trigger::reset>> is std::true_type

• Check that is_device_copyable<implement_in_csr::value_t<true>> is std::true_type

• Check that is_device_copyable<implement_in_csr::value_t<false>> is std::true_type

2.7.2. is_device_copyable for empty property_list

• Create empty propery_list property_list P1{}

• Check that is_device_copyable<decltype(P1)> is std::true_type

2.7.3. is_device_copyable for property_list with only compile-time-constant properties

• Create property_list property_list P2{implement_in_csr_v<true>, device_image_scope_v}

• Check that is_device_copyable<decltype(P2)> is std::true_type