[region-isolation] Add support for classify_bridge_object.

Author: gottesmm

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

@@ -2102,6 +2102,7 @@ CONSTANT_TRANSLATION(DebugStepInst, Ignored)
 
 // Instructions that only require that the region of the value be live:
 CONSTANT_TRANSLATION(FixLifetimeInst, Require)
+CONSTANT_TRANSLATION(ClassifyBridgeObjectInst, Require)
 
 //===---
 // Terminators
@@ -2147,7 +2148,6 @@ CONSTANT_TRANSLATION(BridgeObjectToWordInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCToThickMetatypeInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCMetatypeToObjectInst, Unhandled)
 CONSTANT_TRANSLATION(ObjCExistentialMetatypeToObjectInst, Unhandled)
-CONSTANT_TRANSLATION(ClassifyBridgeObjectInst, Unhandled)
 CONSTANT_TRANSLATION(ValueToBridgeObjectInst, Unhandled)
 CONSTANT_TRANSLATION(UnownedCopyValueInst, Unhandled)
 CONSTANT_TRANSLATION(WeakCopyValueInst, Unhandled)

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -852,3 +852,19 @@ bb0:
   %9999 = tuple ()
   return %9999 : $()
 }
+
+sil [ossa] @classify_bridge_object_test : $@convention(thin) @async () -> () {
+bb0:
+  %constructFn = function_ref @constructNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+  %value = apply %constructFn() : $@convention(thin) () -> @owned NonSendableKlass
+
+  %transferNonSendableKlass = function_ref @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferNonSendableKlass(%value) : $@convention(thin) @async (@guaranteed NonSendableKlass) -> () // expected-warning {{passing argument of non-sendable type 'NonSendableKlass' from nonisolated context to global actor '<null>'-isolated context at this call site could yield a race with accesses later in this function}}
+
+  %value2 = unchecked_ref_cast %value : $NonSendableKlass to $Builtin.BridgeObject
+  %1 = classify_bridge_object %value2 : $Builtin.BridgeObject // expected-note {{access here could race}}
+  destroy_value %value2 : $Builtin.BridgeObject
+
+  %9999 = tuple ()
+  return %9999 : $()
+}