Page MenuHomePhabricator
Differential D41760 Diff 128726 test/Sema/builtin-load-no-speculate-cxx.cpp

Changeset View

Standalone View

View Options

test/Sema/builtin-load-no-speculate-cxx.cpp

  • This file was added.
1​// REQUIRES: arm-registered-target
2​// REQUIRES: aarch64-registered-target
3​// RUN: %clang_cc1 -triple aarch64 -x c++ -std=c++11 -DENABLE_ERRORS -verify %s
4​// RUN: %clang_cc1 -triple armv7a -x c++ -std=c++11 -DENABLE_ERRORS -verify %s
5​// RUN: %clang_cc1 -triple aarch64 -x c++ -std=c++11 %s -emit-llvm -o -
6​// RUN: %clang_cc1 -triple armv7a -x c++ -std=c++11 %s -emit-llvm -o -
7​
8​void test_valid(int *ptr, int *lower, int *upper, int failval, int *cmpptr) {
9​ __builtin_load_no_speculate(ptr, lower, upper);
10​ __builtin_load_no_speculate(ptr, lower, upper, failval);
11​ __builtin_load_no_speculate(ptr, lower, upper, failval, cmpptr);
12​}
13​
14​void test_null_bounds(int *ptr, int *lower, int *upper, int failval, int *cmpptr) {
15​ __builtin_load_no_speculate(ptr, lower, 0);
16​ __builtin_load_no_speculate(ptr, lower, (void*)0);
17​
18​#ifdef ENABLE_ERRORS
19​ __builtin_load_no_speculate(ptr, 0, 0); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
20​ __builtin_load_no_speculate(ptr, (void*)0, (void*)0); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
21​ __builtin_load_no_speculate(ptr, 0, (void*)0); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
22​ __builtin_load_no_speculate(ptr, 0, 0, failval, cmpptr); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
23​#endif
24​
25​ __builtin_load_no_speculate(ptr, lower, nullptr);
26​ __builtin_load_no_speculate(ptr, nullptr, upper);
27​#ifdef ENABLE_ERRORS
28​ __builtin_load_no_speculate(ptr, nullptr, nullptr); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
29​ __builtin_load_no_speculate(ptr, 0, nullptr); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
30​ __builtin_load_no_speculate(ptr, nullptr, (void*)0); // expected-error {{lower and upper bounds arguments to load_no_speculate builtin must not both be null}}
31​#endif
32​}
33​
34​void test_load_type(void *lower, void *upper) {
35​ char c;
36​ c = __builtin_load_no_speculate(&c, lower, upper);
37​
38​ short s;
39​ s = __builtin_load_no_speculate(&s, lower, upper);
40​
41​ int i;
42​ i = __builtin_load_no_speculate(&i, lower, upper);
43​
44​ long l;
45​ l = __builtin_load_no_speculate(&l, lower, upper);
46​
47​ long long ll;
48​ ll = __builtin_load_no_speculate(&ll, lower, upper);
49​
50​ int *ip;
51​ ip = __builtin_load_no_speculate(&ip, lower, upper);
52​
53​ int (*fp)(int, int);
54​ fp = __builtin_load_no_speculate(&fp, lower, upper);
55​
56​#ifdef ENABLE_ERRORS
57​ i = __builtin_load_no_speculate(i, lower, upper); // expected-error {{argument to load_no_speculate builtin must be a pointer to a pointer or integer ('int' invalid)}}
58​
59​ float f;
60​ f = __builtin_load_no_speculate(&f, lower, upper); // expected-error {{argument to load_no_speculate builtin must be a pointer to a pointer or integer ('float *' invalid)}}
61​
62​ struct S { int a; } S;
63​ S = __builtin_load_no_speculate(&S, lower, upper); // expected-error {{argument to load_no_speculate builtin must be a pointer to a pointer or integer ('struct S *' invalid)}}
64​
65​ union U { int a; } U;
66​ U = __builtin_load_no_speculate(&U, lower, upper); // expected-error {{argument to load_no_speculate builtin must be a pointer to a pointer or integer ('union U *' invalid)}}
67​
68​ char __attribute__((vector_size(16))) v;
69​ v = __builtin_load_no_speculate(&v, lower, upper); // expected-error {{argument to load_no_speculate builtin must be a pointer to a pointer or integer ('__attribute__((__vector_size__(16 * sizeof(char)))) char *' invalid)}}
70​#endif
71​}
72​
73​void test_bounds_types(void *lower, void *upper, void *cmpptr) {
74​ int i;
75​
76​#ifdef ENABLE_ERRORS
77​ __builtin_load_no_speculate(&i, 1234, upper); // expected-error {{cannot initialize a parameter of type 'const volatile void *' with an rvalue of type 'int'}}
78​ __builtin_load_no_speculate(&i, lower, 5678); // expected-error {{cannot initialize a parameter of type 'const volatile void *' with an rvalue of type 'int}}
79​ __builtin_load_no_speculate(&i, lower, upper, 0, 5678); // expected-error {{cannot initialize a parameter of type 'const volatile void *' with an rvalue of type 'int}}
80​
81​ __builtin_load_no_speculate(&i, 3.141, upper); // expected-error {{cannot initialize a parameter of type 'const volatile void *' with an rvalue of type 'double'}}
82​ __builtin_load_no_speculate(&i, lower, 3.141); // expected-error {{cannot initialize a parameter of type 'const volatile void *' with an rvalue of type 'double'}}
83​ __builtin_load_no_speculate(&i, lower, upper, 0, 3.141); // expected-error {{cannot initialize a parameter of type 'const volatile void *' with an rvalue of type 'double'}}
84​#endif
85​
86​ // The bounds pointers are of type 'void *', the pointers do not have to be
87​ // compatible with the first arg.
88​ struct S {};
89​ __builtin_load_no_speculate(&i, (short *)lower, (S *)upper, 0, (float *)0);
90​
91​ __builtin_load_no_speculate(&i, (const int *)lower, upper);
92​ __builtin_load_no_speculate(&i, (volatile float *)lower, upper);
93​ __builtin_load_no_speculate(&i, lower, (const volatile char *)upper);
94​ __builtin_load_no_speculate(&i, lower, upper, 0, (const volatile char *)cmpptr);
95​}
96​
97​void test_failval_type(void *lower, void *upper) {
98​ char c;
99​ int i;
100​ int *ip;
101​ int * const cip = 0;
102​ int * volatile vip;
103​ char *cp;
104​ int (*fp)(int);
105​
106​ // Exactly correct type
107​ __builtin_load_no_speculate(&i, lower, upper, 0);
108​ __builtin_load_no_speculate(&i, lower, upper, i);
109​
110​ // Implicitly convertible type
111​ __builtin_load_no_speculate(&i, lower, upper, (char)0);
112​ __builtin_load_no_speculate(&i, lower, upper, 0.0);
113​ __builtin_load_no_speculate(&ip, lower, upper, cip);
114​ __builtin_load_no_speculate(&ip, lower, upper, vip);
115​
116​#ifdef ENABLE_ERRORS
117​ __builtin_load_no_speculate(&i, lower, upper, ip); // expected-error {{assigning to 'int' from incompatible type 'int *'; dereference with *}}
118​ __builtin_load_no_speculate(&ip, lower, upper, i); // expected-error {{assigning to 'int *' from incompatible type 'int'; take the address with &}}
119​ __builtin_load_no_speculate(&ip, lower, upper, cp); // expected-error {{assigning to 'int *' from incompatible type 'char *'}}
120​ __builtin_load_no_speculate(&ip, lower, upper, fp); // expected-error {{assigning to 'int *' from incompatible type 'int (*)(int)'}}
121​ __builtin_load_no_speculate(&fp, lower, upper, ip); // expected-error {{assigning to 'int (*)(int)' from incompatible type 'int *'}}
122​#endif
123​}
124​
125​#ifdef ENABLE_ERRORS
126​template<typename T>
127​T load(const T *ptr, const T *upper, const T *lower) {
128​ return __builtin_load_no_speculate(ptr, upper, lower); // expected-error {{argument to load_no_speculate builtin must be a pointer to a pointer or integer ('const S *' invalid)}}
129​}
130​
131​void test_templates() {
132​ int ia[5];
133​ load(&ia[3], &ia[0], &ia[5]);
134​
135​ struct S { int a; };
136​ S Sa[5];
137​ load(&Sa[3], &Sa[0], &Sa[5]); // expected-note {{in instantiation of function template specialization 'load<S>' requested here}}
138​}
139​#endif
140​
141​void test_convert_failval_type() {
142​ bool foo;
143​ __builtin_load_no_speculate(&foo, (void *)0x1000, (void *)0x2000, false);
144​}