mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
73 lines
3.6 KiB
Swift
73 lines
3.6 KiB
Swift
// RUN: %target-swift-frontend -target %target-cpu-apple-macos10.15 -emit-sil %s | %FileCheck --check-prefix=CHECK-macosx10_15 %s
|
|
// RUN: %target-swift-frontend -target %target-cpu-apple-macos10.14 -emit-sil %s | %FileCheck --check-prefix=CHECK-macosx10_14 %s
|
|
// RUN: %target-swift-frontend -O -target %target-cpu-apple-macos10.15 -emit-sil %s | %FileCheck --check-prefix=CHECK-macosx10_15 --check-prefix=CHECK-macosx10_15_opt %s
|
|
// RUN: %target-swift-frontend -O -target %target-cpu-apple-macos10.14 -emit-sil %s | %FileCheck --check-prefix=CHECK-macosx10_14 %s
|
|
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -O -target %target-cpu-apple-macos10.15 -module-name=Test -emit-module -emit-module-path %t/Test.swiftmodule %s
|
|
// RUN: %sil-opt -target %target-cpu-apple-macos10.15 %t/Test.swiftmodule | %FileCheck --check-prefix=CHECK-inlinable %s
|
|
|
|
// REQUIRES: OS=macosx
|
|
|
|
@available(macOS 10.15, *)
|
|
@inline(never)
|
|
public func newFunction() -> Int {
|
|
return 0
|
|
}
|
|
|
|
@inline(never)
|
|
public func oldFunction() -> Int {
|
|
return 1
|
|
}
|
|
|
|
public func testAvailabilityPropagation() -> Int {
|
|
if #available(macOS 10.15, *) {
|
|
return newFunction()
|
|
} else {
|
|
return oldFunction()
|
|
}
|
|
}
|
|
|
|
@inlinable
|
|
public func testInlinable() -> Int {
|
|
if #available(macOS 10.15, *) {
|
|
return newFunction()
|
|
} else {
|
|
return 0
|
|
}
|
|
}
|
|
|
|
// CHECK-macosx10_15-LABEL: sil @$s33constant_propagation_availability27testAvailabilityPropagationSiyF : $@convention(thin) () -> Int {
|
|
// CHECK-macosx10_15-NOT: apply
|
|
// CHECK-macosx10_15: [[F:%.*]] = function_ref @$s33constant_propagation_availability11newFunctionSiyF
|
|
// CHECK-macosx10_15: apply [[F]]() : $@convention(thin) () -> Int
|
|
// CHECK-macosx10_15-NOT: apply
|
|
// CHECK-macosx10_15: } // end sil function '$s33constant_propagation_availability27testAvailabilityPropagationSiyF'
|
|
|
|
// After serialization, availability checks can be constant folded.
|
|
|
|
// CHECK-macosx10_15_opt-LABEL: sil @$s33constant_propagation_availability13testInlinableSiyF : $@convention(thin) () -> Int {
|
|
// CHECK-macosx10_15_opt-NOT: apply
|
|
// CHECK-macosx10_15_opt: [[F:%.*]] = function_ref @$s33constant_propagation_availability11newFunctionSiyF
|
|
// CHECK-macosx10_15_opt: apply [[F]]() : $@convention(thin) () -> Int
|
|
// CHECK-macosx10_15_opt-NOT: apply
|
|
// CHECK-macosx10_15_opt: } // end sil function '$s33constant_propagation_availability13testInlinableSiyF'
|
|
|
|
// CHECK-macosx10_14-LABEL: sil @$s33constant_propagation_availability27testAvailabilityPropagationSiyF : $@convention(thin) () -> Int {
|
|
// CHECK-macosx10_14: [[F:%.*]] = function_ref @$ss26_stdlib_isOSVersionAtLeastyBi1_Bw_BwBwtF
|
|
// CHECK-macosx10_14: apply [[F]]
|
|
// CHECK-macosx10_14: [[F:%.*]] = function_ref @$s33constant_propagation_availability11newFunctionSiyF
|
|
// CHECK-macosx10_14: apply [[F]]() : $@convention(thin) () -> Int
|
|
// CHECK-macosx10_14: [[F:%.*]] = function_ref @$s33constant_propagation_availability11oldFunctionSiyF
|
|
// CHECK-macosx10_14: apply [[F]]
|
|
// CHECK-macosx10_14: } // end sil function '$s33constant_propagation_availability27testAvailabilityPropagationSiyF'
|
|
|
|
// CHECK-macosx10_14: sil [no_locks] [readnone] [_semantics "availability.osversion"] @$ss26_stdlib_isOSVersionAtLeastyBi1_Bw_BwBwtF
|
|
|
|
// CHECK-inlinable-LABEL: sil {{.*}} @$s4Test13testInlinableSiyF : $@convention(thin) () -> Int {
|
|
// CHECK-inlinable: [[F:%.*]] = function_ref @$ss26_stdlib_isOSVersionAtLeastyBi1_Bw_BwBwtF
|
|
// CHECK-inlinable: apply [[F]]
|
|
// CHECK-inlinable: [[F:%.*]] = function_ref @$s4Test11newFunctionSiyF
|
|
// CHECK-inlinable: apply [[F]]() : $@convention(thin) () -> Int
|
|
// CHECK-inlinable: } // end sil function '$s4Test13testInlinableSiyF'
|