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.
282 lines
15 KiB
Plaintext
282 lines
15 KiB
Plaintext
// RUN: %target-swift-frontend %s -Xllvm -sil-print-types -emit-sil | %FileCheck %s
|
|
|
|
// REQUIRES: concurrency
|
|
// REQUIRES: objc_interop
|
|
|
|
// CHECK-LABEL: sil private @$s3bug7trigger1pyAA9PresenterC_tYaFytSgyYaXEfU_ : $@convention(thin) @async (@guaranteed Presenter) -> Optional<()>
|
|
// CHECK: bb2:
|
|
// CHECK: hop_to_executor {{%.+}} : $MainActor
|
|
|
|
sil_stage raw
|
|
|
|
import Builtin
|
|
import Swift
|
|
import SwiftShims
|
|
import _Concurrency
|
|
|
|
func trigger(p: Presenter) async
|
|
|
|
final class Presenter {
|
|
@MainActor @_hasStorage @_hasInitialValue final var view: Vista? { get set }
|
|
@objc deinit
|
|
init()
|
|
}
|
|
|
|
class Vista {
|
|
@MainActor func doSmthOnMain()
|
|
@objc deinit
|
|
init()
|
|
}
|
|
|
|
@MainActor @_hasStorage @_hasInitialValue var x: Int { get set }
|
|
|
|
// x
|
|
sil_global hidden @$s3bug1xSivp : $Int
|
|
|
|
// main
|
|
sil [ossa] @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
|
|
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
|
|
alloc_global @$s3bug1xSivp // id: %2
|
|
%3 = global_addr @$s3bug1xSivp : $*Int // user: %8
|
|
%4 = integer_literal $Builtin.IntLiteral, 0 // user: %7
|
|
%5 = metatype $@thin Int.Type // user: %7
|
|
// function_ref Int.init(_builtinIntegerLiteral:)
|
|
%6 = function_ref @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %7
|
|
%7 = apply %6(%4, %5) : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %8
|
|
store %7 to [trivial] %3 : $*Int // id: %8
|
|
%9 = integer_literal $Builtin.Int32, 0 // user: %10
|
|
%10 = struct $Int32 (%9 : $Builtin.Int32) // user: %11
|
|
return %10 : $Int32 // id: %11
|
|
} // end sil function 'main'
|
|
|
|
// trigger(p:)
|
|
sil hidden [ossa] @$s3bug7trigger1pyAA9PresenterC_tYaF : $@convention(thin) @async (@guaranteed Presenter) -> () {
|
|
// %0 "p" // users: %3, %1
|
|
bb0(%0 : @guaranteed $Presenter):
|
|
debug_value %0 : $Presenter, let, name "p", argno 1 // id: %1
|
|
// function_ref closure #1 in trigger(p:)
|
|
%2 = function_ref @$s3bug7trigger1pyAA9PresenterC_tYaFytSgyYaXEfU_ : $@convention(thin) @async (@guaranteed Presenter) -> Optional<()> // user: %3
|
|
%3 = apply %2(%0) : $@convention(thin) @async (@guaranteed Presenter) -> Optional<()>
|
|
%4 = tuple () // user: %5
|
|
return %4 : $() // id: %5
|
|
} // end sil function '$s3bug7trigger1pyAA9PresenterC_tYaF'
|
|
|
|
// closure #1 in trigger(p:)
|
|
sil private [ossa] @$s3bug7trigger1pyAA9PresenterC_tYaFytSgyYaXEfU_ : $@convention(thin) @async (@guaranteed Presenter) -> Optional<()> {
|
|
// %0 "p" // users: %2, %1
|
|
bb0(%0 : @guaranteed $Presenter):
|
|
debug_value %0 : $Presenter, let, name "p", argno 1 // id: %1
|
|
%2 = ref_element_addr %0 : $Presenter, #Presenter.view // user: %9
|
|
%3 = metatype $@thick MainActor.Type // user: %5
|
|
// function_ref static MainActor.shared.getter
|
|
%4 = function_ref @$sScM6sharedScMvgZ : $@convention(method) (@thick MainActor.Type) -> @owned MainActor // user: %5
|
|
%5 = apply %4(%3) : $@convention(method) (@thick MainActor.Type) -> @owned MainActor // users: %36, %17, %6
|
|
%6 = begin_borrow %5 : $MainActor // users: %23, %16, %8
|
|
%7 = builtin "getCurrentExecutor"() : $Optional<Builtin.Executor> // users: %22, %15
|
|
hop_to_executor %6 : $MainActor // id: %8
|
|
%9 = begin_access [read] [dynamic] %2 : $*Optional<Vista> // users: %21, %19, %14, %12
|
|
%10 = integer_literal $Builtin.Int1, -1 // user: %12
|
|
%11 = integer_literal $Builtin.Int1, 0 // user: %12
|
|
%12 = select_enum_addr %9 : $*Optional<Vista>, case #Optional.some!enumelt: %10, default %11 : $Builtin.Int1 // user: %13
|
|
cond_br %12, bb2, bb1 // id: %13
|
|
|
|
bb1: // Preds: bb0
|
|
end_access %9 : $*Optional<Vista> // id: %14
|
|
hop_to_executor %7 : $Optional<Builtin.Executor> // id: %15
|
|
end_borrow %6 : $MainActor // id: %16
|
|
destroy_value %5 : $MainActor // id: %17
|
|
br bb4 // id: %18
|
|
|
|
bb2: // Preds: bb0
|
|
%19 = unchecked_take_enum_data_addr %9 : $*Optional<Vista>, #Optional.some!enumelt // user: %20
|
|
%20 = load [copy] %19 : $*Vista // users: %35, %31, %24
|
|
end_access %9 : $*Optional<Vista> // id: %21
|
|
hop_to_executor %7 : $Optional<Builtin.Executor> // id: %22
|
|
end_borrow %6 : $MainActor // id: %23
|
|
%24 = class_method %20 : $Vista, #Vista.doSmthOnMain : (Vista) -> () -> (), $@convention(method) (@guaranteed Vista) -> () // user: %31
|
|
%25 = metatype $@thick MainActor.Type // user: %27
|
|
// function_ref static MainActor.shared.getter
|
|
%26 = function_ref @$sScM6sharedScMvgZ : $@convention(method) (@thick MainActor.Type) -> @owned MainActor // user: %27
|
|
%27 = apply %26(%25) : $@convention(method) (@thick MainActor.Type) -> @owned MainActor // users: %34, %28
|
|
%28 = begin_borrow %27 : $MainActor // users: %33, %30
|
|
%29 = builtin "getCurrentExecutor"() : $Optional<Builtin.Executor> // user: %32
|
|
hop_to_executor %28 : $MainActor // id: %30
|
|
%31 = apply %24(%20) : $@convention(method) (@guaranteed Vista) -> ()
|
|
hop_to_executor %29 : $Optional<Builtin.Executor> // id: %32
|
|
end_borrow %28 : $MainActor // id: %33
|
|
destroy_value %27 : $MainActor // id: %34
|
|
destroy_value %20 : $Vista // id: %35
|
|
destroy_value %5 : $MainActor // id: %36
|
|
%37 = tuple () // user: %38
|
|
%38 = enum $Optional<()>, #Optional.some!enumelt, %37 : $() // user: %39
|
|
br bb3(%38 : $Optional<()>) // id: %39
|
|
|
|
// %40 // user: %41
|
|
bb3(%40 : $Optional<()>): // Preds: bb4 bb2
|
|
return %40 : $Optional<()> // id: %41
|
|
|
|
bb4: // Preds: bb1
|
|
%42 = enum $Optional<()>, #Optional.none!enumelt // user: %43
|
|
br bb3(%42 : $Optional<()>) // id: %43
|
|
} // end sil function '$s3bug7trigger1pyAA9PresenterC_tYaFytSgyYaXEfU_'
|
|
|
|
// static MainActor.shared.getter
|
|
sil [available 12.0.0] @$sScM6sharedScMvgZ : $@convention(method) (@thick MainActor.Type) -> @owned MainActor
|
|
|
|
// variable initialization expression of Presenter.view
|
|
sil hidden [transparent] [ossa] @$s3bug9PresenterC4viewAA5VistaCSgvpfi : $@convention(thin) () -> @owned Optional<Vista> {
|
|
bb0:
|
|
%0 = metatype $@thick Vista.Type // user: %2
|
|
// function_ref Vista.__allocating_init()
|
|
%1 = function_ref @$s3bug5VistaCACycfC : $@convention(method) (@thick Vista.Type) -> @owned Vista // user: %2
|
|
%2 = apply %1(%0) : $@convention(method) (@thick Vista.Type) -> @owned Vista // user: %3
|
|
%3 = enum $Optional<Vista>, #Optional.some!enumelt, %2 : $Vista // user: %4
|
|
return %3 : $Optional<Vista> // id: %4
|
|
} // end sil function '$s3bug9PresenterC4viewAA5VistaCSgvpfi'
|
|
|
|
// Vista.__allocating_init()
|
|
sil hidden [exact_self_class] [ossa] @$s3bug5VistaCACycfC : $@convention(method) (@thick Vista.Type) -> @owned Vista {
|
|
// %0 "$metatype"
|
|
bb0(%0 : $@thick Vista.Type):
|
|
%1 = alloc_ref $Vista // user: %3
|
|
// function_ref Vista.init()
|
|
%2 = function_ref @$s3bug5VistaCACycfc : $@convention(method) (@owned Vista) -> @owned Vista // user: %3
|
|
%3 = apply %2(%1) : $@convention(method) (@owned Vista) -> @owned Vista // user: %4
|
|
return %3 : $Vista // id: %4
|
|
} // end sil function '$s3bug5VistaCACycfC'
|
|
|
|
// Presenter.deinit
|
|
sil hidden [ossa] @$s3bug9PresenterCfd : $@convention(method) (@guaranteed Presenter) -> @owned Builtin.NativeObject {
|
|
// %0 "self" // users: %6, %2, %1
|
|
bb0(%0 : @guaranteed $Presenter):
|
|
debug_value %0 : $Presenter, let, name "self", argno 1 // id: %1
|
|
%2 = ref_element_addr %0 : $Presenter, #Presenter.view // user: %3
|
|
%3 = begin_access [deinit] [static] %2 : $*Optional<Vista> // users: %5, %4
|
|
destroy_addr %3 : $*Optional<Vista> // id: %4
|
|
end_access %3 : $*Optional<Vista> // id: %5
|
|
%6 = unchecked_ref_cast %0 : $Presenter to $Builtin.NativeObject // user: %7
|
|
%7 = unchecked_ownership_conversion %6 : $Builtin.NativeObject, @guaranteed to @owned // user: %8
|
|
return %7 : $Builtin.NativeObject // id: %8
|
|
} // end sil function '$s3bug9PresenterCfd'
|
|
|
|
// Presenter.__deallocating_deinit
|
|
sil hidden [ossa] @$s3bug9PresenterCfD : $@convention(method) (@owned Presenter) -> () {
|
|
// %0 "self" // users: %6, %3, %1
|
|
bb0(%0 : @owned $Presenter):
|
|
debug_value %0 : $Presenter, let, name "self", argno 1 // id: %1
|
|
// function_ref Presenter.deinit
|
|
%2 = function_ref @$s3bug9PresenterCfd : $@convention(method) (@guaranteed Presenter) -> @owned Builtin.NativeObject // user: %4
|
|
%3 = begin_borrow %0 : $Presenter // users: %5, %4
|
|
%4 = apply %2(%3) : $@convention(method) (@guaranteed Presenter) -> @owned Builtin.NativeObject // user: %7
|
|
end_borrow %3 : $Presenter // id: %5
|
|
end_lifetime %0 : $Presenter // id: %6
|
|
%7 = unchecked_ref_cast %4 : $Builtin.NativeObject to $Presenter // user: %8
|
|
dealloc_ref %7 : $Presenter // id: %8
|
|
%9 = tuple () // user: %10
|
|
return %9 : $() // id: %10
|
|
} // end sil function '$s3bug9PresenterCfD'
|
|
|
|
// Presenter.__allocating_init()
|
|
sil hidden [exact_self_class] [ossa] @$s3bug9PresenterCACycfC : $@convention(method) (@thick Presenter.Type) -> @owned Presenter {
|
|
// %0 "$metatype"
|
|
bb0(%0 : $@thick Presenter.Type):
|
|
%1 = alloc_ref $Presenter // user: %3
|
|
// function_ref Presenter.init()
|
|
%2 = function_ref @$s3bug9PresenterCACycfc : $@convention(method) (@owned Presenter) -> @owned Presenter // user: %3
|
|
%3 = apply %2(%1) : $@convention(method) (@owned Presenter) -> @owned Presenter // user: %4
|
|
return %3 : $Presenter // id: %4
|
|
} // end sil function '$s3bug9PresenterCACycfC'
|
|
|
|
// Presenter.init()
|
|
sil hidden [ossa] @$s3bug9PresenterCACycfc : $@convention(method) (@owned Presenter) -> @owned Presenter {
|
|
// %0 "self" // users: %2, %1
|
|
bb0(%0 : @owned $Presenter):
|
|
debug_value %0 : $Presenter, let, name "self", argno 1 // id: %1
|
|
%2 = mark_uninitialized [rootself] %0 : $Presenter // users: %10, %9, %3
|
|
%3 = begin_borrow %2 : $Presenter // users: %8, %4
|
|
%4 = ref_element_addr %3 : $Presenter, #Presenter.view // user: %7
|
|
// function_ref variable initialization expression of Presenter.view
|
|
%5 = function_ref @$s3bug9PresenterC4viewAA5VistaCSgvpfi : $@convention(thin) () -> @owned Optional<Vista> // user: %6
|
|
%6 = apply %5() : $@convention(thin) () -> @owned Optional<Vista> // user: %7
|
|
store %6 to [init] %4 : $*Optional<Vista> // id: %7
|
|
end_borrow %3 : $Presenter // id: %8
|
|
%9 = copy_value %2 : $Presenter // user: %11
|
|
destroy_value %2 : $Presenter // id: %10
|
|
return %9 : $Presenter // id: %11
|
|
} // end sil function '$s3bug9PresenterCACycfc'
|
|
|
|
// Vista.doSmthOnMain()
|
|
sil hidden [ossa] @$s3bug5VistaC12doSmthOnMainyyF : $@convention(method) (@guaranteed Vista) -> () {
|
|
// %0 "self" // user: %2
|
|
bb0(%0 : @guaranteed $Vista):
|
|
%1 = global_addr @$s3bug1xSivp : $*Int // user: %7
|
|
debug_value %0 : $Vista, let, name "self", argno 1 // id: %2
|
|
%3 = integer_literal $Builtin.IntLiteral, 1 // user: %6
|
|
%4 = metatype $@thin Int.Type // user: %6
|
|
// function_ref Int.init(_builtinIntegerLiteral:)
|
|
%5 = function_ref @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %6
|
|
%6 = apply %5(%3, %4) : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %8
|
|
%7 = begin_access [modify] [dynamic] %1 : $*Int // users: %9, %8
|
|
assign %6 to %7 : $*Int // id: %8
|
|
end_access %7 : $*Int // id: %9
|
|
%10 = tuple () // user: %11
|
|
return %10 : $() // id: %11
|
|
} // end sil function '$s3bug5VistaC12doSmthOnMainyyF'
|
|
|
|
// Int.init(_builtinIntegerLiteral:)
|
|
sil [transparent] [serialized] @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int
|
|
|
|
// Vista.deinit
|
|
sil hidden [ossa] @$s3bug5VistaCfd : $@convention(method) (@guaranteed Vista) -> @owned Builtin.NativeObject {
|
|
// %0 "self" // users: %2, %1
|
|
bb0(%0 : @guaranteed $Vista):
|
|
debug_value %0 : $Vista, let, name "self", argno 1 // id: %1
|
|
%2 = unchecked_ref_cast %0 : $Vista to $Builtin.NativeObject // user: %3
|
|
%3 = unchecked_ownership_conversion %2 : $Builtin.NativeObject, @guaranteed to @owned // user: %4
|
|
return %3 : $Builtin.NativeObject // id: %4
|
|
} // end sil function '$s3bug5VistaCfd'
|
|
|
|
// Vista.__deallocating_deinit
|
|
sil hidden [ossa] @$s3bug5VistaCfD : $@convention(method) (@owned Vista) -> () {
|
|
// %0 "self" // users: %6, %3, %1
|
|
bb0(%0 : @owned $Vista):
|
|
debug_value %0 : $Vista, let, name "self", argno 1 // id: %1
|
|
// function_ref Vista.deinit
|
|
%2 = function_ref @$s3bug5VistaCfd : $@convention(method) (@guaranteed Vista) -> @owned Builtin.NativeObject // user: %4
|
|
%3 = begin_borrow %0 : $Vista // users: %5, %4
|
|
%4 = apply %2(%3) : $@convention(method) (@guaranteed Vista) -> @owned Builtin.NativeObject // user: %7
|
|
end_borrow %3 : $Vista // id: %5
|
|
end_lifetime %0 : $Vista // id: %6
|
|
%7 = unchecked_ref_cast %4 : $Builtin.NativeObject to $Vista // user: %8
|
|
dealloc_ref %7 : $Vista // id: %8
|
|
%9 = tuple () // user: %10
|
|
return %9 : $() // id: %10
|
|
} // end sil function '$s3bug5VistaCfD'
|
|
|
|
// Vista.init()
|
|
sil hidden [ossa] @$s3bug5VistaCACycfc : $@convention(method) (@owned Vista) -> @owned Vista {
|
|
// %0 "self" // users: %2, %1
|
|
bb0(%0 : @owned $Vista):
|
|
debug_value %0 : $Vista, let, name "self", argno 1 // id: %1
|
|
%2 = mark_uninitialized [rootself] %0 : $Vista // users: %4, %3
|
|
%3 = copy_value %2 : $Vista // user: %5
|
|
destroy_value %2 : $Vista // id: %4
|
|
return %3 : $Vista // id: %5
|
|
} // end sil function '$s3bug5VistaCACycfc'
|
|
|
|
sil_vtable Presenter {
|
|
#Presenter.init!allocator: (Presenter.Type) -> () -> Presenter : @$s3bug9PresenterCACycfC // Presenter.__allocating_init()
|
|
#Presenter.deinit!deallocator: @$s3bug9PresenterCfD // Presenter.__deallocating_deinit
|
|
}
|
|
|
|
sil_vtable Vista {
|
|
#Vista.doSmthOnMain: (Vista) -> () -> () : @$s3bug5VistaC12doSmthOnMainyyF // Vista.doSmthOnMain()
|
|
#Vista.init!allocator: (Vista.Type) -> () -> Vista : @$s3bug5VistaCACycfC // Vista.__allocating_init()
|
|
#Vista.deinit!deallocator: @$s3bug5VistaCfD // Vista.__deallocating_deinit
|
|
}
|
|
|
|
|
|
|
|
// Mappings from '#fileID' to '#filePath':
|
|
// 'bug/explore.swift' => 'explore.swift'
|