Files
OpenCL-CTS/test_conformance/spirv_new/spirv_asm/phi_4.spvasm32
Ahmed Hesham 5d85fb3e3b Use cl_uint in some SPIR-V tests to avoid UB (#2159)
The following tests under `spirv_new`:
* `op_branch_conditional`
* `op_phi`
* `op_selection_merge`

were using randomly generated `cl_int` values, and storing the
difference between them as a `cl_int`. If one of the generated values is
negative and large enough, while the other is positive and large enough,
the difference then becomes a larger value that cannot be represented
using `cl_int`.

Switch the tests to use `cl_uint` instead, and update the relevant
spvasm{32,64} files to use `OpULessThan` instead of `OpSLessThan`.

Signed-off-by: Ahmed Hesham <ahmed.hesham@arm.com>
2024-11-26 09:29:27 -08:00

67 lines
2.7 KiB
Plaintext

; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 38
; Schema: 0
OpCapability Addresses
OpCapability Linkage
OpCapability Kernel
OpMemoryModel Physical32 OpenCL
OpEntryPoint Kernel %1 "phi_4" %gl_GlobalInvocationID
OpName %res "res"
OpName %lhs "lhs"
OpName %rhs "rhs"
OpDecorate %5 FuncParamAttr NoCapture
%5 = OpDecorationGroup
OpDecorate %gl_GlobalInvocationID BuiltIn GlobalInvocationId
OpDecorate %gl_GlobalInvocationID Constant
OpDecorate %gl_GlobalInvocationID LinkageAttributes "__spirv_GlobalInvocationId" Import
OpGroupDecorate %5 %res %lhs %rhs
%uint = OpTypeInt 32 0
%v3uint = OpTypeVector %uint 3
%_ptr_Input_v3uint = OpTypePointer Input %v3uint
%bool = OpTypeBool
%void = OpTypeVoid
%uint_0 = OpConstant %uint 0
%uint_65535 = OpConstant %uint 65535
%_ptr_CrossWorkgroup_uint = OpTypePointer CrossWorkgroup %uint
%14 = OpTypeFunction %void %_ptr_CrossWorkgroup_uint %_ptr_CrossWorkgroup_uint %_ptr_CrossWorkgroup_uint
%gl_GlobalInvocationID = OpVariable %_ptr_Input_v3uint Input
%1 = OpFunction %void None %14
%res = OpFunctionParameter %_ptr_CrossWorkgroup_uint
%lhs = OpFunctionParameter %_ptr_CrossWorkgroup_uint
%rhs = OpFunctionParameter %_ptr_CrossWorkgroup_uint
%15 = OpLabel
%16 = OpLoad %v3uint %gl_GlobalInvocationID Aligned 0
%17 = OpCompositeExtract %uint %16 0
%18 = OpInBoundsPtrAccessChain %_ptr_CrossWorkgroup_uint %lhs %17
%19 = OpLoad %uint %18 Aligned 4
%20 = OpInBoundsPtrAccessChain %_ptr_CrossWorkgroup_uint %rhs %17
%21 = OpLoad %uint %20 Aligned 4
%22 = OpULessThan %bool %19 %21
OpBranchConditional %22 %23 %24
%23 = OpLabel
%25 = OpULessThan %bool %19 %uint_65535
OpBranchConditional %25 %26 %27
%26 = OpLabel
%28 = OpISub %uint %uint_0 %19
OpBranch %29
%27 = OpLabel
%30 = OpISub %uint %19 %uint_0
OpBranch %29
%24 = OpLabel
%31 = OpULessThan %bool %21 %uint_65535
OpBranchConditional %31 %32 %33
%32 = OpLabel
%34 = OpISub %uint %uint_0 %21
OpBranch %29
%33 = OpLabel
%35 = OpISub %uint %21 %uint_0
OpBranch %29
%29 = OpLabel
%36 = OpPhi %uint %28 %26 %30 %27 %34 %32 %35 %33
%37 = OpInBoundsPtrAccessChain %_ptr_CrossWorkgroup_uint %res %17
OpStore %37 %36 Aligned 4
OpReturn
OpFunctionEnd