1 ; RUN: %if spirv-tools %{ spirv-as %s -o - | spirv-val - %}
2 ; RUN: spirv-sim --function=simple --wave=4 --expects=0,1,2,0 -i %s
5 ; int m[4] = { 0, 1, 2, 0 };
6 ; int idx = WaveGetLaneIndex();
7 ; for (int i = 0; i < 4; i++) {
9 ; return WaveReadLaneFirst(idx);
15 OpCapability GroupNonUniform
16 OpCapability GroupNonUniformBallot
17 OpMemoryModel Logical GLSL450
18 OpEntryPoint GLCompute %main "main" %WaveIndex
19 OpExecutionMode %main LocalSize 1 1 1
21 OpName %simple "simple"
23 OpDecorate %WaveIndex BuiltIn SubgroupLocalInvocationId
25 %uint = OpTypeInt 32 0
27 %int_0 = OpConstant %int 0
28 %int_1 = OpConstant %int 1
29 %int_2 = OpConstant %int 2
30 %int_4 = OpConstant %int 4
31 %uint_3 = OpConstant %uint 3
32 %uint_4 = OpConstant %uint 4
34 %main_type = OpTypeFunction %void
35 %simple_type = OpTypeFunction %int
36 %uint_iptr = OpTypePointer Input %uint
37 %int_fptr = OpTypePointer Function %int
38 %arr_int_uint_4 = OpTypeArray %int %uint_4
39 %arr_int_uint_4_fptr = OpTypePointer Function %arr_int_uint_4
40 %WaveIndex = OpVariable %uint_iptr Input
41 %main = OpFunction %void None %main_type
45 %simple = OpFunction %int None %simple_type
47 %m = OpVariable %arr_int_uint_4_fptr Function
48 %idx = OpVariable %int_fptr Function
49 %i = OpVariable %int_fptr Function
50 %27 = OpCompositeConstruct %arr_int_uint_4 %int_0 %int_1 %int_2 %int_0
52 %28 = OpLoad %uint %WaveIndex
53 %29 = OpBitcast %int %28
59 %33 = OpSLessThan %bool %31 %int_4
60 OpLoopMerge %for_merge %for_continue None
61 OpBranchConditional %33 %for_body %for_merge
64 %38 = OpLoad %int %idx
65 %39 = OpAccessChain %int_fptr %m %38
67 %41 = OpIEqual %bool %37 %40
68 OpSelectionMerge %if_merge None
69 OpBranchConditional %41 %if_true %if_merge
71 %44 = OpLoad %int %idx
72 %45 = OpGroupNonUniformBroadcastFirst %int %uint_3 %44
75 OpBranch %for_continue
76 %for_continue = OpLabel
78 %48 = OpIAdd %int %47 %int_1