test/LLVMPasses/missing_runtime_declarations.ll

; RUN: %swift-llvm-opt -swift-arc-contract %s | %FileCheck %s

target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-apple-macosx10.9"

; CHECK: %a = type opaque
; CHECK: %swift.bridge = type opaque
; CHECK: declare void @swift_bridgeObjectRelease(%a* nocapture)

%a = type opaque
declare void @swift_bridgeObjectRelease(%a* nocapture)
declare %a *@swift_bridgeObjectRetain(%a* nocapture)

; CHECK-LABEL: define void @testcase1(%a*) {
; CHECK: entry:
; CHECK-NEXT: [[CAST:%.*]] = bitcast %a* %0 to %swift.bridge*
; CHECK-NEXT: call void @swift_bridgeObjectRelease_n(%swift.bridge* [[CAST]], i32 2)
; CHECK-NEXT: ret void
define void @testcase1(%a*) {
entry:
  call void @swift_bridgeObjectRelease(%a* %0)
  call void @swift_bridgeObjectRelease(%a* %0)
  ret void
}

declare void @user(%a*)

; CHECK-LABEL: define %a* @testcase2(%a*) {
; CHECK: entry:
; CHECK-NEXT: [[CAST1:%.*]] = bitcast %a* %0 to %swift.bridge*
; CHECK-NEXT: [[RESULT:%.*]] ={{( tail)?}} call %swift.bridge* @swift_bridgeObjectRetain_n(%swift.bridge* [[CAST1]], i32 2)
; CHECK-NEXT: [[RESULT_CAST1:%.*]] = bitcast %swift.bridge* %2 to %a*
; CHECK-NEXT: [[RESULT_CAST2:%.*]] = bitcast %swift.bridge* %2 to %a*
; CHECK-NEXT: call void @user(%a* [[RESULT_CAST1]])
; CHECK-NEXT: call void @user(%a* [[RESULT_CAST2]])
; CHECK-NEXT: ret %a* [[RESULT_CAST2]]
define %a* @testcase2(%a*) {
entry:
  %1 = call %a* @swift_bridgeObjectRetain(%a* %0)
  %2 = call %a* @swift_bridgeObjectRetain(%a* %0)
  call void @user(%a* %1)
  call void @user(%a* %2)
  ret %a* %2
}