DeinitDevirtualizer: bail out for C++ move-only types.

We cannot de-virtualize C++ destructor calls of C++ move-only types because we cannot get its destructor in SIL.
Fixes a miscompile.

Author: eeckstein

SwiftCompilerSources/Sources/Optimizer/Utilities/Devirtualization.swift

@@ -39,6 +39,12 @@ private func devirtualize(destroy: some DevirtualizableDestroy, _ context: some
     return true
   }
 
+  // We cannot de-virtualize C++ destructor calls of C++ move-only types because we cannot get
+  // its destructor (`nominal.valueTypeDestructor` is nil).
+  if nominal.hasClangNode {
+    return false
+  }
+
   if nominal.valueTypeDestructor != nil && !destroy.shouldDropDeinit {
     guard let deinitFunc = context.lookupDeinit(ofNominal: nominal) else {
       return false

test/SILOptimizer/Inputs/CXXTypesWithUserProvidedDestructor.h

@@ -19,4 +19,15 @@ struct HasMemberWithUserProvidedDestructor {
   ~HasMemberWithUserProvidedDestructor() {}
 };
 
+void foo();
+
+struct NonCopyable {
+  NonCopyable(int x) : x(x) {}
+  NonCopyable(const NonCopyable &) = delete;
+  NonCopyable(NonCopyable &&other) : x(other.x) { other.x = -123; }
+  ~NonCopyable() { foo(); }
+
+  int x;
+};
+
 #endif // TEST_SIL_OPTIMIZER_CXX_WITH_CUSTOM_DESTRUCTOR_H

test/SILOptimizer/devirt_deinits.sil

@@ -1,4 +1,4 @@
-// RUN: %target-sil-opt -sil-print-types %s -deinit-devirtualizer -module-name=test | %FileCheck %s
+// RUN: %target-sil-opt -sil-print-types %s -deinit-devirtualizer -module-name=test -enable-experimental-cxx-interop -I %S/Inputs | %FileCheck %s
 
 // REQUIRES: swift_in_compiler
 
@@ -7,6 +7,7 @@ sil_stage canonical
 import Builtin
 import Swift
 import SwiftShims
+import CXXTypesWithUserProvidedDestructor
 
 @inline(never) func log(_ s: StaticString)
 
@@ -283,6 +284,16 @@ bb0(%0 : $*T):
   return %r : $()
 }
 
+// CHECK-LABEL: sil [ossa] @nodevirt_of_cxx_type :
+// CHECK:         destroy_addr %0
+// CHECK:       } // end sil function 'nodevirt_of_cxx_type'
+sil [ossa] @nodevirt_of_cxx_type : $@convention(thin) (@in NonCopyable) -> () {
+bb0(%0 : $*NonCopyable):
+  destroy_addr %0
+  %5 = tuple ()
+  return %5
+}
+
 // CHECK-LABEL: sil @test_non_ossa :
 // CHECK:         destroy_addr %0
 // CHECK:       } // end sil function 'test_non_ossa'