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 %}
4 ;; Ensure the required Capabilities are listed.
5 ; CHECK-DAG: OpCapability Kernel
6 ; CHECK-DAG: OpCapability Addresses
8 ;; Ensure one, and only one, OpMemoryModel is defined.
9 ; CHECK: OpMemoryModel Physical32 OpenCL
10 ; CHECK-NOT: OpMemoryModel