Additional test

Author: gottesmm

test/SILOptimizer/moveonly_borrow_to_destructure_transform.sil

@@ -25,6 +25,13 @@ struct AggStruct {
   var pair: KlassPair
 }
 
+@_moveOnly
+struct SingleIntContainingStruct {
+    var value: Builtin.Int32
+}
+
+sil @misc_use : $@convention(thin) () -> ()
+
 ///////////
 // Tests //
 ///////////
@@ -103,6 +110,33 @@ bb0(%0 : @owned $MoveOnlyKlass):
   return %1 : $MoveOnlyKlass
 }
 
+// CHECK-LABEL: sil [ossa] @test_return_of_extracted_trivial_type : $@convention(thin) (@guaranteed SingleIntContainingStruct) -> Builtin.Int32 {
+// CHECK: bb0([[ARG:%.*]] :
+// CHECK:   [[ARG_COPY:%.*]] = copy_value [[ARG]]
+// CHECK:   [[MARKED_ARG:%.*]] = mark_must_check [no_copy] [[ARG_COPY]]
+// CHECK:   [[MARKED_ARG_COPY:%.*]] = copy_value [[MARKED_ARG]]
+// CHECK:   [[MISC_USE:%.*]] = function_ref @misc_use : $@convention(thin) () -> ()
+// CHECK:   apply [[MISC_USE]]()
+// CHECK:   [[BORROW:%.*]] = begin_borrow [[MARKED_ARG_COPY]]
+// CHECK:   [[EXT:%.*]] = struct_extract [[BORROW]]
+// CHECK:   end_borrow [[BORROW]]
+// CHECK:   destroy_value [[MARKED_ARG_COPY]]
+// CHECK:   return [[EXT]]
+// CHECK: } // end sil function 'test_return_of_extracted_trivial_type'
+sil [ossa] @test_return_of_extracted_trivial_type : $@convention(thin) (@guaranteed SingleIntContainingStruct) -> Builtin.Int32 {
+bb0(%0 : @guaranteed $SingleIntContainingStruct):
+  %1 = copy_value %0 : $SingleIntContainingStruct
+  %2 = mark_must_check [no_copy] %1 : $SingleIntContainingStruct
+  debug_value %2 : $SingleIntContainingStruct, let, name "x", argno 1
+  %4 = begin_borrow %2 : $SingleIntContainingStruct
+  %5 = struct_extract %4 : $SingleIntContainingStruct, #SingleIntContainingStruct.value
+  end_borrow %4 : $SingleIntContainingStruct
+  %f = function_ref @misc_use : $@convention(thin) () -> ()
+  apply %f() : $@convention(thin) () -> ()
+  destroy_value %2 : $SingleIntContainingStruct
+  return %5 : $Builtin.Int32
+}
+
 ///////////////////////////////
 // Single Field Struct Tests //
 ///////////////////////////////