mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
98805c9141
The InstructionDeleter can remove instructions including their destroys and then insert compensating destroys at a new place. This is effectively destroy-hoisting which doesn't respect deinit-barriers. Therefore it's not done for lexical lifetimes. However, since https://github.com/swiftlang/swift/pull/85334, the optimizer should treat _all_ lifetimes as fixed and not only lexical lifetimes. This change adds a `assumeFixedLifetimes` flag to InstructionDeleter which is on by default. Only mandatory passes (like OSLogOptimization) should turn this off.
50 lines
1.4 KiB
Plaintext
50 lines
1.4 KiB
Plaintext
// RUN: %target-sil-opt %s -early-inline -mem2reg | %FileCheck %s
|
|
|
|
import Swift
|
|
import Builtin
|
|
|
|
struct FileDescriptor : ~Copyable {
|
|
@_hasStorage private var fd: Int { get set }
|
|
init(_ fd: Int)
|
|
deinit
|
|
}
|
|
|
|
sil hidden [ossa] @fd_close : $@convention(thin) (Int) -> () {
|
|
bb0(%0 : $Int):
|
|
debug_value %0, let, name "fd", argno 1
|
|
%2 = tuple ()
|
|
return %2
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @fd_deinit1 :
|
|
// CHECK: drop_deinit
|
|
// CHECK-LABEL: } // end sil function 'fd_deinit1'
|
|
sil hidden [ossa] @fd_deinit1 : $@convention(method) (@owned FileDescriptor) -> () {
|
|
bb0(%0 : @owned $FileDescriptor):
|
|
%1 = alloc_stack $FileDescriptor, let, name "self", argno 1
|
|
store %0 to [init] %1
|
|
%3 = drop_deinit %1
|
|
%6 = struct_element_addr %3, #FileDescriptor.fd
|
|
%7 = load [trivial] %6
|
|
%9 = function_ref @fd_close : $@convention(thin) (Int) -> ()
|
|
%10 = apply %9(%7) : $@convention(thin) (Int) -> ()
|
|
dealloc_stack %1
|
|
%12 = tuple ()
|
|
return %12
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @fd_deinit2 :
|
|
// CHECK: %1 = drop_deinit
|
|
// CHECK-NEXT: %2 = destructure_struct %1
|
|
// CHECK-NEXT: debug_value
|
|
// CHECK-LABEL: } // end sil function 'fd_deinit2'
|
|
sil hidden [ossa] @fd_deinit2 : $@convention(method) (@owned FileDescriptor) -> () {
|
|
bb0(%0 : @owned $FileDescriptor):
|
|
%3 = drop_deinit %0
|
|
%6 = destructure_struct %3
|
|
%9 = function_ref @fd_close : $@convention(thin) (Int) -> ()
|
|
%10 = apply %9(%6) : $@convention(thin) (Int) -> ()
|
|
%12 = tuple ()
|
|
return %12
|
|
}
|