; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}

;; Ensure the required Capabilities are listed.
; CHECK-DAG: OpCapability Kernel
; CHECK-DAG: OpCapability Addresses

;; Ensure one, and only one, OpMemoryModel is defined.
; CHECK:     OpMemoryModel Physical32 OpenCL
; CHECK-NOT: OpMemoryModel