clang/test/CodeGenObjC/parameterized_classes.m

   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 ptr @llvm.objc.retainBlock
  65   [array addObject: ^ { printMe(name); }];
  66   // CHECK-NOT: ret void
  67   array[0] = ^ { printMe(name); };
  68   // CHECK: call ptr @llvm.objc.retainBlock
  69   // CHECK: ret void
  70 }
  71
  72 // CHECK-LABEL: define internal void @"\01-[Derived setDest:]
  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]])
  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
  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]])
 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