1 ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
2 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
4 ;; FIXME: ensure Magic Number, version number, generator's magic number, "bound" and "schema" are at least present
6 ;; Ensure the required Capabilities are listed.
7 ; CHECK-DAG: OpCapability Kernel
8 ; CHECK-DAG: OpCapability Addresses
10 ;; Ensure one, and only one, OpMemoryModel is defined.
11 ; CHECK: OpMemoryModel Physical64 OpenCL
12 ; CHECK-NOT: OpMemoryModel