diff --git a/src/util.jl b/src/util.jl index 57ce840c..af237dfc 100644 --- a/src/util.jl +++ b/src/util.jl @@ -166,9 +166,9 @@ function versioninfo(io::IO=stdout) 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 + if in("cl_khr_subgroup_ballot", device.extensions) + push!(sg_tags, "blt") + end push!(tags, "sg:"*join(sg_tags, "+")) end ## render