mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7cceaff5f3
Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.
55 lines
2.8 KiB
Swift
55 lines
2.8 KiB
Swift
// RUN: %target-swift-frontend -module-name pointer_conversion -Xllvm -sil-print-types -emit-sil -O %s | %FileCheck %s
|
|
// REQUIRES: optimized_stdlib
|
|
// UNSUPPORTED: objc_interop
|
|
|
|
// Opaque, unoptimizable functions to call.
|
|
@_silgen_name("takesConstRawPointer")
|
|
func takesConstRawPointer(_ x: UnsafeRawPointer)
|
|
@_silgen_name("takesOptConstRawPointer")
|
|
func takesOptConstRawPointer(_ x: UnsafeRawPointer?)
|
|
@_silgen_name("takesMutableRawPointer")
|
|
func takesMutableRawPointer(_ x: UnsafeMutableRawPointer)
|
|
@_silgen_name("takesOptMutableRawPointer")
|
|
func takesOptMutableRawPointer(_ x: UnsafeMutableRawPointer?)
|
|
|
|
// Opaque function for generating values
|
|
@_silgen_name("get")
|
|
func get<T>() -> T
|
|
|
|
// The purpose of these tests is to make sure the storage is never released
|
|
// before the call to the opaque function.
|
|
|
|
// CHECK-LABEL: sil @$s18pointer_conversion17testOptionalArrayyyF
|
|
public func testOptionalArray() {
|
|
let array: [Int]? = get()
|
|
takesOptConstRawPointer(array)
|
|
// CHECK: bb0:
|
|
// CHECK: switch_enum {{.*}}, case #Optional.some!enumelt: [[SOME_BB:bb[0-9]+]], case #Optional.none!enumelt: [[NONE_BB:bb[0-9]+]]
|
|
|
|
// CHECK: [[SOME_BB]](
|
|
// CHECK: [[ORIGINAL_OWNER:%.*]] = struct_extract {{%.*}} : $_ContiguousArrayBuffer<Int>, #_ContiguousArrayBuffer._storage
|
|
// CHECK: [[ORIGINAL_OWNER_EXISTENTIAL:%.*]] = init_existential_ref [[ORIGINAL_OWNER]]
|
|
// CHECK: [[OWNER:%.+]] = enum $Optional<AnyObject>, #Optional.some!enumelt, [[ORIGINAL_OWNER_EXISTENTIAL]]
|
|
// CHECK-NEXT: [[POINTER:%.+]] = struct $UnsafeRawPointer (
|
|
// CHECK-NEXT: [[DEP_POINTER:%.+]] = mark_dependence [[POINTER]] : $UnsafeRawPointer on [[ORIGINAL_OWNER]]
|
|
// CHECK-NEXT: [[OPT_POINTER:%.+]] = enum $Optional<UnsafeRawPointer>, #Optional.some!enumelt, [[DEP_POINTER]]
|
|
// CHECK-NEXT: br [[CALL_BRANCH:bb[0-9]+]]([[OPT_POINTER]] : $Optional<UnsafeRawPointer>, [[OWNER]] : $Optional<AnyObject>)
|
|
|
|
// CHECK: [[CALL_BRANCH]]([[OPT_POINTER:%.+]] : $Optional<UnsafeRawPointer>, [[OWNER:%.+]] : $Optional<AnyObject>):
|
|
// CHECK-NOT: release
|
|
// CHECK-NEXT: [[DEP_OPT_POINTER:%.+]] = mark_dependence [[OPT_POINTER]] : $Optional<UnsafeRawPointer> on [[OWNER]] : $Optional<AnyObject>
|
|
// CHECK: [[FN:%.+]] = function_ref @takesOptConstRawPointer
|
|
// CHECK-NEXT: apply [[FN]]([[DEP_OPT_POINTER]])
|
|
// CHECK-NOT: release
|
|
// CHECK-NOT: {{^bb[0-9]+:}}
|
|
// CHECK: release_value {{%.+}} : $Optional<Array<Int>>
|
|
// CHECK-NEXT: [[EMPTY:%.+]] = tuple ()
|
|
// CHECK-NEXT: return [[EMPTY]]
|
|
|
|
// CHECK: [[NONE_BB]]:
|
|
// CHECK-NEXT: [[NO_POINTER:%.+]] = enum $Optional<UnsafeRawPointer>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[NO_OWNER:%.+]] = enum $Optional<AnyObject>, #Optional.none!enumelt
|
|
// CHECK-NEXT: br [[CALL_BRANCH]]([[NO_POINTER]] : $Optional<UnsafeRawPointer>, [[NO_OWNER]] : $Optional<AnyObject>)
|
|
|
|
} // CHECK: end sil function '$s18pointer_conversion17testOptionalArrayyyF'
|