10b57cec5SDimitry Andric //===-- test.c ------------------------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
9*81ad6265SDimitry Andric // Test for Go runtime.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric
130b57cec5SDimitry Andric #include <sys/mman.h>
140b57cec5SDimitry Andric #include <errno.h>
150b57cec5SDimitry Andric #include <stdio.h>
160b57cec5SDimitry Andric #include <stdlib.h>
170b57cec5SDimitry Andric
180b57cec5SDimitry Andric void __tsan_init(void **thr, void **proc, void (*cb)(long, void*));
190b57cec5SDimitry Andric void __tsan_fini();
200b57cec5SDimitry Andric void __tsan_map_shadow(void *addr, unsigned long size);
210b57cec5SDimitry Andric void __tsan_go_start(void *thr, void **chthr, void *pc);
220b57cec5SDimitry Andric void __tsan_go_end(void *thr);
230b57cec5SDimitry Andric void __tsan_proc_create(void **pproc);
240b57cec5SDimitry Andric void __tsan_proc_destroy(void *proc);
250b57cec5SDimitry Andric void __tsan_proc_wire(void *proc, void *thr);
260b57cec5SDimitry Andric void __tsan_proc_unwire(void *proc, void *thr);
270b57cec5SDimitry Andric void __tsan_read(void *thr, void *addr, void *pc);
280b57cec5SDimitry Andric void __tsan_write(void *thr, void *addr, void *pc);
290b57cec5SDimitry Andric void __tsan_func_enter(void *thr, void *pc);
300b57cec5SDimitry Andric void __tsan_func_exit(void *thr);
310b57cec5SDimitry Andric void __tsan_malloc(void *thr, void *pc, void *p, unsigned long sz);
320b57cec5SDimitry Andric void __tsan_free(void *p, unsigned long sz);
330b57cec5SDimitry Andric void __tsan_acquire(void *thr, void *addr);
340b57cec5SDimitry Andric void __tsan_release(void *thr, void *addr);
355ffd83dbSDimitry Andric void __tsan_release_acquire(void *thr, void *addr);
360b57cec5SDimitry Andric void __tsan_release_merge(void *thr, void *addr);
370b57cec5SDimitry Andric
380b57cec5SDimitry Andric void *current_proc;
390b57cec5SDimitry Andric
symbolize_cb(long cmd,void * ctx)400b57cec5SDimitry Andric void symbolize_cb(long cmd, void *ctx) {
410b57cec5SDimitry Andric switch (cmd) {
420b57cec5SDimitry Andric case 0:
430b57cec5SDimitry Andric if (current_proc == 0)
440b57cec5SDimitry Andric abort();
450b57cec5SDimitry Andric *(void**)ctx = current_proc;
460b57cec5SDimitry Andric }
470b57cec5SDimitry Andric }
480b57cec5SDimitry Andric
490b57cec5SDimitry Andric /*
500b57cec5SDimitry Andric * See lib/tsan/rtl/tsan_platform.h for details of what the memory layout
510b57cec5SDimitry Andric * of Go programs looks like. To prevent running over existing mappings,
520b57cec5SDimitry Andric * we pick an address slightly inside the Go heap region.
530b57cec5SDimitry Andric */
540b57cec5SDimitry Andric void *go_heap = (void *)0xC011110000;
550b57cec5SDimitry Andric char *buf0;
560b57cec5SDimitry Andric
foobar()570b57cec5SDimitry Andric void foobar() {}
barfoo()580b57cec5SDimitry Andric void barfoo() {}
590b57cec5SDimitry Andric
main(void)600b57cec5SDimitry Andric int main(void) {
610b57cec5SDimitry Andric void *thr0 = 0;
620b57cec5SDimitry Andric void *proc0 = 0;
630b57cec5SDimitry Andric __tsan_init(&thr0, &proc0, symbolize_cb);
640b57cec5SDimitry Andric current_proc = proc0;
650b57cec5SDimitry Andric
660b57cec5SDimitry Andric // Allocate something resembling a heap in Go.
670b57cec5SDimitry Andric buf0 = mmap(go_heap, 16384, PROT_READ | PROT_WRITE,
680b57cec5SDimitry Andric MAP_PRIVATE | MAP_FIXED | MAP_ANON, -1, 0);
690b57cec5SDimitry Andric if (buf0 == MAP_FAILED) {
700b57cec5SDimitry Andric fprintf(stderr, "failed to allocate Go-like heap at %p; errno %d\n",
710b57cec5SDimitry Andric go_heap, errno);
720b57cec5SDimitry Andric return 1;
730b57cec5SDimitry Andric }
740b57cec5SDimitry Andric char *buf = (char*)((unsigned long)buf0 + (64<<10) - 1 & ~((64<<10) - 1));
750b57cec5SDimitry Andric __tsan_map_shadow(buf, 4096);
760b57cec5SDimitry Andric __tsan_malloc(thr0, (char*)&barfoo + 1, buf, 10);
770b57cec5SDimitry Andric __tsan_free(buf, 10);
780b57cec5SDimitry Andric __tsan_func_enter(thr0, (char*)&main + 1);
790b57cec5SDimitry Andric __tsan_malloc(thr0, (char*)&barfoo + 1, buf, 10);
800b57cec5SDimitry Andric __tsan_release(thr0, buf);
815ffd83dbSDimitry Andric __tsan_release_acquire(thr0, buf);
820b57cec5SDimitry Andric __tsan_release_merge(thr0, buf);
830b57cec5SDimitry Andric void *thr1 = 0;
840b57cec5SDimitry Andric __tsan_go_start(thr0, &thr1, (char*)&barfoo + 1);
850b57cec5SDimitry Andric void *thr2 = 0;
860b57cec5SDimitry Andric __tsan_go_start(thr0, &thr2, (char*)&barfoo + 1);
870b57cec5SDimitry Andric __tsan_func_exit(thr0);
880b57cec5SDimitry Andric __tsan_func_enter(thr1, (char*)&foobar + 1);
890b57cec5SDimitry Andric __tsan_func_enter(thr1, (char*)&foobar + 1);
900b57cec5SDimitry Andric __tsan_write(thr1, buf, (char*)&barfoo + 1);
910b57cec5SDimitry Andric __tsan_acquire(thr1, buf);
920b57cec5SDimitry Andric __tsan_func_exit(thr1);
930b57cec5SDimitry Andric __tsan_func_exit(thr1);
940b57cec5SDimitry Andric __tsan_go_end(thr1);
950b57cec5SDimitry Andric void *proc1 = 0;
960b57cec5SDimitry Andric __tsan_proc_create(&proc1);
970b57cec5SDimitry Andric current_proc = proc1;
980b57cec5SDimitry Andric __tsan_func_enter(thr2, (char*)&foobar + 1);
990b57cec5SDimitry Andric __tsan_read(thr2, buf, (char*)&barfoo + 1);
1000b57cec5SDimitry Andric __tsan_free(buf, 10);
1010b57cec5SDimitry Andric __tsan_func_exit(thr2);
1020b57cec5SDimitry Andric __tsan_go_end(thr2);
1030b57cec5SDimitry Andric __tsan_proc_destroy(proc1);
1040b57cec5SDimitry Andric current_proc = proc0;
1050b57cec5SDimitry Andric __tsan_fini();
1060b57cec5SDimitry Andric return 0;
1070b57cec5SDimitry Andric }
108