Implement tests for SYCL_KHR_DEFAULT_CONTEXT extension

CMakeLists.txt

@@ -43,6 +43,9 @@ add_cts_option(SYCL_CTS_ENABLE_DEPRECATED_FEATURES_TESTS
 add_cts_option(SYCL_CTS_ENABLE_EXT_ONEAPI_TESTS
     "Enable all extension oneAPI tests" OFF)
 
+add_cts_option(SYCL_CTS_ENABLE_KHR_TESTS
+    "Enable all extension Khronos tests" OFF)
+
 add_cts_option(SYCL_CTS_ENABLE_EXT_ONEAPI_PROPERTIES_TESTS
     "Enable extension oneAPI compile-time property list tests" OFF
     FORCE_ON ${SYCL_CTS_ENABLE_EXT_ONEAPI_TESTS})
@@ -103,6 +106,10 @@ add_cts_option(SYCL_CTS_ENABLE_EXT_ONEAPI_ENQUEUE_FUNCTIONS_TESTS
     "Enable extension oneAPI enqueue_functions tests" OFF
     FORCE_ON ${SYCL_CTS_ENABLE_EXT_ONEAPI_TESTS})
 
+add_cts_option(SYCL_CTS_ENABLE_KHR_DEFAULT_CONTEXT_TESTS
+    "Enable extension Khronos default_context tests" OFF
+    FORCE_ON ${SYCL_CTS_ENABLE_KHR_TESTS})
+
 # TODO: Deprecated - remove
 add_cts_option(SYCL_CTS_ENABLE_VERBOSE_LOG
     "Enable debug-level logs (deprecated)" OFF)

tests/extension/khr_default_context/CMakeLists.txt

@@ -0,0 +1,5 @@
+if(SYCL_CTS_ENABLE_KHR_DEFAULT_CONTEXT_TESTS)
+    file(GLOB test_cases_list *.cpp)
+
+    add_cts_test(${test_cases_list})
+endif()

tests/extension/khr_default_context/default_context.cpp

@@ -0,0 +1,75 @@
+/*******************************************************************************
+//
+//  SYCL 2020 Conformance Test Suite
+//
+//  Copyright (c) 2024 The Khronos Group Inc.
+//
+//  Licensed under the Apache License, Version 2.0 (the "License");
+//  you may not use this file except in compliance with the License.
+//  You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+//  Unless required by applicable law or agreed to in writing, software
+//  distributed under the License is distributed on an "AS IS" BASIS,
+//  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+//  See the License for the specific language governing permissions and
+//  limitations under the License.
+//
+*******************************************************************************/
+
+#include "../../common/common.h"
+
+namespace default_context::tests {
+
+TEST_CASE(
+    "the default context extension defines the SYCL_KHR_DEFAULT_CONTEXT macro",
+    "[khr_default_context]") {
+#ifndef SYCL_KHR_DEFAULT_CONTEXT
+  static_assert(false, "SYCL_KHR_DEFAULT_CONTEXT is not defined");
+#endif
+}
+
+TEST_CASE("the default context contains all of the default platform's devices",
+          "[khr_default_context]") {
+  sycl::platform platform{};
+  sycl::context defaultContext = platform.khr_get_default_context();
+  CHECK(defaultContext.get_devices() == platform.get_devices());
+}
+
+TEST_CASE("queue constructors use the default context or the context parameter",
+          "[khr_default_context]") {
+  const sycl::property_list& propList = {};
+  cts_async_handler asyncHandler;
+  const auto& deviceSelector = sycl::default_selector_v;
+  sycl::device syclDevice;
+  sycl::context syclContext;
+  sycl::context defaultContext = sycl::platform{}.khr_get_default_context();
+
+  // Check that a default-constructed context is not the default context.
+  CHECK(syclContext != defaultContext);
+
+  // Default context constructors
+  CHECK(defaultContext == sycl::queue{propList}.get_context());
+  CHECK(defaultContext == sycl::queue{asyncHandler, propList}.get_context());
+  CHECK(defaultContext == sycl::queue{deviceSelector, propList}.get_context());
+  CHECK(defaultContext ==
+        sycl::queue{deviceSelector, asyncHandler, propList}.get_context());
+  CHECK(defaultContext == sycl::queue{syclDevice, propList}.get_context());
+  CHECK(defaultContext ==
+        sycl::queue{syclDevice, asyncHandler, propList}.get_context());
+
+  // Non-default context constructors
+  CHECK(syclContext ==
+        sycl::queue{syclContext, deviceSelector, propList}.get_context());
+  CHECK(syclContext ==
+        sycl::queue{syclContext, deviceSelector, asyncHandler, propList}
+            .get_context());
+  CHECK(syclContext ==
+        sycl::queue{syclContext, syclDevice, propList}.get_context());
+  CHECK(syclContext ==
+        sycl::queue{syclContext, syclDevice, asyncHandler, propList}
+            .get_context());
+}
+
+}  // namespace default_context::tests