96 lines · plain
1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7; CHECK-SPIRV: OpCapability Groups8; CHECK-SPIRV-DAG: %[[#BoolTypeID:]] = OpTypeBool9; CHECK-SPIRV-DAG: %[[#True:]] = OpConstantTrue %[[#BoolTypeID]]10; CHECK-SPIRV-DAG: %[[#False:]] = OpConstantFalse %[[#BoolTypeID]]11 12; CHECK-SPIRV: OpFunction13; CHECK-SPIRV: %[[#]] = OpGroupAll %[[#BoolTypeID]] %[[#]] %[[#True]]14; CHECK-SPIRV: %[[#]] = OpGroupAny %[[#BoolTypeID]] %[[#]] %[[#True]]15; CHECK-SPIRV: %[[#]] = OpGroupAll %[[#BoolTypeID]] %[[#]] %[[#True]]16; CHECK-SPIRV: %[[#]] = OpGroupAny %[[#BoolTypeID]] %[[#]] %[[#False]]17define spir_kernel void @test(i32 addrspace(1)* nocapture readnone %i) {18entry:19 %call = tail call spir_func i32 @_Z14work_group_alli(i32 5)20 %call1 = tail call spir_func i32 @_Z14work_group_anyi(i32 5)21 %call3 = tail call spir_func i32 @__spirv_GroupAll(i32 0, i1 1)22 %call4 = tail call spir_func i32 @__spirv_GroupAny(i32 0, i1 0)23 ret void24}25 26; CHECK-SPIRV: OpFunction27; CHECK-SPIRV: %[[#]] = OpGroupAny %[[#BoolTypeID]] %[[#]] %[[#]]28; CHECK-SPIRV: %[[#]] = OpGroupAll %[[#BoolTypeID]] %[[#]] %[[#]]29define spir_kernel void @test_nonconst_any(ptr addrspace(1) %input, ptr addrspace(1) %output) #0 !kernel_arg_addr_space !7 !kernel_arg_access_qual !8 !kernel_arg_type !9 !kernel_arg_type_qual !10 !kernel_arg_base_type !9 !spirv.ParameterDecorations !11 {30entry:31 %r0 = call spir_func i64 @_Z13get_global_idj(i32 0)32 %r1 = insertelement <3 x i64> undef, i64 %r0, i32 033 %r2 = call spir_func i64 @_Z13get_global_idj(i32 1)34 %r3 = insertelement <3 x i64> %r1, i64 %r2, i32 135 %r4 = call spir_func i64 @_Z13get_global_idj(i32 2)36 %r5 = insertelement <3 x i64> %r3, i64 %r4, i32 237 %call = extractelement <3 x i64> %r5, i32 038 %conv = trunc i64 %call to i3239 %idxprom = sext i32 %conv to i6440 %arrayidx = getelementptr inbounds float, ptr addrspace(1) %input, i64 %idxprom41 %r6 = load float, ptr addrspace(1) %arrayidx, align 442 %add = add nsw i32 %conv, 143 %idxprom1 = sext i32 %add to i6444 %arrayidx2 = getelementptr inbounds float, ptr addrspace(1) %input, i64 %idxprom145 %r7 = load float, ptr addrspace(1) %arrayidx2, align 446 %cmp = fcmp ogt float %r6, %r747 %conv3 = select i1 %cmp, i32 1, i32 048 %r8 = icmp ne i32 %conv3, 049 %r9 = zext i1 %r8 to i3250 %r10 = call spir_func i32 @_Z14work_group_anyi(i32 %r9)51 %call41 = icmp ne i32 %r10, 052 %call4 = select i1 %call41, i32 1, i32 053 %idxprom5 = sext i32 %conv to i6454 %arrayidx6 = getelementptr inbounds i32, ptr addrspace(1) %output, i64 %idxprom555 store i32 %call4, ptr addrspace(1) %arrayidx6, align 456 %r11 = call spir_func i32 @_Z14work_group_alli(i32 %r9)57 %call42 = icmp ne i32 %r11, 058 %call5 = select i1 %call42, i32 1, i32 059 store i32 %call5, ptr addrspace(1) %arrayidx6, align 460 ret void61}62 63declare spir_func i64 @_Z13get_global_idj(i32) #164 65declare spir_func i32 @_Z14work_group_alli(i32) #266declare spir_func i32 @_Z14work_group_anyi(i32) #267 68declare spir_func i1 @__spirv_GroupAll(i32, i1)69declare spir_func i1 @__spirv_GroupAny(i32, i1)70 71attributes #0 = { nounwind }72attributes #1 = { nounwind willreturn memory(none) }73attributes #2 = { convergent nounwind }74 75!spirv.MemoryModel = !{!0}76!opencl.enable.FP_CONTRACT = !{}77!spirv.Source = !{!1}78!opencl.spir.version = !{!2}79!opencl.ocl.version = !{!3}80!opencl.used.extensions = !{!4}81!opencl.used.optional.core.features = !{!5}82!spirv.Generator = !{!6}83 84!0 = !{i32 2, i32 2}85!1 = !{i32 3, i32 300000}86!2 = !{i32 2, i32 0}87!3 = !{i32 3, i32 0}88!4 = !{!"cl_khr_subgroups"}89!5 = !{}90!6 = !{i16 6, i16 14}91!7 = !{i32 1, i32 1}92!8 = !{!"none", !"none"}93!9 = !{!"float*", !"int*"}94!10 = !{!"", !""}95!11 = !{!5, !5}96