SILGen: Use maximal resilience expansion to decide if we need an ivar destroyer

Author: slavapestov

lib/SILGen/SILGen.cpp

@@ -956,9 +956,8 @@ bool SILGenModule::hasNonTrivialIVars(ClassDecl *cd) {
     auto *vd = dyn_cast<VarDecl>(member);
     if (!vd || !vd->hasStorage()) continue;
 
-    // FIXME: Expansion
     auto &ti = Types.getTypeLowering(vd->getType(),
-                                     ResilienceExpansion::Minimal);
+                                     ResilienceExpansion::Maximal);
     if (!ti.isTrivial())
       return true;
   }

test/SILGen/ivar_destroyer_resilience.swift

@@ -0,0 +1,39 @@
+
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-frontend -emit-module -enable-resilience -emit-module-path=%t/resilient_struct.swiftmodule -enable-sil-ownership %S/../Inputs/resilient_struct.swift
+// RUN: %target-swift-emit-silgen -I %t -enable-sil-ownership -enable-resilience %s | %FileCheck %s
+
+import resilient_struct
+
+public class Base {}
+
+public struct MyResilientInt {
+  var i: Int
+
+  public init(i: Int) { self.i = i }
+}
+
+public class NeedsIVarDetroyer : Base {
+  var x = ResilientInt(i: 0)
+}
+
+public class DoesNotNeedIVarDestroyer : Base {
+  var x = MyResilientInt(i: 0)
+}
+
+// CHECK-LABEL: sil_vtable NeedsIVarDetroyer {
+// CHECK-NEXT: #Base.init!allocator.1: (Base.Type) -> () -> Base
+// CHECK-NEXT: #NeedsIVarDetroyer.x!getter.1: (NeedsIVarDetroyer) -> () -> resilient_struct.ResilientInt
+// CHECK-NEXT: #NeedsIVarDetroyer.x!setter.1: (NeedsIVarDetroyer) -> (resilient_struct.ResilientInt) -> ()
+// CHECK-NEXT: #NeedsIVarDetroyer.x!modify.1: (NeedsIVarDetroyer) -> () -> ()
+// CHECK-NEXT: #NeedsIVarDetroyer.deinit!deallocator.1
+// CHECK-NEXT: #NeedsIVarDetroyer!ivardestroyer.1
+// CHECK-NEXT: }
+
+// CHECK-LABEL: sil_vtable DoesNotNeedIVarDestroyer {
+// CHECK-NEXT: #Base.init!allocator.1: (Base.Type) -> () -> Base
+// CHECK-NEXT: #DoesNotNeedIVarDestroyer.x!getter.1: (DoesNotNeedIVarDestroyer) -> () -> MyResilientInt
+// CHECK-NEXT: #DoesNotNeedIVarDestroyer.x!setter.1: (DoesNotNeedIVarDestroyer) -> (MyResilientInt) -> ()
+// CHECK-NEXT: #DoesNotNeedIVarDestroyer.x!modify.1: (DoesNotNeedIVarDestroyer) -> () -> ()
+// CHECK-NEXT: #DoesNotNeedIVarDestroyer.deinit!deallocator.1
+// CHECK-NEXT: }