11dcda06cSAndrey Tretyakov; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV 21dcda06cSAndrey Tretyakov 3*fbe3919eSMichal Paszkowski; TODO: This test currently fails with LLVM_ENABLE_EXPENSIVE_CHECKS enabled 4*fbe3919eSMichal Paszkowski; XFAIL: expensive_checks 5*fbe3919eSMichal Paszkowski 61dcda06cSAndrey Tretyakov; CHECK-SPIRV: OpName %[[#vec:]] "vec" 71dcda06cSAndrey Tretyakov; CHECK-SPIRV: OpName %[[#index:]] "index" 81dcda06cSAndrey Tretyakov; CHECK-SPIRV: OpName %[[#res:]] "res" 91dcda06cSAndrey Tretyakov 101dcda06cSAndrey Tretyakov; CHECK-SPIRV: %[[#float:]] = OpTypeFloat 32 111dcda06cSAndrey Tretyakov; CHECK-SPIRV: %[[#float2:]] = OpTypeVector %[[#float]] 2 121dcda06cSAndrey Tretyakov 131dcda06cSAndrey Tretyakov; CHECK-SPIRV: %[[#res]] = OpVectorExtractDynamic %[[#float]] %[[#vec]] %[[#index]] 141dcda06cSAndrey Tretyakov 151dcda06cSAndrey Tretyakovdefine spir_kernel void @test(float addrspace(1)* nocapture %out, <2 x float> %vec, i32 %index) { 161dcda06cSAndrey Tretyakoventry: 171dcda06cSAndrey Tretyakov %res = extractelement <2 x float> %vec, i32 %index 181dcda06cSAndrey Tretyakov store float %res, float addrspace(1)* %out, align 4 191dcda06cSAndrey Tretyakov ret void 201dcda06cSAndrey Tretyakov} 21