| ; 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 i16 return value. | |
| define i16 @callee_MissingRetAttr() { | |
| ret i16 -1 | |
| } | |
| ; CHECK: ERROR: Missing extension attribute of returned value from function: | |
| ; CHECK: i16 @callee_MissingRetAttr() | |
| ; CHECK: UNREACHABLE executed | |