File tree Expand file tree Collapse file tree 1 file changed +19
-0
lines changed Expand file tree Collapse file tree 1 file changed +19
-0
lines changed Original file line number Diff line number Diff line change @@ -221,3 +221,22 @@ bb0(%0 : @guaranteed $CustomActor):
221221 %r = tuple ()
222222 return %r : $()
223223}
224+
225+ sil @get_raw_executor : $@convention(thin) () -> Builtin.Executor
226+
227+ // CHECK-LABEL: sil [ossa] @non_optional_executor :
228+ sil [ossa] @non_optional_executor : $@async () -> () {
229+ bb0:
230+ // CHECK: bb0:
231+ // CHECK: [[GET_RAW_EXECUTOR:%.*]] = function_ref @get_raw_executor
232+ // CHECK-NEXT: [[EXECUTOR:%.*]] = apply [[GET_RAW_EXECUTOR]]()
233+ // CHECK-NEXT: [[SOME:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, [[EXECUTOR]] : $Builtin.Executor
234+ // CHECK-NEXT: hop_to_executor [[SOME]] : $Optional<Builtin.Executor>
235+ // CHECK-NEXT: [[RET:%.*]] = tuple ()
236+ // CHECK-NEXT: return [[RET]] : $()
237+ %0 = function_ref @get_raw_executor : $@convention(thin) () -> Builtin.Executor
238+ %1 = apply %0() : $@convention(thin) () -> Builtin.Executor
239+ hop_to_executor %1 : $Builtin.Executor
240+ %r = tuple ()
241+ return %r : $()
242+ }
You can’t perform that action at this time.
0 commit comments