// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -o %t %S/Inputs/def_public_non_abi.sil
// RUN: %target-swift-frontend -emit-sil -I %t %s | %FileCheck %s

sil_stage raw

import def_public_non_abi
import Builtin
import Swift

// CHECK-LABEL: sil @top_level_code
// CHECK: function_ref @public_non_abi_function : $@convention(thin) () -> ()
// CHECK: return

sil @top_level_code : $@convention(thin) () -> () {
bb0:
  %0 = function_ref @public_non_abi_function : $@convention(thin) () -> ()
  %1 = tuple ()
  return %1 : $()
}

// Make sure the function body is deserialized.
// CHECK-LABEL: sil shared_external [serialized] @public_non_abi_function : $@convention(thin) () -> ()
// CHECK: function_ref @other_public_non_abi_function
// CHECK: return
sil hidden_external [serialized] @public_non_abi_function : $@convention(thin) () -> ()

// Make sure the function body is deserialized.
// CHECK-LABEL: sil shared_external [serialized] @other_public_non_abi_function : $@convention(thin) () -> ()
// CHECK: return