| ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s | |
| ;; FIXME: ensure Magic Number, version number, generator's magic number, "bound" and "schema" are at least present | |
| ;; Ensure the required Capabilities are listed. | |
| ; CHECK-DAG: OpCapability Kernel | |
| ; CHECK-DAG: OpCapability Addresses | |
| ;; Ensure one, and only one, OpMemoryModel is defined. | |
| ; CHECK: OpMemoryModel Physical64 OpenCL | |
| ; CHECK-NOT: OpMemoryModel |