; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -argext-abi-check 2>&1 \
; RUN: | FileCheck %s
; REQUIRES: asserts
;
; Test detection of missing extension of an outgoing i16 call argument.
define void @caller() {
call void @bar_Struct(i16 123)
ret void
}
declare void @bar_Struct(i16 %Arg)
; CHECK: ERROR: Missing extension attribute of passed value in call to function:
; CHECK: Callee: void @bar_Struct(i16)
; CHECK: Caller: void @caller()