; ModuleID = '<stdin>'
target datalayout = "e-i64:64-f80:128-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-n8:16:32:64"

@testKernel.some_value = internal addrspace(3) global i32 undef, align 4

; Function Attrs: nounwind
define void @testKernel(i32 addrspace(1)* %results) #0 {
  store i32 7, i32 addrspace(3)* @testKernel.some_value, align 4
  store i32 zext (i1 icmp ne (i32 addrspace(4)* addrspacecast (i32 addrspace(3)* @testKernel.some_value to i32 addrspace(4)*), i32 addrspace(4)* null) to i32), i32 addrspace(1)* %results, align 4
  ret void
}

attributes #0 = { nounwind }