It's not necessary to do rounding for alloca operations when the requested
alignment is equal to the stack alignment.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40004 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Verifier/2006-10-15-AddrLabel.ll b/test/Verifier/2006-10-15-AddrLabel.ll
new file mode 100644
index 0000000..173b0cf
--- /dev/null
+++ b/test/Verifier/2006-10-15-AddrLabel.ll
@@ -0,0 +1,9 @@
+; RUN: ignore llvm-as < %s > /dev/null |& \
+; RUN:    grep {Cannot form a pointer to a basic block}
+
+define i32 @main() {
+         %foo  = call i8* %llvm.stacksave()
+         %foop = bitcast i8* %foo to label*
+         %nret = load label* %foop
+         br label %nret;
+}