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