IRGen: Stub out TypeConverter support for PackType

Author: slavapestov

lib/IRGen/GenType.cpp

@@ -2099,7 +2099,7 @@ const TypeInfo *TypeConverter::convertType(CanType ty) {
   case TypeKind::Error: {
     // We might see error types if type checking has failed.
     // Try to do something graceful and return an zero sized type.
-    auto &ctx = ty->getASTContext();
+    auto &ctx = IGM.Context;
     return convertTupleType(cast<TupleType>(ctx.TheEmptyTupleType));
   }
 #define UNCHECKED_TYPE(id, parent) \
@@ -2172,7 +2172,6 @@ const TypeInfo *TypeConverter::convertType(CanType ty) {
   case TypeKind::PrimaryArchetype:
   case TypeKind::OpenedArchetype:
   case TypeKind::OpaqueTypeArchetype:
-  case TypeKind::PackArchetype:
   case TypeKind::ElementArchetype:
     return convertArchetypeType(cast<ArchetypeType>(ty));
   case TypeKind::Class:
@@ -2213,11 +2212,24 @@ const TypeInfo *TypeConverter::convertType(CanType ty) {
     return convertBlockStorageType(cast<SILBlockStorageType>(ty));
   case TypeKind::SILBox:
     return convertBoxType(cast<SILBoxType>(ty));
+  case TypeKind::Pack:
+    return convertPackType(cast<PackType>(ty));
+  case TypeKind::PackArchetype: {
+    // FIXME: This is the wrong place for this kind of wrapping
+    SmallVector<Type> elts;
+    auto archetypeTy = cast<PackArchetypeType>(ty);
+    elts.push_back(PackExpansionType::get(archetypeTy,
+                                          archetypeTy->getReducedShape()));
+    return convertPackType(PackType::get(IGM.Context, elts));
+  }
+  case TypeKind::PackExpansion: {
+    // FIXME: This is the wrong place for this kind of wrapping
+    SmallVector<Type> elts;
+    elts.push_back(ty);
+    return convertPackType(PackType::get(IGM.Context, elts));
+  }
   case TypeKind::SILToken:
     llvm_unreachable("should not be asking for representation of a SILToken");
-  case TypeKind::Pack:
-  case TypeKind::PackExpansion:
-    llvm_unreachable("Unimplemented!");
   }
   }
   llvm_unreachable("bad type kind");
@@ -2233,6 +2245,12 @@ const TypeInfo *TypeConverter::convertInOutType(InOutType *T) {
                          IGM.getPointerAlignment());
 }
 
+const TypeInfo *TypeConverter::convertPackType(PackType *pack) {
+  return new RawPointerTypeInfo(IGM.Int8PtrTy,
+                                IGM.getPointerSize(),
+                                IGM.getPointerAlignment());
+}
+
 /// Convert a reference storage type. The implementation here depends on the
 /// underlying reference type. The type may be optional.
 #define REF_STORAGE(Name, ...) \

lib/IRGen/GenType.h

@@ -168,6 +168,7 @@ class TypeConverter {
   const TypeInfo *convertProtocolCompositionType(ProtocolCompositionType *T);
   const TypeInfo *convertParameterizedProtocolType(ParameterizedProtocolType *T);
   const TypeInfo *convertExistentialType(ExistentialType *T);
+  const TypeInfo *convertPackType(PackType *T);
   const LoadableTypeInfo *convertBuiltinNativeObject();
   const LoadableTypeInfo *convertBuiltinUnknownObject();
   const LoadableTypeInfo *convertBuiltinBridgeObject();

test/IRGen/variadic_generic_functions.swift

@@ -0,0 +1,15 @@
+// RUN: %target-swift-frontend -emit-ir -primary-file %s -enable-experimental-feature VariadicGenerics | %FileCheck %s
+
+// Because of -enable-experimental-feature VariadicGenerics
+// REQUIRES: asserts
+
+// REQUIRES: PTRSIZE=64
+
+// CHECK-LABEL: define hidden swiftcc void @"$s26variadic_generic_functions2f11tyxxQp_tlF"(i8** noalias nocapture dereferenceable(8) %0, i64 %1, %swift.type* %T)
+func f1<T...>(t: T...) {}
+
+// CHECK-LABEL: define hidden swiftcc void @"$s26variadic_generic_functions2f21t1uyxxQp_q_q_Qptr0_lF"(i8** noalias nocapture dereferenceable(8) %0, i8** noalias nocapture dereferenceable(8) %1, i64 %2, i64 %3, %swift.type* %T, %swift.type* %U)
+func f2<T..., U...>(t: T..., u: U...) {}
+
+// CHECK-LABEL: define hidden swiftcc void @"$s26variadic_generic_functions2f31t1uyxxQp_q_q_Qptq_Rhzr0_lF"(i8** noalias nocapture dereferenceable(8) %0, i8** noalias nocapture dereferenceable(8) %1, i64 %2, %swift.type* %T, %swift.type* %U)
+func f3<T..., U...>(t: T..., u: U...) where ((T, U)...): Any {}