// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: %target-swift-frontend %S/Inputs/shared_function_serialization_input.swift -o %t/Swift.swiftmodule -emit-module -parse-as-library -parse-stdlib -module-link-name swiftCore -module-name Swift -sil-serialize-all -O
// RUN: %target-sil-opt -enable-sil-verify-all -I %t -linker -inline %s -o - | FileCheck %s

// CHECK: sil private @top_level_code 
// CHECK: sil public_external [fragile] @{{.*}}_TFVs1XCfT_S_ 
// CHECK: sil public_external [fragile] @{{.*}}_TFs17the_thing_it_doesFT1xVs1X_T_ 
// CHECK: sil shared_external [fragile] [noinline] @{{.*}}_TTSg5Vs1X___TFs9the_thingurFT1tx_T_ 

sil_stage canonical

import Builtin
import Swift

sil_global @x : $X

// top_level_code
sil private @top_level_code : $@convention(thin) () -> () {
bb0:
  %0 = global_addr @x : $*X                       // users: %4, %6
  // function_ref Swift.X.init (Swift.X.Type)() -> Swift.X
  %1 = function_ref @_TFVs1XCfT_S_ : $@convention(thin) (@thin X.Type) -> X // user: %3
  %2 = metatype $@thin X.Type                     // user: %3
  %3 = apply %1(%2) : $@convention(thin) (@thin X.Type) -> X  // user: %4
  store %3 to %0 : $*X                            // id: %4
  // function_ref Swift.the_thing_it_does (x : Swift.X) -> ()
  %5 = function_ref @_TFs17the_thing_it_doesFT1xVs1X_T_ : $@convention(thin) (X) -> () // user: %7
  %6 = load %0 : $*X                              // user: %7
  %7 = apply %5(%6) : $@convention(thin) (X) -> ()
  %8 = tuple ()                                   // user: %9
  return %8 : $()                                 // id: %9
}

// Swift.X.init (Swift.X.Type)() -> Swift.X
sil @_TFVs1XCfT_S_ : $@convention(thin) (@thin X.Type) -> X

// Swift.the_thing_it_does (x : Swift.X) -> ()
sil @_TFs17the_thing_it_doesFT1xVs1X_T_ : $@convention(thin) (X) -> ()