1; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -argext-abi-check 2>&1 \ 2; RUN: | FileCheck %s 3; REQUIRES: asserts 4; 5; Test detection of missing extension of an i32 return value. 6 7define i32 @callee_MissingRetAttr() { 8 ret i32 -1 9} 10 11; CHECK: ERROR: Missing extension attribute of returned value from function: 12; CHECK: i32 @callee_MissingRetAttr() 13; CHECK: UNREACHABLE executed 14