1; RUN: llc -O0 %s -o - | FileCheck %s
2
3target triple = "spirv32-unknown-unknown"
4
5; Debug info:
6; CHECK: OpName [[FOO:%.+]] "foo"
7; CHECK: OpName [[BAR:%.+]] "bar"
8
9; Types:
10; CHECK-DAG: [[I32:%.+]] = OpTypeInt 32
11; CHECK-DAG: [[VOID:%.+]] = OpTypeVoid
12; CHECK-DAG: [[FNVOID:%.+]] = OpTypeFunction [[VOID]] [[I32]]
13; CHECK-DAG: [[FNI32:%.+]] = OpTypeFunction [[I32]] [[I32]]
14; Function decl:
15; CHECK: [[BAR]] = OpFunction [[I32]] None [[FNI32]]
16; CHECK-NEXT: OpFunctionParameter [[I32]]
17; CHECK-NEXT: OpFunctionEnd
18declare i32 @bar(i32 %x)
19; Function def:
20; CHECK: [[FOO]] = OpFunction [[VOID]] None [[FNVOID]]
21; CHECK: OpFunctionParameter
22; CHECK: OpLabel
23; CHECK: OpFunctionCall [[I32]] [[BAR]]
24; CHECK: OpReturn
25; CHECK-NOT: OpLabel
26; CHECK: OpFunctionEnd
27define spir_func void @foo(i32 %x) {
28  %call1 = call spir_func i32 @bar(i32 %x)
29  ret void
30}
31