xref: /llvm-project/compiler-rt/test/tsan/java_find.cpp (revision bcaeed49cb063de9fe504aa29e1cadff8a7be710)
1*bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
2*bcaeed49SFangrui Song #include "java.h"
3*bcaeed49SFangrui Song 
4*bcaeed49SFangrui Song int const kHeapSize = 1024 * 1024;
5*bcaeed49SFangrui Song 
verify_find(jptr from,jptr to,jptr expected_addr,jptr expected_size)6*bcaeed49SFangrui Song static void verify_find(jptr from, jptr to, jptr expected_addr,
7*bcaeed49SFangrui Song                         jptr expected_size) {
8*bcaeed49SFangrui Song   jptr addr = from;
9*bcaeed49SFangrui Song   jptr size = __tsan_java_find(&addr, to);
10*bcaeed49SFangrui Song   if (expected_size) {
11*bcaeed49SFangrui Song     if (!size) {
12*bcaeed49SFangrui Song       fprintf(stderr, "FAILED: range: [%p..%p): found nothing\n", (void *)from,
13*bcaeed49SFangrui Song               (void *)to);
14*bcaeed49SFangrui Song       return;
15*bcaeed49SFangrui Song     } else if (expected_size != size) {
16*bcaeed49SFangrui Song       fprintf(stderr, "FAILED: range: [%p..%p): wrong size, %lu instead of %lu\n",
17*bcaeed49SFangrui Song               (void *)from, (void *)to, size, expected_size);
18*bcaeed49SFangrui Song       return;
19*bcaeed49SFangrui Song     }
20*bcaeed49SFangrui Song   } else if (size) {
21*bcaeed49SFangrui Song     fprintf(stderr,
22*bcaeed49SFangrui Song             "FAILED: range [%p..%p): did not expect to find anything here\n",
23*bcaeed49SFangrui Song             (void *)from, (void *)to);
24*bcaeed49SFangrui Song     return;
25*bcaeed49SFangrui Song   } else {
26*bcaeed49SFangrui Song     return;
27*bcaeed49SFangrui Song   }
28*bcaeed49SFangrui Song   if (expected_addr != addr) {
29*bcaeed49SFangrui Song     fprintf(
30*bcaeed49SFangrui Song         stderr,
31*bcaeed49SFangrui Song         "FAILED: range [%p..%p): expected to find object at %p, found at %p\n",
32*bcaeed49SFangrui Song         (void *)from, (void *)to, (void *)expected_addr, (void *)addr);
33*bcaeed49SFangrui Song   }
34*bcaeed49SFangrui Song }
35*bcaeed49SFangrui Song 
main()36*bcaeed49SFangrui Song int main() {
37*bcaeed49SFangrui Song   const jptr jheap = (jptr)malloc(kHeapSize + 8) + 8;
38*bcaeed49SFangrui Song   const jptr jheap_end = jheap + kHeapSize;
39*bcaeed49SFangrui Song   __tsan_java_init(jheap, kHeapSize);
40*bcaeed49SFangrui Song   const jptr addr1 = jheap;
41*bcaeed49SFangrui Song   const int size1 = 16;
42*bcaeed49SFangrui Song   __tsan_java_alloc(jheap, size1);
43*bcaeed49SFangrui Song 
44*bcaeed49SFangrui Song   const jptr addr2 = addr1 + size1;
45*bcaeed49SFangrui Song   const int size2 = 32;
46*bcaeed49SFangrui Song   __tsan_java_alloc(jheap + size1, size2);
47*bcaeed49SFangrui Song 
48*bcaeed49SFangrui Song   const jptr addr3 = addr2 + size2;
49*bcaeed49SFangrui Song   const int size3 = 1024;
50*bcaeed49SFangrui Song   __tsan_java_alloc(jheap + size1 + size2, size3);
51*bcaeed49SFangrui Song 
52*bcaeed49SFangrui Song   const jptr addr4 = addr3 + size3;
53*bcaeed49SFangrui Song 
54*bcaeed49SFangrui Song   verify_find(jheap, jheap_end, addr1, size1);
55*bcaeed49SFangrui Song   verify_find(jheap + 8, jheap_end, addr2, size2);
56*bcaeed49SFangrui Song   verify_find(addr2 + 8, jheap_end, addr3, size3);
57*bcaeed49SFangrui Song   verify_find(addr3 + 8, jheap_end, 0, 0);
58*bcaeed49SFangrui Song 
59*bcaeed49SFangrui Song   __tsan_java_move(addr2, addr4, size2);
60*bcaeed49SFangrui Song   verify_find(jheap + 8, jheap_end, addr3, size3);
61*bcaeed49SFangrui Song   verify_find(addr3 + 8, jheap_end, addr4, size2);
62*bcaeed49SFangrui Song   verify_find(addr4 + 8, jheap_end, 0, 0);
63*bcaeed49SFangrui Song 
64*bcaeed49SFangrui Song   fprintf(stderr, "DONE\n");
65*bcaeed49SFangrui Song   return 0;
66*bcaeed49SFangrui Song }
67*bcaeed49SFangrui Song 
68*bcaeed49SFangrui Song // CHECK-NOT: FAILED
69*bcaeed49SFangrui Song // CHECK: DONE
70