mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
9617af5956
This commit removes the flag '-disable-func-sig-opts' from a bunch of tests and fixes all of the affected tests. This flag was introduces when the function-signature-opt optimization was introduced and we did not port the old tests. Now the day has come to clean all of the old tests and delete the flag.
42 lines
1.8 KiB
Plaintext
42 lines
1.8 KiB
Plaintext
// 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) -> ()
|
|
|
|
|