; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-OCL
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}

; RUN: llc -O0 -mtriple=spirv-unknown-vulkan %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-NOOCL
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan %s -o - -filetype=obj | spirv-val %}

; CHECK-DAG:        OpCapability Linkage
; CHECK-NOOCL-DAG:  OpCapability Shader
; CHECK-OCL-DAG:      OpCapability Addresses
; CHECK-OCL-DAG:      OpCapability Kernel
; CHECK-OCL:          %1 = OpExtInstImport "OpenCL.std"
; CHECK-NOOCL:      OpMemoryModel Logical GLSL450
; CHECK-OCL:          OpMemoryModel Physical64 OpenCL
; CHECK-NOOCL:      OpSource Unknown 0
; CHECK-OCL:          OpSource OpenCL_CPP 100000