1*6735c5ebSAshley Coleman; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-unknown %s -o - | FileCheck %s 2*6735c5ebSAshley Coleman; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-unknown %s -o - -filetype=obj | spirv-val %} 3*6735c5ebSAshley Coleman 4*6735c5ebSAshley Coleman; CHECK-DAG: %[[#bool:]] = OpTypeBool 5*6735c5ebSAshley Coleman; CHECK-DAG: %[[#uint:]] = OpTypeInt 32 0 6*6735c5ebSAshley Coleman; CHECK-DAG: %[[#scope:]] = OpConstant %[[#uint]] 3 7*6735c5ebSAshley Coleman; CHECK-DAG: OpCapability GroupNonUniformVote 8*6735c5ebSAshley Coleman 9*6735c5ebSAshley Coleman; CHECK-LABEL: Begin function test_wave_any 10*6735c5ebSAshley Colemandefine i1 @test_wave_any(i1 %p1) #0 { 11*6735c5ebSAshley Colemanentry: 12*6735c5ebSAshley Coleman; CHECK: %[[#param:]] = OpFunctionParameter %[[#bool]] 13*6735c5ebSAshley Coleman; CHECK: %{{.+}} = OpGroupNonUniformAny %[[#bool]] %[[#scope]] %[[#param]] 14*6735c5ebSAshley Coleman %0 = call token @llvm.experimental.convergence.entry() 15*6735c5ebSAshley Coleman %ret = call i1 @llvm.spv.wave.any(i1 %p1) [ "convergencectrl"(token %0) ] 16*6735c5ebSAshley Coleman ret i1 %ret 17*6735c5ebSAshley Coleman} 18*6735c5ebSAshley Coleman 19*6735c5ebSAshley Colemandeclare i1 @llvm.spv.wave.any(i1) #0 20*6735c5ebSAshley Coleman 21*6735c5ebSAshley Colemanattributes #0 = { convergent } 22