; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -argext-abi-check 2>&1 \
; RUN:   | FileCheck %s
; REQUIRES: asserts
;
; Test detection of missing extension involving an internal function which is
; passed as a function pointer to an external function.

define internal i32 @bar(i32 %Arg) {
  ret i32 %Arg
}

declare void @ExtFun(ptr %FunPtr);

define void @foo() {
  call void @ExtFun(ptr @bar)
  ret void
}

; CHECK: ERROR: Missing extension attribute of returned value from function:
; CHECK: i32 @bar(i32)
; CHECK: UNREACHABLE executed