; RUN: clspv-opt %s -o %t.ll --passes=undo-instcombine
; RUN: FileCheck %s < %t.ll

; CHECK: [[ld:%[a-zA-Z0-9_.]+]] = load <3 x i32>, ptr addrspace(8) @__spirv_WorkgroupSize
; CHECK: [[ex:%[a-zA-Z0-9_.]+]] = extractelement <3 x i32> [[ld]], i32 2
; CHECK: [[trunc:%[a-zA-Z0-9_.]+]] = trunc i32 [[ex]] to i16
; CHECK: sext i16 [[trunc]] to i32

target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"
target triple = "spir-unknown-unknown"

@__spirv_WorkgroupSize = local_unnamed_addr addrspace(8) global <3 x i32> zeroinitializer

define spir_kernel void @foo(ptr addrspace(1) %out) {
entry:
  %0 = load <6 x i16>, ptr addrspace(8) bitcast (ptr addrspace(8) @__spirv_WorkgroupSize to ptr addrspace(8)), align 16
  %conv = extractelement <6 x i16> %0, i32 4
  %conv1 = sext i16 %conv to i32
  store i32 %conv1, ptr addrspace(1) %out, align 4
  ret void
}