| 1 | /* |
|---|
| 2 | * taskwait-depend.c -- Archer testcase |
|---|
| 3 | * derived from DRB166-taskdep4-orig-omp50-no.c in DataRaceBench |
|---|
| 4 | */ |
|---|
| 5 | //===----------------------------------------------------------------------===// |
|---|
| 6 | // |
|---|
| 7 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
|---|
| 8 | // |
|---|
| 9 | // See tools/archer/LICENSE.txt for details. |
|---|
| 10 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
|---|
| 11 | // |
|---|
| 12 | //===----------------------------------------------------------------------===// |
|---|
| 13 | |
|---|
| 14 | // RUN: %libarcher-compile-and-run | FileCheck %s |
|---|
| 15 | // REQUIRES: tsan |
|---|
| 16 | |
|---|
| 17 | #include "ompt/ompt-signal.h" |
|---|
| 18 | #include <omp.h> |
|---|
| 19 | #include <stdio.h> |
|---|
| 20 | |
|---|
| 21 | void foo() { |
|---|
| 22 | |
|---|
| 23 | int x = 0, y = 2, sem = 0; |
|---|
| 24 | |
|---|
| 25 | #pragma omp task depend(inout : x) shared(x, sem) |
|---|
| 26 | { |
|---|
| 27 | OMPT_SIGNAL(sem); |
|---|
| 28 | x++; // 1st Child Task |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | #pragma omp task shared(y, sem) |
|---|
| 32 | { |
|---|
| 33 | OMPT_SIGNAL(sem); |
|---|
| 34 | y--; // 2nd child task |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | OMPT_WAIT(sem, 2); |
|---|
| 38 | #pragma omp taskwait depend(in : x) // 1st taskwait |
|---|
| 39 | |
|---|
| 40 | printf(format: "x=%d\n" , x); |
|---|
| 41 | |
|---|
| 42 | #pragma omp taskwait // 2nd taskwait |
|---|
| 43 | |
|---|
| 44 | printf(format: "y=%d\n" , y); |
|---|
| 45 | } |
|---|
| 46 | |
|---|
| 47 | int main() { |
|---|
| 48 | #pragma omp parallel num_threads(2) |
|---|
| 49 | #pragma omp single |
|---|
| 50 | foo(); |
|---|
| 51 | |
|---|
| 52 | return 0; |
|---|
| 53 | } |
|---|
| 54 | |
|---|
| 55 | // CHECK-NOT: ThreadSanitizer: data race |
|---|
| 56 | // CHECK-NOT: ThreadSanitizer: reported |
|---|
| 57 | // CHECK: y=1 |
|---|
| 58 | |
|---|
