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