1651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// RUN: %clang_cc1 -triple arm64-apple-ios7.0 -fsyntax-only -verify %s 2651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 3651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct Simple { 4651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines char a, b; 5651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}; 6651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 7651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint test_ldrex(char *addr) { 8651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines int sum = 0; 9651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex(addr); 10651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((short *)addr); 11651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((int *)addr); 12651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((long long *)addr); 13651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((__int128 *)addr); 14651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((float *)addr); 15651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((double *)addr); 16651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += *__builtin_arm_ldrex((int **)addr); 17651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((struct Simple **)addr)->a; 18651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((volatile char *)addr); 19651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((const volatile char *)addr); 20651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 21651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // In principle this might be valid, but stick to ints and floats for scalar 22651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // types at the moment. 23651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines sum += __builtin_arm_ldrex((struct Simple *)addr).a; // expected-error {{address argument to atomic builtin must be a pointer to}} 24651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 25651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __builtin_arm_ldrex(); // expected-error {{too few arguments to function call}} 26651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __builtin_arm_ldrex(1, 2); // expected-error {{too many arguments to function call}} 27651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return sum; 28651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 29651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 30651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint test_strex(char *addr) { 31651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines int res = 0; 32651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines struct Simple var = {0}; 33651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(4, addr); 34651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (short *)addr); 35651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (int *)addr); 36651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (long long *)addr); 37651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (__int128 *)addr); 38651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(2.71828f, (float *)addr); 39651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(3.14159, (double *)addr); 40651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(&var, (struct Simple **)addr); 41651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 42651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (volatile char *)addr); 43651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (char *const)addr); 44651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(42, (const char *)addr); // expected-warning {{passing 'const char *' to parameter of type 'volatile char *' discards qualifiers}} 45651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 46651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 47651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(var, (struct Simple *)addr); // expected-error {{address argument to atomic builtin must be a pointer to}} 48651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(var, (struct Simple **)addr); // expected-error {{passing 'struct Simple' to parameter of incompatible type 'struct Simple *'}} 49651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines res |= __builtin_arm_strex(&var, (struct Simple **)addr).a; // expected-error {{is not a structure or union}} 50651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 51651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __builtin_arm_strex(1); // expected-error {{too few arguments to function call}} 52651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __builtin_arm_strex(1, 2, 3); // expected-error {{too many arguments to function call}} 53651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return res; 54651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 55651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 56c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hinesint test_ldaex(char *addr) { 57c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines int sum = 0; 58c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex(addr); 59c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((short *)addr); 60c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((int *)addr); 61c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((long long *)addr); 62c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((__int128 *)addr); 63c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((float *)addr); 64c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((double *)addr); 65c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += *__builtin_arm_ldaex((int **)addr); 66c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((struct Simple **)addr)->a; 67c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((volatile char *)addr); 68c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((const volatile char *)addr); 69c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 70c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines // In principle this might be valid, but stick to ints and floats for scalar 71c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines // types at the moment. 72c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines sum += __builtin_arm_ldaex((struct Simple *)addr).a; // expected-error {{address argument to atomic builtin must be a pointer to}} 73c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 74c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines __builtin_arm_ldaex(); // expected-error {{too few arguments to function call}} 75c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines __builtin_arm_ldaex(1, 2); // expected-error {{too many arguments to function call}} 76c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines return sum; 77c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines} 78c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 79c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hinesint test_stlex(char *addr) { 80c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines int res = 0; 81c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines struct Simple var = {0}; 82c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(4, addr); 83c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (short *)addr); 84c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (int *)addr); 85c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (long long *)addr); 86c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (__int128 *)addr); 87c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(2.71828f, (float *)addr); 88c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(3.14159, (double *)addr); 89c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(&var, (struct Simple **)addr); 90c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 91c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (volatile char *)addr); 92c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (char *const)addr); 93c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(42, (const char *)addr); // expected-warning {{passing 'const char *' to parameter of type 'volatile char *' discards qualifiers}} 94c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 95c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 96c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(var, (struct Simple *)addr); // expected-error {{address argument to atomic builtin must be a pointer to}} 97c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(var, (struct Simple **)addr); // expected-error {{passing 'struct Simple' to parameter of incompatible type 'struct Simple *'}} 98c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines res |= __builtin_arm_stlex(&var, (struct Simple **)addr).a; // expected-error {{is not a structure or union}} 99c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 100c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines __builtin_arm_stlex(1); // expected-error {{too few arguments to function call}} 101c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines __builtin_arm_stlex(1, 2, 3); // expected-error {{too many arguments to function call}} 102c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines return res; 103c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines} 104c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines 105651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid test_clrex() { 106651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __builtin_arm_clrex(); 107651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines __builtin_arm_clrex(1); // expected-error {{too many arguments to function call}} 108651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 109