Re-apply 52002, allowing the verifier to accept non-MRV struct return

types on functions, with adjustments so that it accepts both
new-style aggregate returns and old-style MRV returns, including those
with only a single member.

llvm-svn: 52157

1 files changed, 14 insertions, 0 deletions

diff --git a/llvm/test/Assembler/aggregate-return-single-value.ll b/llvm/test/Assembler/aggregate-return-single-value.ll
new file mode 100644
index 00000000000..02fb59f8a0a
--- /dev/null
+++ b/llvm/test/Assembler/aggregate-return-single-value.ll
@@ -0,0 +1,14 @@
+; RUN: llvm-as < %s | llvm-dis
+
+define { i32 } @fooa() nounwind {
+  ret i32 0
+}
+define { i32 } @foob() nounwind {
+  ret {i32}{ i32 0 }
+}
+define [1 x i32] @fooc() nounwind {
+  ret i32 0
+}
+define [1 x i32] @food() nounwind {
+  ret [1 x i32][ i32 0 ]
+}