[CIR][MLIR] Allow memref of tuple

Author: keryell

clang/test/CIR/Lowering/ThroughMLIR/struct.cpp

@@ -0,0 +1,9 @@
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fno-clangir-direct-lowering -emit-mlir %s -o %t.mlir
+// RUN: FileCheck --input-file=%t.mlir %s
+
+struct s {
+  int a;
+  float b;
+};
+int main() { s v; }
+// CHECK: memref<tuple<i32, f32>>

mlir/include/mlir/IR/BuiltinTypes.td

@@ -1055,7 +1055,7 @@ def Builtin_RankedTensor : Builtin_Type<"RankedTensor", "tensor", [
 // TupleType
 //===----------------------------------------------------------------------===//
 
-def Builtin_Tuple : Builtin_Type<"Tuple", "tuple"> {
+def Builtin_Tuple : Builtin_Type<"Tuple", "tuple", [MemRefElementTypeInterface]> {
   let summary = "Fixed-sized collection of other types";
   let description = [{
     Syntax:
@@ -1145,10 +1145,10 @@ def Builtin_UnrankedMemRef : Builtin_Type<"UnrankedMemRef", "unranked_memref", [
     #### Examples:
 
     ```mlir
-    memref<*f32>
+    memref<*xf32>
 
     // An unranked memref with a memory space of 10.
-    memref<*f32, 10>
+    memref<*xf32, 10>
     ```
   }];
   let parameters = (ins "Type":$elementType, "Attribute":$memorySpace);