// RUN: %target-swift-frontend -emit-ir -verify -I %S/../IDE/Inputs/custom-modules %s
// REQUIRES: objc_interop

sil_stage canonical

import Builtin
import Swift
import ImportAsMember

sil @IAMStruct1CreateSimple : $@convention(c) () -> Struct1
sil @IAMStruct1Rotate : $@convention(c) (@in Struct1, Double) -> Struct1
sil @IAMStruct1SetAltitude : $@convention(c) (@inout Struct1, Double) -> ()
sil @mutateSomeState : $@convention(c) <τ_0_0 where τ_0_0 : IAMProto> (τ_0_0) -> ()

sil @invoke_methods : $@convention(thin) (Double) -> () {
entry(%z : $Double):
  %a = function_ref @IAMStruct1CreateSimple : $@convention(c) () -> Struct1
  %b = apply %a() : $@convention(c) () -> Struct1
  %c = alloc_stack $Struct1
  store %b to %c : $*Struct1
  %d = function_ref @IAMStruct1Rotate : $@convention(c) (@in Struct1, Double) -> Struct1
  %e = apply %d(%c, %z) : $@convention(c) (@in Struct1, Double) -> Struct1
  %f = function_ref @IAMStruct1SetAltitude : $@convention(c) (@inout Struct1, Double) -> ()
  apply %f(%c, %z) : $@convention(c) (@inout Struct1, Double) -> ()
  dealloc_stack %c : $*Struct1
  return undef : $()
}

// CHECK-LABEL: define void @invoke_protocol_methods(%objc_object*)
sil @invoke_protocol_methods : $@convention(thin) (IAMProto) -> () {
entry(%z : $IAMProto):
  %a = open_existential_ref %z : $IAMProto to $@opened("01234567-89AB-CDEF-0123-000000000000") IAMProto
  %b = function_ref @mutateSomeState : $@convention(c) <τ_0_0 where τ_0_0 : IAMProto> (τ_0_0) -> ()
  // CHECK: [[CAST:%.*]] = bitcast %objc_object* %0 to i8*
  // CHECK: call void @mutateSomeState(i8* [[CAST]])
  apply %b<@opened("01234567-89AB-CDEF-0123-000000000000") IAMProto>(%a) : $@convention(c) <τ_0_0 where τ_0_0 : IAMProto> (τ_0_0) -> ()
  return undef : $()
}