From f808f8fb8474bfd7d1407c32b325b27e5d50627a Mon Sep 17 00:00:00 2001 From: Christian Guinard <28689358+christiangnrd@users.noreply.github.com> Date: Sat, 4 Jul 2026 15:15:55 -0300 Subject: [PATCH 1/2] Report subgroup support in versioninfo --- src/util.jl | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/util.jl b/src/util.jl index b93daf54..30902b8a 100644 --- a/src/util.jl +++ b/src/util.jl @@ -133,6 +133,16 @@ function versioninfo(io::IO=stdout) if in("cl_khr_il_program", device.extensions) push!(tags, "il") end + if cl.sub_groups_supported(device) + sg_tags = [] + if in("cl_khr_subgroup_shuffle", device.extensions) + push!(sg_tags, "shfl") + end + # if in("cl_khr_subgroup_ballot", device.extensions) + # push!(sg_tags, "blt") + # end + push!(tags, "sg:"*join(sg_tags, "+")) + end ## render if !isempty(tags) print(io, " (", join(tags, ", "), ")") From 7cecbc1b0d4c518f58d4503adb92cf0dde2c1e85 Mon Sep 17 00:00:00 2001 From: Christian Guinard <28689358+christiangnrd@users.noreply.github.com> Date: Sat, 4 Jul 2026 17:31:28 -0300 Subject: [PATCH 2/2] Address feedback --- src/util.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/util.jl b/src/util.jl index 30902b8a..d232defd 100644 --- a/src/util.jl +++ b/src/util.jl @@ -93,10 +93,10 @@ function versioninfo(io::IO=stdout) print(io, " ยท $(device.name)") # show a list of tags - tags = [] + tags = String[] ## memory back-ends let - svm_tags = [] + svm_tags = String[] svm_caps = cl.svm_capabilities(device) if svm_caps.coarse_grain_buffer push!(svm_tags, "c") @@ -107,7 +107,7 @@ function versioninfo(io::IO=stdout) push!(tags, "svm:"*join(svm_tags, "+")) end if cl.usm_supported(device) - usm_tags = [] + usm_tags = String[] usm_caps = cl.usm_capabilities(device) if usm_caps.host.access push!(usm_tags, "h") @@ -134,7 +134,7 @@ function versioninfo(io::IO=stdout) push!(tags, "il") end if cl.sub_groups_supported(device) - sg_tags = [] + sg_tags = String[] if in("cl_khr_subgroup_shuffle", device.extensions) push!(sg_tags, "shfl") end