| 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fblocks -fobjc-arc -emit-llvm -o - %s | FileCheck %s |
|---|
| 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 | |
|---|
| 61 | // CHECK-LABEL: define void @blockTest |
|---|
| 62 | void blockTest(NSMutableArray<void (^)(void)> *array, NSString *name) { |
|---|
| 63 | // CHECK-NOT: ret void |
|---|
| 64 | // CHECK: call i8* @llvm.objc.retainBlock |
|---|
| 65 | [array addObject: ^ { printMe(name); }]; |
|---|
| 66 | // CHECK-NOT: ret void |
|---|
| 67 | array[0] = ^ { printMe(name); }; |
|---|
| 68 | // CHECK: call i8* @llvm.objc.retainBlock |
|---|
| 69 | // CHECK: ret void |
|---|
| 70 | } |
|---|
| 71 | |
|---|
| 72 | // CHECK-LABEL: define internal void @"\01-[Derived setDest:] |
|---|
| 73 | // CHECK: %[[SELFADDR:.*]] = alloca %[[SELFTY:.*]]* |
|---|
| 74 | // CHECK: %[[AADDR:.*]] = alloca %[[IVARTY:.*]]* |
|---|
| 75 | // CHECK: %[[V2:.*]] = load %[[IVARTY]]*, %[[IVARTY]]** %[[AADDR]] |
|---|
| 76 | // CHECK: %[[V3:.*]] = load %[[SELFTY]]*, %[[SELFTY]]** %[[SELFADDR]] |
|---|
| 77 | // CHECK: %[[IVAR:.*]] = load i64, i64* @"OBJC_IVAR_$_Base._destination" |
|---|
| 78 | // CHECK: %[[V4:.*]] = bitcast %[[SELFTY]]* %[[V3]] to i8* |
|---|
| 79 | // CHECK: %[[ADDPTR:.*]] = getelementptr inbounds i8, i8* %[[V4]], i64 %[[IVAR]] |
|---|
| 80 | // CHECK: %[[V5:.*]] = bitcast i8* %[[ADDPTR]] to %[[IVARTY]]** |
|---|
| 81 | // CHECK: %[[V6:.*]] = bitcast %[[IVARTY]]** %[[V5]] to i8** |
|---|
| 82 | // CHECK: %[[V7:.*]] = bitcast %[[IVARTY]]* %[[V2]] to i8* |
|---|
| 83 | // CHECK: call void @llvm.objc.storeStrong(i8** %[[V6]], i8* %[[V7]]) |
|---|
| 84 | |
|---|
| 85 | @interface Base<DestType> : NSObject { |
|---|
| 86 | DestType _destination; |
|---|
| 87 | } |
|---|
| 88 | @end |
|---|
| 89 | |
|---|
| 90 | @interface Derived : Base<NSObject *> |
|---|
| 91 | - (void)setDest:(NSObject *)a; |
|---|
| 92 | @end |
|---|
| 93 | |
|---|
| 94 | @implementation Derived |
|---|
| 95 | - (void)setDest:(NSObject *)a { |
|---|
| 96 | _destination = a; |
|---|
| 97 | } |
|---|
| 98 | @end |
|---|
| 99 | |
|---|
| 100 | // CHECK-LABEL: define internal void @"\01-[C0 foo1]"( |
|---|
| 101 | // CHECK: {{.*}} = alloca |
|---|
| 102 | // CHECK: {{.*}} = alloca |
|---|
| 103 | // CHECK: %[[D:.*]] = alloca %[[TY:.*]]* |
|---|
| 104 | // CHECK: %[[TEMP:.*]] = alloca %[[TY]]* |
|---|
| 105 | // CHECK: %[[V4:.*]] = load %[[TY]]*, %[[TY]]** %[[D]] |
|---|
| 106 | // CHECK: store %[[TY]]* %[[V4]], %[[TY]]** %[[TEMP]] |
|---|
| 107 | // CHECK: %[[V7:.*]] = bitcast %[[TY]]** %[[TEMP]] to i8** |
|---|
| 108 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, i8**)*)(i8* %{{.*}}, i8* %{{.*}}, i8** %[[V7]]) |
|---|
| 109 | |
|---|
| 110 | @interface P0<ObjectType> : NSObject |
|---|
| 111 | - (void)m0:(ObjectType *)first; |
|---|
| 112 | @end |
|---|
| 113 | |
|---|
| 114 | @interface C0 : NSObject |
|---|
| 115 | -(void)foo1; |
|---|
| 116 | @end |
|---|
| 117 | |
|---|
| 118 | @implementation C0 { |
|---|
| 119 | P0<NSString *> *x; |
|---|
| 120 | } |
|---|
| 121 | |
|---|
| 122 | -(void)foo1 { |
|---|
| 123 | NSString *d; |
|---|
| 124 | [x m0:&d]; |
|---|
| 125 | } |
|---|
| 126 | @end |
|---|
| 127 | |
|---|