|
252
|
1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fblocks -fobjc-arc -emit-llvm -o - %s | FileCheck %s
|
|
150
|
2
|
|
|
3 // Parameterized classes have no effect on code generation; this test
|
|
|
4 // mainly verifies that CodeGen doesn't assert when substituted types
|
|
|
5 // in uses of methods don't line up exactly with the parameterized
|
|
|
6 // types in the method declarations due to type erasure. "Not crash"
|
|
|
7 // is the only interesting criteria here.
|
|
|
8
|
|
|
9 @protocol NSObject
|
|
|
10 @end
|
|
|
11
|
|
|
12 @protocol NSCopying
|
|
|
13 @end
|
|
|
14
|
|
|
15 __attribute__((objc_root_class))
|
|
|
16 @interface NSObject <NSObject>
|
|
|
17 @end
|
|
|
18
|
|
|
19 @interface NSString : NSObject <NSCopying>
|
|
|
20 @end
|
|
|
21
|
|
|
22 @interface NSMutableArray<T> : NSObject <NSCopying>
|
|
|
23 @property (copy,nonatomic) T firstObject;
|
|
|
24 - (void)addObject:(T)object;
|
|
|
25 - (void)sortWithFunction:(int (*)(T, T))function;
|
|
|
26 - (void)getObjects:(T __strong *)objects length:(unsigned*)length;
|
|
|
27 - (T)objectAtIndexedSubscript:(unsigned)index;
|
|
|
28 - (void)setObject:(T)object atIndexedSubscript:(unsigned)index;
|
|
|
29 @end
|
|
|
30
|
|
|
31 NSString *getFirstObjectProp(NSMutableArray<NSString *> *array) {
|
|
|
32 return array.firstObject;
|
|
|
33 }
|
|
|
34
|
|
|
35 NSString *getFirstObjectMethod(NSMutableArray<NSString *> *array) {
|
|
|
36 return [array firstObject];
|
|
|
37 }
|
|
|
38
|
|
|
39 void addObject(NSMutableArray<NSString *> *array, NSString *obj) {
|
|
|
40 [array addObject: obj];
|
|
|
41 }
|
|
|
42
|
|
|
43 int compareStrings(NSString *x, NSString *y) { return 0; }
|
|
|
44 int compareBlocks(NSString * (^x)(NSString *),
|
|
|
45 NSString * (^y)(NSString *)) { return 0; }
|
|
|
46
|
|
|
47 void sortTest(NSMutableArray<NSString *> *array,
|
|
|
48 NSMutableArray<NSString * (^)(NSString *)> *array2) {
|
|
|
49 [array sortWithFunction: &compareStrings];
|
|
|
50 [array2 sortWithFunction: &compareBlocks];
|
|
|
51 }
|
|
|
52
|
|
|
53 void getObjectsTest(NSMutableArray<NSString *> *array) {
|
|
|
54 NSString * __strong *objects;
|
|
|
55 unsigned length;
|
|
|
56 [array getObjects: objects length: &length];
|
|
|
57 }
|
|
|
58
|
|
|
59 void printMe(NSString *name) { }
|
|
|
60
|
|
221
|
61 // CHECK-LABEL: define{{.*}} void @blockTest
|
|
150
|
62 void blockTest(NSMutableArray<void (^)(void)> *array, NSString *name) {
|
|
|
63 // CHECK-NOT: ret void
|
|
252
|
64 // CHECK: call ptr @llvm.objc.retainBlock
|
|
150
|
65 [array addObject: ^ { printMe(name); }];
|
|
|
66 // CHECK-NOT: ret void
|
|
|
67 array[0] = ^ { printMe(name); };
|
|
252
|
68 // CHECK: call ptr @llvm.objc.retainBlock
|
|
150
|
69 // CHECK: ret void
|
|
|
70 }
|
|
|
71
|
|
|
72 // CHECK-LABEL: define internal void @"\01-[Derived setDest:]
|
|
252
|
73 // CHECK: %[[SELFADDR:.*]] = alloca ptr
|
|
|
74 // CHECK: %[[AADDR:a.addr]] = alloca ptr
|
|
|
75 // CHECK: %[[V2:.*]] = load ptr, ptr %[[AADDR]]
|
|
|
76 // CHECK: %[[V3:.*]] = load ptr, ptr %[[SELFADDR]]
|
|
|
77 // CHECK: %[[IVAR:.*]] = load i64, ptr @"OBJC_IVAR_$_Base._destination"
|
|
|
78 // CHECK: %[[ADDPTR:.*]] = getelementptr inbounds i8, ptr %[[V3]], i64 %[[IVAR]]
|
|
|
79 // CHECK: call void @llvm.objc.storeStrong(ptr %[[ADDPTR]], ptr %[[V2]])
|
|
150
|
80
|
|
|
81 @interface Base<DestType> : NSObject {
|
|
|
82 DestType _destination;
|
|
|
83 }
|
|
|
84 @end
|
|
|
85
|
|
|
86 @interface Derived : Base<NSObject *>
|
|
|
87 - (void)setDest:(NSObject *)a;
|
|
|
88 @end
|
|
|
89
|
|
|
90 @implementation Derived
|
|
|
91 - (void)setDest:(NSObject *)a {
|
|
|
92 _destination = a;
|
|
|
93 }
|
|
|
94 @end
|
|
|
95
|
|
|
96 // CHECK-LABEL: define internal void @"\01-[C0 foo1]"(
|
|
|
97 // CHECK: {{.*}} = alloca
|
|
|
98 // CHECK: {{.*}} = alloca
|
|
252
|
99 // CHECK: %[[D:.*]] = alloca ptr
|
|
|
100 // CHECK: %[[TEMP:.*]] = alloca ptr
|
|
|
101 // CHECK: %[[V4:.*]] = load ptr, ptr %[[D]]
|
|
|
102 // CHECK: store ptr %[[V4]], ptr %[[TEMP]]
|
|
|
103 // CHECK: call void @objc_msgSend(ptr noundef %{{.*}}, ptr noundef %{{.*}}, ptr noundef %[[TEMP]])
|
|
150
|
104
|
|
|
105 @interface P0<ObjectType> : NSObject
|
|
|
106 - (void)m0:(ObjectType *)first;
|
|
|
107 @end
|
|
|
108
|
|
|
109 @interface C0 : NSObject
|
|
|
110 -(void)foo1;
|
|
|
111 @end
|
|
|
112
|
|
|
113 @implementation C0 {
|
|
|
114 P0<NSString *> *x;
|
|
|
115 }
|
|
|
116
|
|
|
117 -(void)foo1 {
|
|
|
118 NSString *d;
|
|
|
119 [x m0:&d];
|
|
|
120 }
|
|
|
121 @end
|
