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