; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s

;; Debug info:
; CHECK:      OpName %[[#FOO:]] "foo"
; CHECK:      OpName %[[#BAR:]] "bar"

;; Types:
; CHECK-DAG:  %[[#I32:]] = OpTypeInt 32
; CHECK-DAG:  %[[#VOID:]] = OpTypeVoid
; CHECK-DAG:  %[[#FNVOID:]] = OpTypeFunction %[[#VOID]] %[[#I32]]
; CHECK-DAG:  %[[#FNI32:]] = OpTypeFunction %[[#I32]] %[[#I32]]
;; Function decl:
; CHECK:      %[[#BAR]] = OpFunction %[[#I32]] None %[[#FNI32]]
; CHECK-NEXT: OpFunctionParameter %[[#I32]]
; CHECK-NEXT: OpFunctionEnd
declare i32 @bar(i32 %x)
;; Function def:
; CHECK:      %[[#FOO]] = OpFunction %[[#VOID]] None %[[#FNVOID]]
; CHECK:      OpFunctionParameter
; CHECK:      OpLabel
; CHECK:      OpFunctionCall %[[#I32]] %[[#BAR]]
; CHECK:      OpReturn
; CHECK-NOT:  OpLabel
; CHECK:      OpFunctionEnd
define spir_func void @foo(i32 %x) {
  %call1 = call spir_func i32 @bar(i32 %x)
  ret void
}