Add resilience tests

Author: aschwaighofer

test/IRGen/struct_resilience.swift

@@ -170,6 +170,24 @@ public func partialApplyOfResilientMethod(s: Size) {
   _ = s.method
 }
 
+public func wantsAny(_ any: Any) {}
+
+public func resilientAny(s : ResilientWeakRef) {
+  wantsAny(s)
+}
+
+// CHECK-LABEL: define{{.*}} swiftcc void @"$S17struct_resilience12resilientAny1sy0c1_A016ResilientWeakRefV_tF"(%swift.opaque* noalias nocapture)
+// CHECK: entry:
+// CHECK: [[ANY:%.*]] = alloca %Any
+// CHECK: [[META:%.*]] = call swiftcc %swift.metadata_response @"$S16resilient_struct16ResilientWeakRefVMa"(i64 0)
+// CHECK: [[META2:%.*]] = extractvalue %swift.metadata_response %3, 0
+// CHECK: [[TYADDR:%.*]] = getelementptr inbounds %Any, %Any* %1, i32 0, i32 1
+// CHECK:  store %swift.type* [[META2]], %swift.type** [[TYADDR]]
+// CHECK:  call %swift.opaque* @__swift_allocate_boxed_opaque_existential_0(%Any* [[ANY]])
+// CHECK:  call swiftcc void @"$S17struct_resilience8wantsAnyyyypF"(%Any* noalias nocapture dereferenceable(32) [[ANY]])
+// CHECK:  call void @__swift_destroy_boxed_opaque_existential_0(%Any* [[ANY]])
+// CHECK:  ret void
+
 // Public metadata accessor for our resilient struct
 
 // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc %swift.metadata_response @"$S17struct_resilience6MySizeVMa"

test/Inputs/resilient_struct.swift

@@ -77,3 +77,13 @@ public struct ResilientDouble {
     self.d = d
   }
 }
+
+public class Referent {}
+
+public struct ResilientWeakRef {
+  public weak var ref: Referent?
+
+  public init (_ r: Referent) {
+    ref = r
+  }
+}

validation-test/Evolution/Inputs/bitwise_takable.swift

@@ -0,0 +1,73 @@
+public protocol Reporter  {
+  func report() -> String;
+}
+public class Subject {
+  public var value = 1
+  public init(_ v: Int) {
+    value = v
+  }
+}
+public var s2 = Subject(2)
+public var s3 = Subject(3)
+public var s4 = Subject(4)
+public var s5 = Subject(5)
+
+public struct Container : Reporter {
+#if BEFORE
+  public var v : Subject
+#else
+  weak public var v : Subject?
+#endif
+  public init(_ s: Subject) {
+    v = s
+  }
+
+  public func report() -> String{
+#if BEFORE
+    return "Container(\(v.value))"
+#else
+    return "Container(\(v!.value))"
+#endif
+  }
+}
+public func createContainerReporter() -> Reporter {
+  return Container(s2)
+}
+
+public struct PairContainer: Reporter {
+  public var pair : (Container, Container)
+
+  public init(_ p : (Container, Container)) {
+    pair = p
+  }
+
+  public func report() -> String {
+    return "PairContainer(\(pair.0.report()), \(pair.1.report()))"
+  }
+}
+
+public func createPairContainerReporter() -> Reporter {
+  return PairContainer((Container(s3), Container(s4)))
+}
+
+public enum EnumContainer : Reporter {
+  case Empty
+  case Some(Container)
+
+  public func report() -> String {
+    switch self {
+      case .Empty:
+         return "EnumContainer Empty"
+      case .Some(let c):
+        return "EnumContainer(\(c.report()))"
+    }
+  }
+}
+
+public func createEnumContainerReporter() -> Reporter {
+  return EnumContainer.Some(Container(s5))
+}
+
+public func report(_ r: Reporter) -> String {
+  return r.report()
+}

validation-test/Evolution/test_bitwise_takable.swift

@@ -0,0 +1,29 @@
+// RUN: %target-resilience-test
+// REQUIRES: executable_test
+
+import StdlibUnittest
+import bitwise_takable
+
+
+var BitwiseTakable = TestSuite("BitwiseTakable")
+
+BitwiseTakable.test("test") {
+  let c = createContainerReporter()
+  expectEqual("Container(2)", c.report())
+  let p = createPairContainerReporter()
+  expectEqual("PairContainer(Container(3), Container(4))", p.report())
+  let e = createEnumContainerReporter()
+  expectEqual("EnumContainer(Container(5))", e.report())
+
+  let r : Reporter = Container(s2)
+  expectEqual("Container(2)", report(r))
+
+  let r2 : Reporter = PairContainer((Container(s3), Container(s4)))
+  expectEqual("PairContainer(Container(3), Container(4))", report(r2))
+
+  let r3 : Reporter = EnumContainer.Some(Container(s5))
+  expectEqual("EnumContainer(Container(5))", report(r3))
+
+}
+
+runAllTests()