1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s 2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %} 3 4;; Ensure the required Capabilities are listed. 5; CHECK-DAG: OpCapability Kernel 6; CHECK-DAG: OpCapability Addresses 7 8;; Ensure one, and only one, OpMemoryModel is defined. 9; CHECK: OpMemoryModel Physical32 OpenCL 10; CHECK-NOT: OpMemoryModel 11