Merge pull request #38755 from slavapestov/gsb-broken-canonical-type-tests

Add some test cases where the GSB computes incorrect canonical types

Author: slavapestov

test/Generics/gsb_canonical_type_bug_1.swift

@@ -0,0 +1,17 @@
+// RUN: %target-swift-emit-silgen %s -requirement-machine=on | %FileCheck %s
+
+// The GSB computes an incorrect canonical type here, which caused a SILGen assert.
+
+protocol P1 {
+  associatedtype A
+}
+
+protocol P2 {
+  associatedtype A
+}
+
+extension P1 where Self: P2 {
+  func foo<T>(_: A, _: T) { }
+}
+
+// CHECK-LABEL: sil hidden [ossa] @$s24gsb_canonical_type_bug_12P1PA2A2P2RzrlE3fooyy1AACQz_qd__tlF : $@convention(method) <Self where Self : P1, Self : P2><T> (@in_guaranteed Self.A, @in_guaranteed T, @in_guaranteed Self) -> ()

test/Generics/gsb_canonical_type_bug_2.swift

@@ -0,0 +1,26 @@
+// RUN: %target-swift-emit-silgen %s -requirement-machine=on | %FileCheck %s
+// RUN: %target-swift-emit-silgen %s -requirement-machine=off | %FileCheck %s --check-prefix=CHECK-GSB
+// RUN: not --crash %target-swift-emit-silgen %s -requirement-machine=verify
+
+protocol P1 {
+  associatedtype A
+}
+
+protocol P2 {
+  associatedtype A
+}
+
+protocol P3 {
+  associatedtype B
+  associatedtype C : P3 where C.C == C, C.B == B
+}
+
+extension P2 {
+  func foo<T : P1 & P3>(_: T, _: T.A) where T.B == T, T.A == A {
+    _ = A.self
+    _ = T.A.self
+  }
+}
+
+// CHECK-LABEL:     sil hidden [ossa] @$s24gsb_canonical_type_bug_22P2PAAE3fooyyqd___1AQztAA2P1Rd__AA2P3Rd__1BAaHPQyd__Rsd__AeaGPQyd__AFRSlF : $@convention(method) <Self where Self : P2><T where T : P1, T : P3, T == T.B, Self.A == T.A> (@in_guaranteed T, @in_guaranteed Self.A, @in_guaranteed Self) -> ()
+// CHECK-GSB-LABEL: sil hidden [ossa] @$s24gsb_canonical_type_bug_22P2PAAE3fooyyqd___1AAA2P1PQyd__tAaFRd__AA2P3Rd__1BAaIPQyd__Rsd__AhERtzlF : $@convention(method) <Self where Self : P2><T where T : P1, T : P3, T == T.B, Self.A == T.A> (@in_guaranteed T, @in_guaranteed T.A, @in_guaranteed Self) -> ()

test/Generics/gsb_canonical_type_bug_3.swift

@@ -0,0 +1,22 @@
+// RUN: %target-swift-emit-silgen %s -requirement-machine=on | %FileCheck %s
+
+// The GSB computes an incorrect canonical type for bar() which causes
+// SILGen to assert.
+
+public protocol P1 {
+  associatedtype A
+}
+
+public protocol P2 {
+  associatedtype A
+}
+
+public protocol P3 : P1, P2 {
+  typealias B = A
+}
+
+public protocol P4 {}
+
+func bar<T : P3 & P4, X>(x: T, y: T.B, _: X) {}
+
+// CHECK-LABEL: sil hidden [ossa] @$s24gsb_canonical_type_bug_33bar1x1y_yx_1AAA2P1PQzq_tAA2P3RzAA2P4Rzr0_lF : $@convention(thin) <T, X where T : P3, T : P4> (@in_guaranteed T, @in_guaranteed T.A, @in_guaranteed X) -> ()