SIL: Implement SILTypeSubstituter::hasSameShape()

Author: slavapestov

lib/SIL/IR/SILFunctionType.cpp

@@ -4650,8 +4650,14 @@ class SILTypeSubstituter :
   }
 
   bool hasSameShape(CanType lhs, CanType rhs) {
-    // FIXME
-    return lhs == rhs;
+    if (lhs->isTypeParameter() && rhs->isTypeParameter()) {
+      assert(Sig);
+      return Sig->haveSameShape(lhs, rhs);
+    }
+
+    auto lhsArchetype = cast<PackArchetypeType>(lhs);
+    auto rhsArchetype = cast<PackArchetypeType>(rhs);
+    return lhsArchetype->getReducedShape() == rhsArchetype->getReducedShape();
   }
 };
 

test/SILGen/variadic-generic-arguments.swift

@@ -1,4 +1,6 @@
 // RUN: %target-swift-emit-silgen -enable-experimental-feature VariadicGenerics %s | %FileCheck %s
+
+// Because of -enable-experimental-feature VariadicGenerics
 // REQUIRES: asserts
 
 // CHECK-LABEL: @$s4main14receive_simpleyyxxQpRvzlF : $@convention(thin) <each T> (@pack_guaranteed Pack{repeat each T}) -> () {

test/SILGen/variadic-generic-closures.swift

@@ -0,0 +1,11 @@
+// RUN: %target-swift-emit-silgen -enable-experimental-feature VariadicGenerics %s | %FileCheck %s
+
+// Because of -enable-experimental-feature VariadicGenerics
+// REQUIRES: asserts
+
+public struct G<T> {}
+
+// CHECK-LABEL: sil [ossa] @$s4main6caller2fnyyAA1GVyxGxQpXE_tRvzlF : $@convention(thin) <each T> (@guaranteed @noescape @callee_guaranteed @substituted <each τ_0_0, each τ_0_1 where (repeat (each τ_0_0, each τ_0_1)) : Any> (@pack_guaranteed Pack{repeat G<each τ_0_0>}) -> () for <Pack{repeat each T}, Pack{repeat each T}>) -> () {
+public func caller<each T>(fn: (repeat G<each T>) -> ()) {
+  fn(repeat G<each T>())
+}

test/SILGen/variadic-generic-results.swift

@@ -1,4 +1,6 @@
 // RUN: %target-swift-emit-silgen -enable-experimental-feature VariadicGenerics %s | %FileCheck %s
+
+// Because of -enable-experimental-feature VariadicGenerics
 // REQUIRES: asserts
 
 func sequence() {}

test/SILGen/variadic-generic-tuples.swift

@@ -1,4 +1,6 @@
 // RUN: %target-swift-emit-silgen -enable-experimental-feature VariadicGenerics %s | %FileCheck %s
+
+// Because of -enable-experimental-feature VariadicGenerics
 // REQUIRES: asserts
 
 func takeAny(_ arg: Any) {}