AuroraMiddleware/SPIRV-Cross-Vulnerable
1
0
Fork 0
mirror of https://github.com/KhronosGroup/SPIRV-Cross.git synced 2024-11-09 22:00:05 +00:00
Code Issues Projects Releases Wiki Activity

MSL: Add test for vector-to-scalar variable pointer.

Browse Source
This commit is contained in:
Hans-Kristian Arntzen 2023-12-06 16:16:50 +01:00
parent 6dbec321d2
commit 4e3f66b5d5
2 changed files with 74 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
reference/shaders-msl-no-opt/asm/comp/variable-pointers-vector-to-scalar.asm.comp Normal file
View File

@ -0,0 +1,14 @@
#include <metal_stdlib>
#include <simd/simd.h>
using namespace metal;
constant uint3 gl_WorkGroupSize [[maybe_unused]] = uint3(64u, 1u, 1u);
kernel void main0(uint gl_LocalInvocationIndex [[thread_index_in_threadgroup]], uint3 gl_GlobalInvocationID [[thread_position_in_grid]])
{
threadgroup float2 test[64];
float _21 = float(gl_GlobalInvocationID.x);
((threadgroup float*)&(*(true ? &test[1u] : &test[2u])))[1u] = _21;
}

60
shaders-msl-no-opt/asm/comp/variable-pointers-vector-to-scalar.asm.comp Normal file
View File

@ -0,0 +1,60 @@
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 11
; Bound: 26
; Schema: 0
OpCapability Shader
OpCapability VariablePointers
OpExtension "SPV_KHR_variable_pointers"
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main" %gl_LocalInvocationIndex %gl_GlobalInvocationID
OpExecutionMode %main LocalSize 64 1 1
OpSource GLSL 450
OpName %main "main"
OpName %test "test"
OpName %gl_LocalInvocationIndex "gl_LocalInvocationIndex"
OpName %gl_GlobalInvocationID "gl_GlobalInvocationID"
OpDecorate %gl_LocalInvocationIndex BuiltIn LocalInvocationIndex
OpDecorate %gl_GlobalInvocationID BuiltIn GlobalInvocationId
OpDecorate %gl_WorkGroupSize BuiltIn WorkgroupSize
%void = OpTypeVoid
%3 = OpTypeFunction %void
%float = OpTypeFloat 32
%bool = OpTypeBool
%true = OpConstantTrue %bool
%v2float = OpTypeVector %float 2
%uint = OpTypeInt 32 0
%uint_64 = OpConstant %uint 64
%_arr_v2float_uint_64 = OpTypeArray %v2float %uint_64
%_ptr_Workgroup__arr_v2float_uint_64 = OpTypePointer Workgroup %_arr_v2float_uint_64
%test = OpVariable %_ptr_Workgroup__arr_v2float_uint_64 Workgroup
%_ptr_Input_uint = OpTypePointer Input %uint
%gl_LocalInvocationIndex = OpVariable %_ptr_Input_uint Input
%v3uint = OpTypeVector %uint 3
%_ptr_Input_v3uint = OpTypePointer Input %v3uint
%gl_GlobalInvocationID = OpVariable %_ptr_Input_v3uint Input
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%_ptr_Workgroup_float = OpTypePointer Workgroup %float
%_ptr_Workgroup_v2float = OpTypePointer Workgroup %v2float
%gl_WorkGroupSize = OpConstantComposite %v3uint %uint_64 %uint_1 %uint_1
%main = OpFunction %void None %3
%5 = OpLabel
%14 = OpLoad %uint %gl_LocalInvocationIndex
%19 = OpAccessChain %_ptr_Input_uint %gl_GlobalInvocationID %uint_0
%20 = OpLoad %uint %19
%21 = OpConvertUToF %float %20
%22 = OpCompositeConstruct %v2float %21 %21
%a = OpAccessChain %_ptr_Workgroup_v2float %test %uint_1
%b = OpAccessChain %_ptr_Workgroup_v2float %test %uint_2
%c = OpSelect %_ptr_Workgroup_v2float %true %a %b
%d = OpAccessChain %_ptr_Workgroup_float %c %uint_1
OpStore %d %21
OpReturn
OpFunctionEnd