| ; RUN: llc -O0 -mtriple=spirv-unknown-vulkan %s -o - | FileCheck %s | |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan %s -o - -filetype=obj | spirv-val %} | |
| ;; Ensure the required Capabilities are listed. | |
| ; CHECK-DAG: OpCapability Shader | |
| ; CHECK-DAG: OpCapability Linkage | |
| ;; Ensure one, and only one, OpMemoryModel is defined. | |
| ; CHECK: OpMemoryModel Logical GLSL450 | |
| ; CHECK-NOT: OpMemoryModel |