test/SIL/Parser/overloaded_member.sil

// RUN: %target-swift-frontend %s -emit-silgen -disable-objc-attr-requires-foundation-module -enable-objc-interop | %FileCheck %s

// rdar://15763213
// Make sure that we can parse SILDeclRef to an overloaded member.

import Swift
import Builtin

struct A {
  init()
}

@objc class X {
  init(a: A)
  init(a1: A, a2: A)
}

// CHECK-LABEL: sil [ossa] @_TFCSo1XcfMS_FT1aV11peer_method1A_S_
sil [ossa] @_TFCSo1XcfMS_FT1aV11peer_method1A_S_ : $@convention(method) (A, @owned X) -> @owned X {
bb0(%0 : $A, %1 : @owned $X):
  %2 = alloc_box $<τ_0_0> { var τ_0_0 } <X>
  %2a = project_box %2 : $<τ_0_0> { var τ_0_0 } <X>, 0
  %3 = alloc_box $<τ_0_0> { var τ_0_0 } <A>
  %3a = project_box %3 : $<τ_0_0> { var τ_0_0 } <A>, 0
  store %0 to [trivial] %3a : $*A
  %5 = mark_uninitialized [delegatingself] %1 : $X
  store %5 to [init] %2a : $*X
  %7 = load [copy] %2a : $*X
  // CHECK: objc_method %{{[0-9]+}} : $X, #X.init!initializer.1.foreign : (X.Type) -> (A, A) -> X, $@convention(objc_method) (A, A, @owned X) -> @owned X
  %9 = objc_method %7 : $X, #X.init!initializer.1.foreign : (X.Type) -> (A, A) -> X, $@convention(objc_method) (A, A, @owned X) -> @owned X
  %10 = load [trivial] %3a : $*A
  %11 = load [trivial] %3a : $*A
  %12 = apply %9(%10, %11, %7) : $@convention(objc_method) (A, A, @owned X) -> @owned X
  assign %12 to %2a : $*X
  destroy_value %3 : $<τ_0_0> { var τ_0_0 } <A>
  %15 = load [copy] %2a : $*X
  destroy_value %2 : $<τ_0_0> { var τ_0_0 } <X>
  return %15 : $X
}

// rdar://46650834
//   Don't complain that the first lookup result lacks an accessor when a
//   later lookup result provides it.
class B {
  typealias Index = Int
  typealias Element = String

  subscript(owned index: Index) -> Element { get }

  @_borrowed
  subscript(borrowed index: Index) -> Element { get }
}

sil [ossa] @test_overloaded_subscript : $@convention(thin) (@guaranteed B, B.Index) -> () {
bb0(%0 : $B, %1 : $B.Index):
  %reader = class_method %0 : $B, #B.subscript!read.1 : (B) -> (B.Index) -> (), $@convention(method) @yield_once (B.Index, @guaranteed B) -> @yields @guaranteed B.Element
  (%element, %token) = begin_apply %reader(%1, %0) : $@convention(method) @yield_once (B.Index, @guaranteed B) -> @yields @guaranteed B.Element
  end_apply %token

  %result = tuple ()
  return %result : $()
}