62 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2 3; CHECK-DAG: OpName %[[#BAR:]] "bar"4; CHECK-DAG: OpName %[[#FOO:]] "foo"5; CHECK-DAG: OpName %[[#GOO:]] "goo"6 7; CHECK-DAG: %[[#INT:]] = OpTypeInt 328; CHECK-DAG: %[[#STACK_PTR_INT:]] = OpTypePointer Function %[[#INT]]9; CHECK-DAG: %[[#GLOBAL_PTR_INT:]] = OpTypePointer CrossWorkgroup %[[#INT]]10; CHECK-DAG: %[[#FN1:]] = OpTypeFunction %[[#INT]] %[[#INT]]11; CHECK-DAG: %[[#FN2:]] = OpTypeFunction %[[#INT]] %[[#INT]] %[[#GLOBAL_PTR_INT]]12 13define i32 @bar(i32 %a) {14 %p = alloca i3215 store i32 %a, i32* %p16 %b = load i32, i32* %p17 ret i32 %b18}19 20; CHECK: %[[#BAR]] = OpFunction %[[#INT]] None %[[#FN1]]21; CHECK: %[[#A:]] = OpFunctionParameter %[[#INT]]22; CHECK: OpLabel23; CHECK: %[[#P:]] = OpVariable %[[#STACK_PTR_INT]] Function24; CHECK: OpStore %[[#P]] %[[#A]]25; CHECK: %[[#B:]] = OpLoad %[[#INT]] %[[#P]]26; CHECK: OpReturnValue %[[#B]]27; CHECK: OpFunctionEnd28 29 30define i32 @foo(i32 %a) {31 %p = alloca i3232 store volatile i32 %a, i32* %p33 %b = load volatile i32, i32* %p34 ret i32 %b35}36 37; CHECK: %[[#FOO]] = OpFunction %[[#INT]] None %[[#FN1]]38; CHECK: %[[#A:]] = OpFunctionParameter %[[#INT]]39; CHECK: OpLabel40; CHECK: %[[#P:]] = OpVariable %[[#STACK_PTR_INT]] Function41; CHECK: OpStore %[[#P]] %[[#A]] Volatile42; CHECK: %[[#B:]] = OpLoad %[[#INT]] %[[#P]] Volatile43; CHECK: OpReturnValue %[[#B]]44; CHECK: OpFunctionEnd45 46 47;; Test load and store in global address space.48define i32 @goo(i32 %a, ptr addrspace(1) %p) {49 store i32 %a, i32 addrspace(1)* %p50 %b = load i32, i32 addrspace(1)* %p51 ret i32 %b52}53 54; CHECK: %[[#GOO]] = OpFunction %[[#INT]] None %[[#FN2]]55; CHECK: %[[#A:]] = OpFunctionParameter %[[#INT]]56; CHECK: %[[#P:]] = OpFunctionParameter %[[#GLOBAL_PTR_INT]]57; CHECK: OpLabel58; CHECK: OpStore %[[#P]] %[[#A]]59; CHECK: %[[#B:]] = OpLoad %[[#INT]] %[[#P]]60; CHECK: OpReturnValue %[[#B]]61; CHECK: OpFunctionEnd62