1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: %empty-directory(%t)
// RUN: split-file %s %t
// RUN: %target-swift-emit-silgen -module-name Conformance -I %t %t/Conformance.swift -disable-availability-checking | %FileCheck %s
// REQUIRES: concurrency
// REQUIRES: objc_interop
//--- module.modulemap
module ObjCProto {
header "objc_proto.h"
export *
}
//--- objc_proto.h
#import <Foundation/Foundation.h>
@protocol Doable <NSObject>
- (void)doitWithCompletion:(void (^ __nullable)(NSObject * __nullable result, NSError * __nullable error))completion;
@end
//--- Conformance.swift
import ObjCProto
public final class ConformsToProto: NSObject {}
extension ConformsToProto: Doable {
// CHECK-LABEL: sil shared [thunk] [ossa] @$s11Conformance15ConformsToProtoC4doitSo8NSObjectCyYaKFyyYacfU_To : {{.*}} {
// CHECK: {{bb[0-9]+}}([[UNOWNED_MAYBE_COMPLETION:%[^,]+]] :
// CHECK: [[MAYBE_COMPLETION:%[^,]+]] = copy_block [[UNOWNED_MAYBE_COMPLETION]]
// CHECK: try_apply {{.*}} normal [[SUCCESS:bb[0-9]+]], error [[FAILURE:bb[0-9]+]]
// CHECK: [[SUCCESS]]([[RESULT:%[^,]+]] :
// CHECK: [[GUARANTEED_MAYBE_COMPLETION_SUCCESS:%[^,]+]] = begin_borrow [[MAYBE_COMPLETION]]
// CHECK: switch_enum [[GUARANTEED_MAYBE_COMPLETION_SUCCESS]]
// CHECK-SAME: case #Optional.some!enumelt: [[SUCCESS_AND_COMPLETION:bb[0-9]+]]
// CHECK-SAME: case #Optional.none!enumelt: [[SUCCESS_NO_COMPLETION:bb[0-9]+]]
// CHECK: [[SUCCESS_NO_COMPLETION]]:
// CHECK: br [[SUCCESS_JOIN:bb[0-9]+]]
// CHECK: [[SUCCESS_AND_COMPLETION]]
// CHECK: br [[SUCCESS_JOIN]]
// CHECK: [[SUCCESS_JOIN]]:
// CHECK: end_borrow [[GUARANTEED_MAYBE_COMPLETION_SUCCESS]]
// CHECK: destroy_value [[MAYBE_COMPLETION]]
// CHECK: destroy_value [[RESULT]]
// CHECK: br [[EXIT:bb[0-9]+]]
// CHECK: [[FAILURE]]([[ERROR:%[^,]+]] :
// CHECK: [[GUARANTEED_MAYBE_COMPLETION_FAILURE:%[^,]+]] = begin_borrow [[MAYBE_COMPLETION]]
// CHECK: switch_enum [[GUARANTEED_MAYBE_COMPLETION_FAILURE]]
// CHECK-SAME: case #Optional.some!enumelt: [[FAILURE_AND_COMPLETION:bb[0-9]+]]
// CHECK-SAME: case #Optional.none!enumelt: [[FAILURE_NO_COMPLETION:bb[0-9]+]]
// CHECK: [[FAILURE_NO_COMPLETION]]:
// CHECK: br [[FAILURE_JOIN:bb[0-9]+]]
// CHECK: [[FAILURE_AND_COMPLETION]]
// CHECK: br [[FAILURE_JOIN]]
// CHECK: [[FAILURE_JOIN]]:
// CHECK: end_borrow [[GUARANTEED_MAYBE_COMPLETION_FAILURE]]
// CHECK: destroy_value [[MAYBE_COMPLETION]]
// CHECK: destroy_value [[ERROR]]
// CHECK: br [[EXIT]]
// CHECK: [[EXIT]]:
// CHECK-LABEL: } // end sil function '$s11Conformance15ConformsToProtoC4doitSo8NSObjectCyYaKFyyYacfU_To'
public func doit() async throws -> NSObject {
fatalError()
}
}
|
