Merge pull request #32177 from gottesmm/pr-f5820e0408ca527e9c54f4b3c46468e4706e7c80

[memory-lifetime] Teach the verifier that select_enum_addr doesn't write to memory.

Author: gottesmm

lib/SIL/Verifier/SILVerifier.cpp

@@ -546,6 +546,7 @@ struct ImmutableAddressUseVerifier {
       case SILInstructionKind::FixLifetimeInst:
       case SILInstructionKind::KeyPathInst:
       case SILInstructionKind::SwitchEnumAddrInst:
+      case SILInstructionKind::SelectEnumAddrInst:
         break;
       case SILInstructionKind::AddressToPointerInst:
         // We assume that the user is attempting to do something unsafe since we

test/SIL/memory_lifetime.sil

@@ -377,3 +377,20 @@ bb6(%45 : @owned $Error):
   br bb4(%45 : $Error)
 }
 
+sil [ossa] @test_memory_lifetime_select_enum : $@convention(thin) (@in_guaranteed Optional<T>) -> () {
+bb0(%0 : $*Optional<T>):
+  %2 = integer_literal $Builtin.Int1, 0
+  %3 = integer_literal $Builtin.Int1, 1
+  %4 = select_enum_addr %0 : $*Optional<T>, case #Optional.none!enumelt: %2, case #Optional.some!enumelt: %3 : $Builtin.Int1
+  cond_br %4, bb1, bb2
+
+bb1:
+  br bb3
+
+bb2:
+  br bb3
+
+bb3:
+  %9999 = tuple()
+  return %9999 : $()
+}