1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
#include "swift/Runtime/Exclusivity.h"
#include "swift/Runtime/Metadata.h"
using namespace swift;
SWIFT_CC(swift) SWIFT_RUNTIME_LIBRARY_VISIBILITY extern "C"
void testExclusivityNullPC() {
ValueBuffer scratch, scratch2;
long var;
swift_beginAccess(&var, &scratch,
ExclusivityFlags::Read | ExclusivityFlags::Tracking,
/*pc=*/0);
swift_beginAccess(&var, &scratch2, ExclusivityFlags::Modify,
/*pc=*/0);
swift_endAccess(&scratch2);
swift_endAccess(&scratch);
}
SWIFT_CC(swift) SWIFT_RUNTIME_LIBRARY_VISIBILITY extern "C"
void testExclusivityPCOne() {
ValueBuffer scratch, scratch2;
long var;
swift_beginAccess(&var, &scratch,
ExclusivityFlags::Read | ExclusivityFlags::Tracking,
/*pc=*/(void *)1);
swift_beginAccess(&var, &scratch2, ExclusivityFlags::Modify,
/*pc=*/(void *)1);
swift_endAccess(&scratch2);
swift_endAccess(&scratch);
}
SWIFT_CC(swift) SWIFT_RUNTIME_LIBRARY_VISIBILITY extern "C"
void testExclusivityBogusPC() {
ValueBuffer scratch, scratch2;
long var;
swift_beginAccess(&var, &scratch,
ExclusivityFlags::Read | ExclusivityFlags::Tracking,
/*pc=*/(void *)0xdeadbeefdeadbeefULL);
swift_beginAccess(&var, &scratch2, ExclusivityFlags::Modify,
/*pc=*/(void *)0xdeadbeefdeadbeefULL);
swift_endAccess(&scratch2);
swift_endAccess(&scratch);
}
// rdar://32866493
SWIFT_CC(swift) SWIFT_RUNTIME_LIBRARY_VISIBILITY extern "C"
void testExclusivityNonNested() {
const int N = 5;
ValueBuffer scratches[N];
long vars[N];
auto begin = [&](unsigned i) {
assert(i < N);
swift_beginAccess(&vars[i], &scratches[i],
ExclusivityFlags::Modify | ExclusivityFlags::Tracking, 0);
};
auto end = [&](unsigned i) {
assert(i < N);
swift_endAccess(&scratches[i]);
memset(&scratches[i], /*gibberish*/ 0x99, sizeof(ValueBuffer));
};
auto accessAll = [&] {
for (unsigned i = 0; i != N; ++i) begin(i);
for (unsigned i = 0; i != N; ++i) end(i);
};
accessAll();
begin(0); begin(1); end(0); end(1);
begin(0); begin(1); end(0); end(1);
accessAll();
begin(1); begin(0); begin(2); end(0); end(2); end(1);
accessAll();
begin(0); begin(1); begin(2); begin(3); begin(4);
end(1); end(4); end(0); end(2); end(3);
accessAll();
}
|
