clang/test/CodeGenObjC/objc-container-subscripting-1.m

   1 // RUN: %clang_cc1 -no-opaque-pointers -emit-llvm -triple x86_64-apple-darwin -o - %s | FileCheck %s
   2
   3 typedef unsigned int size_t;
   4 @protocol P @end
   5
   6 @interface NSMutableArray
   7 - (id)objectAtIndexedSubscript:(size_t)index;
   8 - (void)setObject:(id)object atIndexedSubscript:(size_t)index;
   9 @end
  10
  11 @interface NSMutableDictionary
  12 - (id)objectForKeyedSubscript:(id)key;
  13 - (void)setObject:(id)object forKeyedSubscript:(id)key;
  14 @end
  15
  16 int main(void) {
  17   NSMutableArray *array;
  18   id val;
  19
  20   id oldObject = array[10];
  21 // CHECK: [[ARR:%.*]] = load {{%.*}} [[array:%.*]], align 8
  22 // CHECK-NEXT: [[ARRC:%.*]] = bitcast {{%.*}} [[ARR]] to i8*
  23 // CHECK-NEXT: [[SEL:%.*]] = load i8*, i8** @OBJC_SELECTOR_REFERENCES_
  24 // CHECK-NEXT: [[CALL:%.*]] = call i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* (i8*, i8*, i32)*)(i8* noundef [[ARRC]], i8* noundef [[SEL]], i32 noundef 10)
  25 // CHECK-NEXT: store i8* [[CALL]], i8** [[OLDOBJ:%.*]], align 8
  26
  27   val = (array[10] = oldObject);
  28 // CHECK:      [[FOUR:%.*]] = load i8*, i8** [[oldObject:%.*]], align 8
  29 // CHECK-NEXT: [[THREE:%.*]] = load {{%.*}} [[array:%.*]], align 8
  30 // CHECK-NEXT: [[SIX:%.*]] = bitcast {{%.*}} [[THREE]] to i8*
  31 // CHECK-NEXT: [[FIVE:%.*]] = load i8*, i8** @OBJC_SELECTOR_REFERENCES_.2
  32 // CHECK-NEXT: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, i8*, i32)*)(i8* noundef [[SIX]], i8* noundef [[FIVE]], i8* noundef [[FOUR]], i32 noundef 10)
  33 // CHECK-NEXT: store i8* [[FOUR]], i8** [[val:%.*]]
  34
  35   NSMutableDictionary *dictionary;
  36   id key;
  37   id newObject;
  38   oldObject = dictionary[key];
  39 // CHECK:  [[SEVEN:%.*]] = load {{%.*}} [[DICTIONARY:%.*]], align 8
  40 // CHECK-NEXT:  [[EIGHT:%.*]] = load i8*, i8** [[KEY:%.*]], align 8
  41 // CHECK-NEXT:  [[ELEVEN:%.*]] = bitcast {{%.*}} [[SEVEN]] to i8*
  42 // CHECK-NEXT:  [[TEN:%.*]] = load i8*, i8** @OBJC_SELECTOR_REFERENCES_.4
  43 // CHECK-NEXT:  [[CALL1:%.*]] = call i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* (i8*, i8*, i8*)*)(i8* noundef [[ELEVEN]], i8* noundef [[TEN]], i8* noundef [[EIGHT]])
  44 // CHECK-NEXT:  store i8* [[CALL1]], i8** [[oldObject:%.*]], align 8
  45
  46
  47   val = (dictionary[key] = newObject);
  48 // CHECK:       [[FOURTEEN:%.*]] = load i8*, i8** [[NEWOBJECT:%.*]], align 8
  49 // CHECK-NEXT:  [[TWELVE:%.*]] = load {{%.*}} [[DICTIONARY]], align 8
  50 // CHECK-NEXT:  [[THIRTEEN:%.*]] = load i8*, i8** [[KEY]], align 8
  51 // CHECK-NEXT:  [[SEVENTEEN:%.*]] = bitcast {{%.*}} [[TWELVE]] to i8*
  52 // CHECK-NEXT:  [[SIXTEEN:%.*]] = load i8*, i8** @OBJC_SELECTOR_REFERENCES_.6
  53 // CHECK-NEXT:  call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, i8*, i8*)*)(i8* noundef [[SEVENTEEN]], i8* noundef [[SIXTEEN]], i8* noundef [[FOURTEEN]], i8* noundef [[THIRTEEN]])
  54 // CHECK-NEXT: store i8* [[FOURTEEN]], i8** [[val:%.*]]
  55 }
  56