// RUN: %target-swift-frontend -emit-ir %s | %FileCheck --check-prefix=CHECK --check-prefix=CHECK-%target-runtime %s

sil_stage canonical

import Builtin

// CHECK-LABEL: @retain_release_unknown_object
sil [ossa] @retain_release_unknown_object : $@convention(thin) (@guaranteed Builtin.UnknownObject) -> () {
entry(%x : @guaranteed $Builtin.UnknownObject):
  // CHECK-native: swift_retain
  // CHECK-objc: swift_unknownObjectRetain
  %y = copy_value %x : $Builtin.UnknownObject
  // CHECK-native: swift_release
  // CHECK-objc: swift_unknownObjectRelease
  destroy_value %y : $Builtin.UnknownObject
  return undef : $()
}