| ; RUN: llc < %s -mtriple=s390x-linux-gnu -argext-abi-check |
| |
| ; Test that it works to pass structs as outgoing call arguments when the |
| ; NoExt attribute is given, either in the call instruction or in the |
| ; prototype of the called function. |
| define void @caller() { |
| call void @bar_Struct_32(i32 noext 123) |
| call void @bar_Struct_16(i16 123) |
| call void @bar_Struct_8(i8 noext 123) |
| ret void |
| } |
| |
| declare void @bar_Struct_32(i32 %Arg) |
| declare void @bar_Struct_16(i16 noext %Arg) |
| declare void @bar_Struct_8(i8 %Arg) |
| |
| ; Test that it works to return values with the NoExt attribute. |
| define noext i8 @callee_NoExtRet_i8() { |
| ret i8 -1 |
| } |
| |
| define noext i16 @callee_NoExtRet_i16() { |
| ret i16 -1 |
| } |
| |
| define noext i32 @callee_NoExtRet_i32() { |
| ret i32 -1 |
| } |
| |
| ; An internal function is not checked for an extension attribute. |
| define internal i32 @callee_NoExtRet_internal(i32 %Arg) { |
| ret i32 %Arg |
| } |
| |
| ; A call to an internal function is ok without argument extension. |
| define void @caller_internal() { |
| call i32 @callee_NoExtRet_internal(i32 0) |
| ret void |
| } |
