187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// RUN: %clang_cc1 -emit-llvm -triple=x86_64-pc-win32 -fms-compatibility %s -o - | FileCheck %s 287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// RUN: %clang_cc1 -triple=x86_64-pc-win32 -fms-compatibility -emit-pch -o %t %s 387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// RUN: %clang_cc1 -emit-llvm -triple=x86_64-pc-win32 -fms-compatibility -include-pch %t -verify %s -o - | FileCheck %s 487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// expected-no-diagnostics 587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar#ifndef HEADER 787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar#define HEADER 887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarclass Test1 { 1087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarprivate: 1187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar int x_; 1287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar double y_; 1387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 1487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarpublic: 1587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar Test1(int x) : x_(x) {} 1687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar __declspec(property(get = get_x)) int X; 1787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar int get_x() const { return x_; } 1887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar static Test1 *GetTest1() { return new Test1(10); } 1987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar}; 2087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 2187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarclass S { 2287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarpublic: 2387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar __declspec(property(get=GetX,put=PutX)) int x[]; 2487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar int GetX(int i, int j) { return i+j; } 2587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar void PutX(int i, int j, int k) { j = i = k; } 2687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar}; 2787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 2887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainartemplate <typename T> 2987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarclass St { 3087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarpublic: 3187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar __declspec(property(get=GetX,put=PutX)) T x[]; 3287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar T GetX(T i, T j) { return i+j; } 3387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar T GetX() { return 0; } 3487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar T PutX(T i, T j, T k) { return j = i = k; } 3587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar __declspec(property(get=GetY,put=PutY)) T y[]; 3687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar char GetY(char i, Test1 j) { return i+j.get_x(); } 3787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar void PutY(char i, int j, double k) { j = i = k; } 3887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar}; 3987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 4087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainartemplate <typename T> 4187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarvoid foo(T i, T j) { 4287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar St<T> bar; 4387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar Test1 t(i); 4487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar bar.x[i][j] = bar.x[i][j]; 4587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar bar.y[t.X][j] = bar.x[i][j]; 4687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar bar.x[i][j] = bar.y[bar.x[i][j]][t]; 4787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar} 4887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 4987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarint idx() { return 7; } 5087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 5187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK-LABEL: main 5287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarint main(int argc, char **argv) { 5387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar Test1 t(argc); 5487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar S *p1 = 0; 5587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar St<float> *p2 = 0; 5687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* %{{.+}}, i32 223, i32 11) 5787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar int j = p1->x[223][11]; 5887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[J:%.+]] = load i32, i32* % 5987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: call void @"\01?PutX@S@@QEAAXHHH@Z"(%class.S* %{{.+}}, i32 23, i32 1, i32 [[J]]) 6087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar p1->x[23][1] = j; 6187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: call float @"\01?GetX@?$St@M@@QEAAMMM@Z"(%class.St* %{{.+}}, float 2.230000e+02, float 1.100000e+01) 6287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar float j1 = p2->x[223][11]; 6387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[J1:%.+]] = load float, float* % 6487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: [[CALL:%.+]] = call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%class.St* %{{.+}}, float 2.300000e+01, float 1.000000e+00, float [[J1]]) 6587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: [[CONV:%.+]] = fptosi float [[CALL]] to i32 6687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: store i32 [[CONV]], i32* 6787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar argc = p2->x[23][1] = j1; 6887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[IDX:%.+]] = call i32 @"\01?idx@@YAHXZ"() 6987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: [[CONV:%.+]] = sitofp i32 [[IDX]] to float 7087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: [[GET:%.+]] = call float @"\01?GetX@?$St@M@@QEAAMMM@Z"(%class.St* %{{.+}}, float [[CONV]], float 1.000000e+00) 7187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: [[INC:%.+]] = fadd float [[GET]], 1.000000e+00 7287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: [[CONV:%.+]] = sitofp i32 [[IDX]] to float 7387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%class.St* %{{.+}}, float [[CONV]], float 1.000000e+00, float [[INC]]) 7487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar ++p2->x[idx()][1]; 7587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: call void @"\01??$foo@H@@YAXHH@Z"(i32 %{{.+}}, i32 %{{.+}}) 7687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar foo(argc, (int)argv[0][0]); 7787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P2:%.+]] = load %class.St*, %class.St** % 7887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[T_X:%.+]] = call i32 @"\01?get_x@Test1@@QEBAHXZ"(%class.Test1* %{{.+}}) 7987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P1:%.+]] = load %class.S*, %class.S** % 8087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P1_X_22_33:%.+]] = call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* [[P1]], i32 22, i32 33) 8187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CAST:%.+]] = sitofp i32 [[P1_X_22_33]] to double 8287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[ARGC:%.+]] = load i32, i32* % 8387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CAST2:%.+]] = trunc i32 [[T_X]] to i8 8487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: call void @"\01?PutY@?$St@M@@QEAAXDHN@Z"(%class.St* [[P2]], i8 [[CAST2]], i32 [[ARGC]], double [[CAST]]) 8587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar p2->y[t.X][argc] = p1->x[22][33]; 8687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P2_1:%.+]] = load %class.St*, %class.St** 8787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P2_2:%.+]] = load %class.St*, %class.St** 8887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P1:%.+]] = load %class.S*, %class.S** 8987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[ARGC:%.+]] = load i32, i32* % 9087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P1_X_ARGC_0:%.+]] = call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* [[P1]], i32 [[ARGC]], i32 0) 9187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CAST:%.+]] = trunc i32 [[P1_X_ARGC_0]] to i8 9287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[P2_Y_p1_X_ARGC_0_T:%.+]] = call i8 @"\01?GetY@?$St@M@@QEAADDVTest1@@@Z"(%class.St* [[P2_2]], i8 [[CAST]], %class.Test1* %{{.+}}) 9387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CAST:%.+]] = sitofp i8 [[P2_Y_p1_X_ARGC_0_T]] to float 9487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[J:%.+]] = load i32, i32* % 9587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CAST1:%.+]] = sitofp i32 [[J]] to float 9687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[J:%.+]] = load i32, i32* % 9787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CAST2:%.+]] = sitofp i32 [[J]] to float 9887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%class.St* [[P2_1]], float [[CAST2]], float [[CAST1]], float [[CAST]]) 9987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar p2->x[j][j] = p2->y[p1->x[argc][0]][t]; 10087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK: [[CALL:%.+]] = call %class.Test1* @"\01?GetTest1@Test1@@SAPEAV1@XZ"() 10187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // CHECK-NEXT: call i32 @"\01?get_x@Test1@@QEBAHXZ"(%class.Test1* [[CALL]]) 10287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar return Test1::GetTest1()->X; 10387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar} 10487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 10587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: define linkonce_odr void @"\01??$foo@H@@YAXHH@Z"(i32 %{{.+}}, i32 %{{.+}}) 10687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%class.St{{.+}}* [[BAR:%.+]], i32 %{{.+}} i32 %{{.+}}) 10787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call i32 @"\01?PutX@?$St@H@@QEAAHHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}}, i32 %{{.+}}, i32 %{{.+}}) 10887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}} i32 %{{.+}}) 10987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call void @"\01?PutY@?$St@H@@QEAAXDHN@Z"(%class.St{{.+}}* [[BAR]], i8 %{{.+}}, i32 %{{.+}}, double %{{.+}} 11087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}} i32 %{{.+}}) 11187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call i8 @"\01?GetY@?$St@H@@QEAADDVTest1@@@Z"(%class.St{{.+}}* [[BAR]], i8 %{{.+}}, %class.Test1* %{{.+}}) 11287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK: call i32 @"\01?PutX@?$St@H@@QEAAHHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}}, i32 %{{.+}}, i32 %{{.+}}) 11387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar#endif //HEADER 114