Make use of the align parameter attribute for all pointer arguments
[oota-llvm.git] / test / Bitcode / attributes.ll
index 2490e59207260f20500d965bb7247d23081bc4b6..9a429f6e21f729bc3384b7bfab4ae0d247033777 100644 (file)
@@ -239,6 +239,11 @@ define dereferenceable(18446744073709551606) i8* @f40(i8* dereferenceable(184467
         ret i8* %a
 }
 
+define void @f41(i8* align 32, double* align 64) {
+; CHECK: define void @f41(i8* align 32, double* align 64) {
+        ret void
+}
+
 ; CHECK: attributes #0 = { noreturn }
 ; CHECK: attributes #1 = { nounwind }
 ; CHECK: attributes #2 = { readnone }