[clang] [OpenCL] Fix image2d_t qualifier for intel_sub_group_block_write_ui (PR #199232)
Igor Gorban via cfe-commits
cfe-commits at lists.llvm.org
Fri May 22 11:45:09 PDT 2026
https://github.com/igorban-intel updated https://github.com/llvm/llvm-project/pull/199232
>From d04d0b4c9e402dcb1782ba5f413fffe740aac4b7 Mon Sep 17 00:00:00 2001
From: "Gorban, Igor" <igor.gorban at intel.com>
Date: Fri, 22 May 2026 18:31:21 +0200
Subject: [PATCH 1/3] [OpenCL] Fix image2d_t qualifier for
intel_sub_group_block_write_ui
The intel_sub_group_block_write_ui[2,4,8] overloads for image2d_t were
declared with a read_only qualifier, both in opencl-c.h and in
OpenCLBuiltins.td. A write operation cannot target a read_only image, and
the base intel_sub_group_block_write together with the analogous _us, _uc
and _ul aliases all correctly use write_only image2d_t.
Per the cl_intel_subgroups_short [1], cl_intel_subgroups_char [2] and
cl_intel_subgroups_long [3] specifications, the _ui aliases are added "for
naming consistency [...] There is no change to the description or behavior
of these functions" relative to the cl_intel_subgroups base, which uses
write_only image2d_t for writes.
The typo was introduced in b833bf6ae14f and preserved across all
later edits to this area.
Switch the qualifier from read_only to write_only in both opencl-c.h and
OpenCLBuiltins.td, and update intel-subgroups-builtins.cl to match the
corrected signature (the existing test was exercising the buggy overload).
[1] https://registry.khronos.org/OpenCL/extensions/intel/cl_intel_subgroups_short.html
[2] https://registry.khronos.org/OpenCL/extensions/intel/cl_intel_subgroups_char.html
[3] https://registry.khronos.org/OpenCL/extensions/intel/cl_intel_subgroups_long.html
Co-Authored-By: Claude Opus
---
clang/lib/Headers/opencl-c.h | 8 ++++----
clang/lib/Sema/OpenCLBuiltins.td | 8 ++++----
clang/test/SemaOpenCL/intel-subgroups-builtins.cl | 2 +-
3 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/clang/lib/Headers/opencl-c.h b/clang/lib/Headers/opencl-c.h
index f4c7dbae2a00c..5d06df89acf1d 100644
--- a/clang/lib/Headers/opencl-c.h
+++ b/clang/lib/Headers/opencl-c.h
@@ -17553,10 +17553,10 @@ uint4 __ovld __conv intel_sub_group_block_read_ui4( const __global uint* p
uint8 __ovld __conv intel_sub_group_block_read_ui8( const __global uint* p );
#if defined(__opencl_c_images)
-void __ovld __conv intel_sub_group_block_write_ui(read_only image2d_t, int2, uint);
-void __ovld __conv intel_sub_group_block_write_ui2(read_only image2d_t, int2, uint2);
-void __ovld __conv intel_sub_group_block_write_ui4(read_only image2d_t, int2, uint4);
-void __ovld __conv intel_sub_group_block_write_ui8(read_only image2d_t, int2, uint8);
+void __ovld __conv intel_sub_group_block_write_ui(write_only image2d_t, int2, uint);
+void __ovld __conv intel_sub_group_block_write_ui2(write_only image2d_t, int2, uint2);
+void __ovld __conv intel_sub_group_block_write_ui4(write_only image2d_t, int2, uint4);
+void __ovld __conv intel_sub_group_block_write_ui8(write_only image2d_t, int2, uint8);
#endif // defined(__opencl_c_images)
#if defined(__opencl_c_read_write_images)
diff --git a/clang/lib/Sema/OpenCLBuiltins.td b/clang/lib/Sema/OpenCLBuiltins.td
index 356e54c09d02f..6049e87d3fcfe 100644
--- a/clang/lib/Sema/OpenCLBuiltins.td
+++ b/clang/lib/Sema/OpenCLBuiltins.td
@@ -1964,10 +1964,10 @@ let Extension = FuncExtIntelSubgroups in {
def : Builtin<"intel_sub_group_block_read_ui4", [VectorType<UInt, 4>, PointerType<ConstType<UInt>, GlobalAS>], Attr.Convergent>;
def : Builtin<"intel_sub_group_block_read_ui8", [VectorType<UInt, 8>, PointerType<ConstType<UInt>, GlobalAS>], Attr.Convergent>;
- def : Builtin<"intel_sub_group_block_write_ui", [Void, ImageType<Image2d, "RO">, VectorType<Int, 2>, UInt], Attr.Convergent>;
- def : Builtin<"intel_sub_group_block_write_ui2", [Void, ImageType<Image2d, "RO">, VectorType<Int, 2>, VectorType<UInt, 2>], Attr.Convergent>;
- def : Builtin<"intel_sub_group_block_write_ui4", [Void, ImageType<Image2d, "RO">, VectorType<Int, 2>, VectorType<UInt, 4>], Attr.Convergent>;
- def : Builtin<"intel_sub_group_block_write_ui8", [Void, ImageType<Image2d, "RO">, VectorType<Int, 2>, VectorType<UInt, 8>], Attr.Convergent>;
+ def : Builtin<"intel_sub_group_block_write_ui", [Void, ImageType<Image2d, "WO">, VectorType<Int, 2>, UInt], Attr.Convergent>;
+ def : Builtin<"intel_sub_group_block_write_ui2", [Void, ImageType<Image2d, "WO">, VectorType<Int, 2>, VectorType<UInt, 2>], Attr.Convergent>;
+ def : Builtin<"intel_sub_group_block_write_ui4", [Void, ImageType<Image2d, "WO">, VectorType<Int, 2>, VectorType<UInt, 4>], Attr.Convergent>;
+ def : Builtin<"intel_sub_group_block_write_ui8", [Void, ImageType<Image2d, "WO">, VectorType<Int, 2>, VectorType<UInt, 8>], Attr.Convergent>;
def : Builtin<"intel_sub_group_block_write_ui", [Void, PointerType<UInt, GlobalAS>, UInt], Attr.Convergent>;
def : Builtin<"intel_sub_group_block_write_ui2", [Void, PointerType<UInt, GlobalAS>, VectorType<UInt, 2>], Attr.Convergent>;
diff --git a/clang/test/SemaOpenCL/intel-subgroups-builtins.cl b/clang/test/SemaOpenCL/intel-subgroups-builtins.cl
index 473ab5296113d..be77471e89f80 100644
--- a/clang/test/SemaOpenCL/intel-subgroups-builtins.cl
+++ b/clang/test/SemaOpenCL/intel-subgroups-builtins.cl
@@ -123,7 +123,7 @@ void test_block_write_ui_global(__global uint *out, uint value, uint2 value2,
intel_sub_group_block_write_ui8(out, value8);
}
-void test_block_write_ui_image(read_only image2d_t image,
+void test_block_write_ui_image(write_only image2d_t image,
read_write image2d_t rw, int2 coord,
uint value, uint2 value2, uint4 value4,
uint8 value8) {
>From 5248f341b8483a73d43eb081a4e774d784e09f16 Mon Sep 17 00:00:00 2001
From: "Gorban, Igor" <igor.gorban at intel.com>
Date: Fri, 22 May 2026 18:46:58 +0200
Subject: [PATCH 2/3] [OpenCL] Drop incorrect char/short/long gating for _ui
local block I/O aliases
Per the cl_intel_subgroup_local_block_io specification [1], the
intel_sub_group_block_read_ui* and intel_sub_group_block_write_ui*
overloads with a __local pointer are declared by
cl_intel_subgroup_local_block_io alone. cl_intel_subgroups_char,
cl_intel_subgroups_short and cl_intel_subgroups_long are not a
prerequisite for these aliases.
opencl-c.h placed the aliases inside an inner
#if defined(cl_intel_subgroups_char) || defined(cl_intel_subgroups_short) ||
defined(cl_intel_subgroups_long)
block introduced by ddcccc4afaff ("[OpenCL] Add decls for
cl_intel_subgroups_char, cl_intel_subgroups_long"), so the aliases
disappeared when cl_intel_subgroup_local_block_io was the only enabled
Intel subgroup extension.
Remove the inner condition so the header matches the specification.
[1] https://registry.khronos.org/OpenCL/extensions/intel/cl_intel_subgroup_local_block_io.html
Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply at anthropic.com>
---
clang/lib/Headers/opencl-c.h | 4 ----
1 file changed, 4 deletions(-)
diff --git a/clang/lib/Headers/opencl-c.h b/clang/lib/Headers/opencl-c.h
index 5d06df89acf1d..3439f20917337 100644
--- a/clang/lib/Headers/opencl-c.h
+++ b/clang/lib/Headers/opencl-c.h
@@ -17930,8 +17930,6 @@ void __ovld __conv intel_sub_group_block_write2( __local uint* p, uint2 data
void __ovld __conv intel_sub_group_block_write4( __local uint* p, uint4 data );
void __ovld __conv intel_sub_group_block_write8( __local uint* p, uint8 data );
-#if defined(cl_intel_subgroups_char) || defined(cl_intel_subgroups_short) || \
- defined(cl_intel_subgroups_long)
uint __ovld __conv intel_sub_group_block_read_ui( const __local uint* p );
uint2 __ovld __conv intel_sub_group_block_read_ui2( const __local uint* p );
uint4 __ovld __conv intel_sub_group_block_read_ui4( const __local uint* p );
@@ -17941,8 +17939,6 @@ void __ovld __conv intel_sub_group_block_write_ui( __local uint* p, uint d
void __ovld __conv intel_sub_group_block_write_ui2( __local uint* p, uint2 data );
void __ovld __conv intel_sub_group_block_write_ui4( __local uint* p, uint4 data );
void __ovld __conv intel_sub_group_block_write_ui8( __local uint* p, uint8 data );
-#endif // defined(cl_intel_subgroups_char) || defined(cl_intel_subgroups_short) ||
- // defined(cl_intel_subgroups_long)
#if defined(cl_intel_subgroups_char)
uchar __ovld __conv intel_sub_group_block_read_uc( const __local uchar* p );
>From 0b12ec9b7b93eb9b2aa2116204f9ffb506aa70d9 Mon Sep 17 00:00:00 2001
From: "Gorban, Igor" <igor.gorban at intel.com>
Date: Fri, 22 May 2026 20:44:51 +0200
Subject: [PATCH 3/3] Fix format
---
clang/lib/Headers/opencl-c.h | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
diff --git a/clang/lib/Headers/opencl-c.h b/clang/lib/Headers/opencl-c.h
index 3439f20917337..710be9d2b02fd 100644
--- a/clang/lib/Headers/opencl-c.h
+++ b/clang/lib/Headers/opencl-c.h
@@ -17553,10 +17553,14 @@ uint4 __ovld __conv intel_sub_group_block_read_ui4( const __global uint* p
uint8 __ovld __conv intel_sub_group_block_read_ui8( const __global uint* p );
#if defined(__opencl_c_images)
-void __ovld __conv intel_sub_group_block_write_ui(write_only image2d_t, int2, uint);
-void __ovld __conv intel_sub_group_block_write_ui2(write_only image2d_t, int2, uint2);
-void __ovld __conv intel_sub_group_block_write_ui4(write_only image2d_t, int2, uint4);
-void __ovld __conv intel_sub_group_block_write_ui8(write_only image2d_t, int2, uint8);
+void __ovld __conv intel_sub_group_block_write_ui(write_only image2d_t, int2,
+ uint);
+void __ovld __conv intel_sub_group_block_write_ui2(write_only image2d_t, int2,
+ uint2);
+void __ovld __conv intel_sub_group_block_write_ui4(write_only image2d_t, int2,
+ uint4);
+void __ovld __conv intel_sub_group_block_write_ui8(write_only image2d_t, int2,
+ uint8);
#endif // defined(__opencl_c_images)
#if defined(__opencl_c_read_write_images)
More information about the cfe-commits
mailing list