1; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s 2 3; CHECK: define void @foo(i32* byval(i32) align 4 %0) 4define void @foo(i32* byval(i32) align 4 %0) { 5 ret void 6} 7 8; CHECK: define void @bar({ i32*, i8 }* byval({ i32*, i8 }) align 4 %0) 9define void @bar({i32*, i8}* byval({i32*, i8}) align 4 %0) { 10 ret void 11} 12 13define void @caller({ i32*, i8 }* %ptr) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 14; CHECK: call void @bar({ i32*, i8 }* byval({ i32*, i8 }) %ptr) 15; CHECK: invoke void @bar({ i32*, i8 }* byval({ i32*, i8 }) %ptr) 16 call void @bar({i32*, i8}* byval({i32*, i8}) %ptr) 17 invoke void @bar({i32*, i8}* byval({i32*, i8}) %ptr) to label %success unwind label %fail 18 19success: 20 ret void 21 22fail: 23 landingpad { i8*, i32 } cleanup 24 ret void 25} 26 27; CHECK: declare void @baz([8 x i8]* byval([8 x i8])) 28%named_type = type [8 x i8] 29declare void @baz(%named_type* byval(%named_type)) 30 31declare i32 @__gxx_personality_v0(...) 32 33%0 = type opaque 34 35; CHECK: define void @anon({ %0* }* byval({ %0* }) %arg) 36; CHECK: call void @anon_callee({ %0* }* byval({ %0* }) %arg) 37define void @anon({ %0* }* byval({ %0* }) %arg) { 38 call void @anon_callee({ %0* }* byval({ %0* }) %arg) 39 ret void 40} 41 42; CHECK: declare void @anon_callee({ %0* }* byval({ %0* })) 43declare void @anon_callee({ %0* }* byval({ %0* })) 44