58 lines · plain
1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2 3; StorageImageReadWithoutFormat/StorageImageWriteWithoutFormat implicitly4; declare Shader, causing a SPIR-V module to be rejected by the OpenCL5; run-time. See https://github.com/KhronosGroup/SPIRV-Headers/issues/4876; De-facto, OpImageRead and OpImageWrite are allowed to use Unknown Image7; Formats when the Kernel capability is declared. We reflect this behavior8; in the test case, and leave the check under CHECK-SPIRV-NOT to track9; the issue and follow-up its final resolution when ready.10; CHECK-SPIRV-NOT: OpCapability StorageImageReadWithoutFormat11 12; CHECK-SPIRV: %[[#]] = OpImageRead %[[#]] %[[#]] %[[#]] Sample %[[#]]13 14define spir_kernel void @sample_test(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0) %source, i32 %sampler, <4 x float> addrspace(1)* nocapture %results) {15entry:16 %call = tail call spir_func i32 @_Z13get_global_idj(i32 0)17 %call1 = tail call spir_func i32 @_Z13get_global_idj(i32 1)18 %call2 = tail call spir_func i32 @_Z15get_image_width19ocl_image2d_msaa_ro(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0) %source)19 %call3 = tail call spir_func i32 @_Z16get_image_height19ocl_image2d_msaa_ro(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0) %source)20 %call4 = tail call spir_func i32 @_Z21get_image_num_samples19ocl_image2d_msaa_ro(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0) %source)21 %cmp20 = icmp eq i32 %call4, 022 br i1 %cmp20, label %for.end, label %for.body.lr.ph23 24for.body.lr.ph: ; preds = %entry25 %vecinit = insertelement <2 x i32> undef, i32 %call, i32 026 %vecinit8 = insertelement <2 x i32> %vecinit, i32 %call1, i32 127 br label %for.body28 29for.body: ; preds = %for.body.lr.ph, %for.body30 %sample.021 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ]31 %mul5 = mul i32 %sample.021, %call332 %tmp = add i32 %mul5, %call133 %tmp19 = mul i32 %tmp, %call234 %add7 = add i32 %tmp19, %call35 %call9 = tail call spir_func <4 x float> @_Z11read_imagef19ocl_image2d_msaa_roDv2_ii(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0) %source, <2 x i32> %vecinit8, i32 %sample.021)36 %arrayidx = getelementptr inbounds <4 x float>, <4 x float> addrspace(1)* %results, i32 %add737 store <4 x float> %call9, <4 x float> addrspace(1)* %arrayidx, align 1638 %inc = add nuw i32 %sample.021, 139 %cmp = icmp ult i32 %inc, %call440 br i1 %cmp, label %for.body, label %for.end.loopexit41 42for.end.loopexit: ; preds = %for.body43 br label %for.end44 45for.end: ; preds = %for.end.loopexit, %entry46 ret void47}48 49declare spir_func i32 @_Z13get_global_idj(i32)50 51declare spir_func i32 @_Z15get_image_width19ocl_image2d_msaa_ro(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0))52 53declare spir_func i32 @_Z16get_image_height19ocl_image2d_msaa_ro(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0))54 55declare spir_func i32 @_Z21get_image_num_samples19ocl_image2d_msaa_ro(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0))56 57declare spir_func <4 x float> @_Z11read_imagef19ocl_image2d_msaa_roDv2_ii(target("spirv.Image", void, 1, 0, 0, 1, 0, 0, 0), <2 x i32>, i32)58