1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=SPV
2
3; SPV: OpMemoryModel Physical32 Simple
4define dso_local dllexport void @k_no_fc(i32 %ibuf, i32 %obuf) local_unnamed_addr {
5entry:
6 ret void
7}
8
9!spirv.MemoryModel = !{!0}
10
11!0 = !{i32 1, i32 0}
12