[ownership-verifier] Add two tests to ensure that the verifier accepts forwarded @owned aggregates.

I am going to add some negative tests in a forthcoming commit. I just wrote
these locally and wanted to get them into tree.

rdar://29791263

Author: gottesmm

test/SIL/ownership-verifier/use_verifier.sil

@@ -13,6 +13,11 @@ import Builtin
 // Declarations //
 //////////////////
 
+enum Optional<T> {
+case some(T)
+case nome
+}
+
 struct TrivialStruct {
   var f1: Builtin.Int32
   var f2: Builtin.Int32
@@ -23,6 +28,11 @@ struct NonTrivialStructWithTrivialField {
   var payload: Builtin.Int32
 }
 
+struct TupleContainingNonTrivialStruct {
+  var t: (Builtin.NativeObject, Builtin.NativeObject)
+  var opt: Optional<Builtin.NativeObject>
+}
+
 ////////////////
 // Test Cases //
 ////////////////
@@ -70,3 +80,24 @@ bb0(%0 : $Builtin.NativeObject):
   %9999 = tuple()
   return %9999 : $()
 }
+
+/////////////////////
+// Aggregate Tests //
+/////////////////////
+
+// These tests make sure that we properly handle @owned forwarding of multiple
+// levels of aggregate.
+
+sil @owned_aggregates_simple : $@convention(thin) (@owned Builtin.NativeObject, @owned Builtin.NativeObject) -> (@owned (Builtin.NativeObject, Builtin.NativeObject)) {
+bb0(%0 : $Builtin.NativeObject, %1 : $Builtin.NativeObject):
+  %2 = tuple(%0 : $Builtin.NativeObject, %1 : $Builtin.NativeObject)
+  return %2 : $(Builtin.NativeObject, Builtin.NativeObject)
+}
+
+sil @multiple_level_owned_aggregates : $@convention(thin) (@owned Builtin.NativeObject, @owned Builtin.NativeObject, @owned Builtin.NativeObject) -> (@owned TupleContainingNonTrivialStruct) {
+bb0(%0 : $Builtin.NativeObject, %1 : $Builtin.NativeObject, %2 : $Builtin.NativeObject):
+  %3 = tuple(%0 : $Builtin.NativeObject, %1 : $Builtin.NativeObject)
+  %4 = enum $Optional<Builtin.NativeObject>, #Optional.some!enumelt.1, %2 : $Builtin.NativeObject
+  %5 = struct $TupleContainingNonTrivialStruct(%3 : $(Builtin.NativeObject, Builtin.NativeObject), %4 : $Optional<Builtin.NativeObject>)
+  return %5 : $TupleContainingNonTrivialStruct
+}