hjyamauchi
commented
6 months ago I am getting a similar crash
SIL verification failed: init_existential_ref operand must be lowered to the right abstraction level for the existential
$LayeredCache<Value>
$LayeredCache<τ_0_0>
Verifying instruction:
%17 = copy_value %15 : $LayeredCache<Value> // user: %18
-> %18 = init_existential_ref %17 : $LayeredCache<Value> : $LayeredCache<τ_0_0>, $any Actor // user: %19
%19 = enum $Optional<any Actor>, #Optional.some!enumelt, %18 : $any Actor // user: %20
In function:
// LayeredCache.releaseLock(forKey:afterBackgroundTask:)
sil private [ossa] @$s13ARCFoundation12LayeredCacheC11releaseLock33_C01C6992E4474F9A4084CAA2F158DB96LL6forKey19afterBackgroundTaskySS_yyYactF : $@convention(method) <Value where Value : Sendable> (@guaranteed String, @guaranteed @async @callee_guaranteed () -> (), @sil_isolated @guaranteed LayeredCache<Value>) -> () {
// %0 "key" // users: %16, %3
// %1 "block" // users: %14, %4
// %2 "self" // users: %15, %5
bb0(%0 : @guaranteed $String, %1 : @guaranteed $@async @callee_guaranteed () -> (), %2 : @guaranteed $LayeredCache<Value>):
debug_value %0 : $String, let, name "key", argno 1 // id: %3
debug_value %1 : $@async @callee_guaranteed () -> (), let, name "block", argno 2 // id: %4
debug_value %2 : $LayeredCache<Value>, let, name "self", argno 3, implicit // id: %5
%6 = metatype $@thin Task<(), Never>.Type // user: %23
%7 = alloc_stack $Optional<TaskPriority> // users: %24, %23, %12, %8
%8 = init_enum_data_addr %7 : $*Optional<TaskPriority>, #Optional.some!enumelt // user: %11
%9 = metatype $@thin TaskPriority.Type // user: %11
// function_ref static TaskPriority.background.getter
%10 = function_ref @$sScP10backgroundScPvgZ : $@convention(method) (@thin TaskPriority.Type) -> @out TaskPriority // user: %11
%11 = apply %10(%8, %9) : $@convention(method) (@thin TaskPriority.Type) -> @out TaskPriority
inject_enum_addr %7 : $*Optional<TaskPriority>, #Optional.some!enumelt // id: %12
// function_ref closure #1 in LayeredCache.releaseLock(forKey:afterBackgroundTask:)
%13 = function_ref @$s13ARCFoundation12LayeredCacheC11releaseLock33_C01C6992E4474F9A4084CAA2F158DB96LL6forKey19afterBackgroundTaskySS_yyYactFyyYaYbcfU_ : $@convention(thin) @Sendable @async <τ_0_0 where τ_0_0 : Sendable> (@guaranteed Optional<any Actor>, @guaranteed @async @callee_guaranteed () -> (), @sil_isolated @guaranteed LayeredCache<τ_0_0>, @guaranteed String) -> @out () // user: %20
%14 = copy_value %1 : $@async @callee_guaranteed () -> () // user: %20
%15 = copy_value %2 : $LayeredCache<Value> // users: %20, %17
%16 = copy_value %0 : $String // user: %20
%17 = copy_value %15 : $LayeredCache<Value> // user: %18
%18 = init_existential_ref %17 : $LayeredCache<Value> : $LayeredCache<τ_0_0>, $any Actor // user: %19
%19 = enum $Optional<any Actor>, #Optional.some!enumelt, %18 : $any Actor // user: %20
%20 = partial_apply [callee_guaranteed] [isolated_any] %13<Value>(%19, %14, %15, %16) : $@convention(thin) @Sendable @async <τ_0_0 where τ_0_0 : Sendable> (@guaranteed Optional<any Actor>, @guaranteed @async @callee_guaranteed () -> (), @sil_isolated @guaranteed LayeredCache<τ_0_0>, @guaranteed String) -> @out () // user: %21
%21 = convert_function %20 : $@isolated(any) @Sendable @async @callee_guaranteed () -> @out () to $@isolated(any) @Sendable @async @callee_guaranteed @substituted <τ_0_0> () -> @out τ_0_0 for <()> // user: %23
// function_ref Task<>.init(priority:operation:)
%22 = function_ref @$sScTss5NeverORs_rlE8priority9operationScTyxABGScPSg_xyYaYbYAcntcfC : $@convention(method) <τ_0_0, τ_0_1 where τ_0_0 : Sendable, τ_0_1 == Never> (@in Optional<TaskPriority>, @owned @isolated(any) @Sendable @async @callee_guaranteed @substituted <τ_0_0> () -> @out τ_0_0 for <τ_0_0>, @thin Task<τ_0_0, Never>.Type) -> @owned Task<τ_0_0, Never> // user: %23
%23 = apply %22<(), Never>(%7, %21, %6) : $@convention(method) <τ_0_0, τ_0_1 where τ_0_0 : Sendable, τ_0_1 == Never> (@in Optional<TaskPriority>, @owned @isolated(any) @Sendable @async @callee_guaranteed @substituted <τ_0_0> () -> @out τ_0_0 for <τ_0_0>, @thin Task<τ_0_0, Never>.Type) -> @owned Task<τ_0_0, Never> // user: %25
dealloc_stack %7 : $*Optional<TaskPriority> // id: %24
destroy_value %23 : $Task<(), Never> // id: %25
%26 = tuple () // user: %27
return %26 : $() // id: %27
} // end sil function '$s13ARCFoundation12LayeredCacheC11releaseLock33_C01C6992E4474F9A4084CAA2F158DB96LL6forKey19afterBackgroundTaskySS_yyYactF'I don't have a reproduction test but based on my local experiments, this appears to be started at commit https://github.com/apple/swift/commit/a86b76a3e9ebe352e8d250927c211445ac692c26 https://github.com/apple/swift/pull/72325 (reverting it appears to make it go away):
rjmccall
MahdiBM
Description
Compilation fails with a SIL crash on nightlies, asking for a bug report.
Reproduction
Stack dump
Expected behavior
No crash.
Environment
swiftlang/swift:nightly-main-jammy@sha256:6f58d9db1f633a480c93668bc5f0b94175fdb1189241fd72e5589f6707098b68image.Additional information
No response