//
// This file is distributed under the MIT License. See LICENSE.md for details.
//

// RUN: not %revngcliftopt %s 2>&1 | FileCheck %s

!int32_t = !clift.primitive<signed 4>

!f = !clift.defined<#clift.func<
  "/type-definition/1-CABIFunctionDefinition" : !int32_t()
>>

!g = !clift.defined<#clift.func<
  "/type-definition/2-CABIFunctionDefinition" : !int32_t(!int32_t)
>>

clift.module {
  clift.func @f<!f>() -> !int32_t {
    clift.return {
      // CHECK: must reference a global variable or function
      %g = clift.use @g : !g
      %i = clift.imm 1 : !int32_t
      %r = clift.call %g(%i) : !g
      clift.yield %r : !int32_t
    }
  }
}