Add SIL test

Author: meg-gupta

test/SIL/Parser/result_depends_on.sil

@@ -0,0 +1,34 @@
+// RUN: %target-sil-opt %s -enable-experimental-feature NonescapableTypes | %FileCheck %s
+// REQUIRES: asserts
+
+sil_stage raw
+
+import Builtin
+
+class Klass { }
+
+class MethodModifiers {
+  _resultDependsOnSelf func getDependentResult() -> Builtin.NativeObject
+}
+
+func foo(_ x: _resultDependsOn Klass) -> Builtin.NativeObject
+
+// CHECK-LABEL: sil hidden [ossa] [_resultDependsOnSelf] @getDependentResult : 
+// CHECK-LABEL: } // end sil function 'getDependentResult'
+sil hidden [ossa] [_resultDependsOnSelf] @getDependentResult : $@convention(method) (@guaranteed MethodModifiers) -> @owned Builtin.NativeObject {
+bb0(%0 : @guaranteed $MethodModifiers):
+  %2 = copy_value %0 : $MethodModifiers           
+  %3 = unchecked_ref_cast %2 : $MethodModifiers to $Builtin.NativeObject 
+  return %3 : $Builtin.NativeObject               
+} 
+
+// CHECK-LABEL: sil hidden [ossa] @foo : 
+// CHECK: bb0(%0 : @_resultDependsOn @guaranteed $Klass):
+// CHECK-LABEL: } // end sil function 'foo'
+sil hidden [ossa] @foo : $@convention(thin) (@guaranteed Klass) -> @owned Builtin.NativeObject {
+bb0(%0 : @_resultDependsOn @guaranteed $Klass):
+  %2 = copy_value %0 : $Klass                     
+  %3 = unchecked_ref_cast %2 : $Klass to $Builtin.NativeObject 
+  return %3 : $Builtin.NativeObject               
+} 
+

test/SIL/result_depends_on.swift

@@ -0,0 +1,21 @@
+// RUN: %target-swift-frontend %s -emit-sil  -enable-builtin-module -enable-experimental-feature NonescapableTypes -disable-experimental-parser-round-trip
+// REQUIRES: asserts
+
+import Builtin
+
+class Klass {}
+
+class MethodModifiers {
+// CHECK-LABEL: sil hidden [ossa] [_resultDependsOnSelf] @$s17result_depends_on15MethodModifiersC18getDependentResultBoyF :
+    _resultDependsOnSelf func getDependentResult() -> Builtin.NativeObject {
+      return Builtin.unsafeCastToNativeObject(self)
+    }
+}
+
+// CHECK-LABEL: sil hidden [ossa] @$s17result_depends_on3fooyBoAA5KlassCF :
+// CHECK: bb0(%0 : @_resultDependsOn @guaranteed $Klass):
+// CHECK: } // end sil function '$s17result_depends_on3fooyBoAA5KlassCF'
+func foo(_ x : _resultDependsOn Klass) -> Builtin.NativeObject {
+  return Builtin.unsafeCastToNativeObject(x)
+}
+