diff options
Diffstat (limited to 'test/Bitcode/attributes.ll')
-rw-r--r-- | test/Bitcode/attributes.ll | 54 |
1 files changed, 52 insertions, 2 deletions
diff --git a/test/Bitcode/attributes.ll b/test/Bitcode/attributes.ll index 1b3526f1fa0de..9fdf54b7b3085 100644 --- a/test/Bitcode/attributes.ll +++ b/test/Bitcode/attributes.ll @@ -204,7 +204,7 @@ define void @f34() ; CHECK: define void @f34() { call void @nobuiltin() nobuiltin -; CHECK: call void @nobuiltin() #30 +; CHECK: call void @nobuiltin() #33 ret void; } @@ -287,6 +287,53 @@ define void @f49() inaccessiblemem_or_argmemonly { ret void } +; CHECK: define void @f50(i8* swiftself) +define void @f50(i8* swiftself) +{ + ret void; +} + +; CHECK: define i32 @f51(i8** swifterror) +define i32 @f51(i8** swifterror) +{ + ret i32 0 +} + +; CHECK: define i32 @f52(i32, i8** swifterror) +define i32 @f52(i32, i8** swifterror) +{ + ret i32 0 +} + +%swift_error = type {i64, i8} +declare float @foo(%swift_error** swifterror %error_ptr_ref) + +; CHECK: define float @f53 +; CHECK: alloca swifterror +define float @f53(i8* %error_ref) { +entry: + %error_ptr_ref = alloca swifterror %swift_error* + store %swift_error* null, %swift_error** %error_ptr_ref + %call = call float @foo(%swift_error** swifterror %error_ptr_ref) + ret float 1.0 +} + +; CHECK: define i8* @f54(i32) #30 +define i8* @f54(i32) allocsize(0) { + ret i8* null +} + +; CHECK: define i8* @f55(i32, i32) #31 +define i8* @f55(i32, i32) allocsize(0, 1) { + ret i8* null +} + +; CHECK: define void @f56() #32 +define void @f56() writeonly +{ + ret void +} + ; CHECK: attributes #0 = { noreturn } ; CHECK: attributes #1 = { nounwind } ; CHECK: attributes #2 = { readnone } @@ -317,4 +364,7 @@ define void @f49() inaccessiblemem_or_argmemonly { ; CHECK: attributes #27 = { norecurse } ; CHECK: attributes #28 = { inaccessiblememonly } ; CHECK: attributes #29 = { inaccessiblemem_or_argmemonly } -; CHECK: attributes #30 = { nobuiltin } +; CHECK: attributes #30 = { allocsize(0) } +; CHECK: attributes #31 = { allocsize(0,1) } +; CHECK: attributes #32 = { writeonly } +; CHECK: attributes #33 = { nobuiltin } |