Merge pull request #76186 from nate-chandler/rdar133779160

[ODL] Handle builtins.

Author: nate-chandler

lib/SILOptimizer/Mandatory/MoveOnlyWrappedTypeEliminator.cpp

@@ -208,6 +208,7 @@ struct SILMoveOnlyWrappedTypeEliminatorVisitor
   NO_UPDATE_NEEDED(FixLifetime)
   NO_UPDATE_NEEDED(AddressToPointer)
   NO_UPDATE_NEEDED(ExistentialMetatype)
+  NO_UPDATE_NEEDED(Builtin)
 #undef NO_UPDATE_NEEDED
 
   bool eliminateIdentityCast(SingleValueInstruction *svi) {

test/SILOptimizer/moveonly_type_eliminator.sil

@@ -29,6 +29,8 @@ class Klass {
   func foo()
 }
 
+class C {}
+
 struct KlassPair {
   var lhs: Klass
   var rhs: Klass
@@ -613,3 +615,15 @@ bb0(%x : @guaranteed $any Error):
   debug_value %em : $@thick any Error.Type, var, name "s", argno 1, expr op_deref
   return %em : $@thick any Error.Type
 }
+
+// CHECK-LABEL: sil [ossa] @builtin_tsanInoutAccess : {{.*}} {
+// CHECK:         builtin "tsanInoutAccess"
+// CHECK-LABEL: } // end sil function 'builtin_tsanInoutAccess'
+sil [ossa] @builtin_tsanInoutAccess : $@convention(thin) () -> () {
+bb0:
+  %1 = alloc_stack $@moveOnly C, var, name "b", type $@moveOnly C
+  %6 = builtin "tsanInoutAccess"(%1 : $*@moveOnly C) : $()
+  dealloc_stack %1 : $*@moveOnly C
+  %13 = tuple ()
+  return %13 : $()
+}

validation-test/SILOptimizer/rdar133779160.swift

@@ -0,0 +1,9 @@
+// RUN: %target-build-swift %s -sanitize=thread
+
+// REQUIRES: tsan_runtime
+
+class C {}
+func passC(_ b: consuming C) {
+  mutateC(&b)
+}
+func mutateC(_ b: inout C) {}