Add unit test for ARCSequenceOpts with optimizable arc ops around

try_apply

Author: meg-gupta

test/SILOptimizer/arcsequenceopts.sil

@@ -405,6 +405,12 @@ bb0(%0 : $<τ_0_0> { var τ_0_0 } <Builtin.Int64>):
   return %1 : $()
 }
 
+sil @guaranteed_box_throwing_use : $@convention(thin) (@guaranteed <τ_0_0> { var τ_0_0 } <Builtin.Int64>) -> @error Error {
+bb0(%0 : $<τ_0_0> { var τ_0_0 } <Builtin.Int64>):
+  %1 = tuple ()
+  return %1 : $()
+}
+
 // CHECK_LABEL: sil hidden [noinline] @$test_guaranteed_call :
 // CHECK: bb1{{.*}}:
 // CHECK-NOT: strong_retain
@@ -2157,6 +2163,30 @@ bb2(%4 : $Error):
   throw %4 : $Error
 }
 
+// CHECK_LABEL: sil hidden [noinline] @$try_apply_test_3 :
+// CHECK-NOT: strong_retain
+// CHECK-NOT: strong_release
+// CHECK_LABEL: } // end sil function '$try_apply_test_3'
+sil hidden [noinline] @$try_apply_test_3 : $@convention(thin) () -> @error Error {
+bb0:
+  %box = alloc_box $<τ_0_0> { var τ_0_0 } <Builtin.Int64>
+  %proj = project_box %box : $<τ_0_0> { var τ_0_0 } <Builtin.Int64>, 0
+  %funcref = function_ref @guaranteed_box_throwing_use : $@convention(thin) (@guaranteed <τ_0_0> { var τ_0_0 } <Builtin.Int64>) -> @error Error
+  br bb1
+
+bb1:
+  strong_retain %box : $<τ_0_0> { var τ_0_0 } <Builtin.Int64>
+  try_apply %funcref (%box) : $@convention(thin) (@guaranteed <τ_0_0> { var τ_0_0 } <Builtin.Int64>) -> @error Error, normal bbs, error bbe
+
+bbs(%s : $()):
+  strong_release %box : $<τ_0_0> { var τ_0_0 } <Builtin.Int64>
+  return undef : $()
+
+bbe(%e : $Error):
+  strong_release %box : $<τ_0_0> { var τ_0_0 } <Builtin.Int64>
+  throw %e : $Error
+}
+
 // In this control flow, ARC runs multiple iterations to get rid of and move the retain and releases.
 // In the first iteration, we will try to move id1/id3 towards each other.
 // we create new instructions and remove the old ones. However we had a bug to insert these newly created