1 // This testcase checks emission of debug info for variables inside
2 // private/firstprivate/lastprivate.
3 
4 // REQUIRES: x86_64-linux
5 
6 // RUN: %clang_cc1 -no-opaque-pointers -debug-info-kind=line-directives-only -x c -verify -triple x86_64-pc-linux-gnu -fopenmp -emit-llvm %s -o - | FileCheck %s --check-prefix=NEG
7 // RUN: %clang_cc1 -no-opaque-pointers -debug-info-kind=line-tables-only -x c -verify -triple x86_64-pc-linux-gnu -fopenmp -emit-llvm %s -o - | FileCheck %s --check-prefix=NEG
8 // RUN: %clang_cc1 -no-opaque-pointers -debug-info-kind=limited -x c -verify -triple x86_64-pc-linux-gnu -fopenmp -emit-llvm %s -o - | FileCheck %s
9 // expected-no-diagnostics
10 
11 // CHECK: define internal i32 @.omp_task_entry.
12 
13 // CHECK:  call void @llvm.dbg.declare(metadata i32** %.priv.ptr.addr.i, metadata [[PRIV1:![0-9]+]], metadata !DIExpression(DW_OP_deref))
14 // CHECK:  call void @llvm.dbg.declare(metadata i32** %.priv.ptr.addr1.i, metadata [[PRIV2:![0-9]+]], metadata !DIExpression(DW_OP_deref))
15 // CHECK:  call void @llvm.dbg.declare(metadata i32** %.firstpriv.ptr.addr.i, metadata [[FPRIV:![0-9]+]], metadata !DIExpression(DW_OP_deref))
16 // NEG-NOT: call void @llvm.dbg.declare
17 
18 // CHECK: [[PRIV1]] = !DILocalVariable(name: "priv1"
19 // CHECK: [[PRIV2]] = !DILocalVariable(name: "priv2"
20 // CHECK: [[FPRIV]] = !DILocalVariable(name: "fpriv"
21 
22 extern int printf(const char *, ...);
23 
24 int foo(int n) {
25   int res, priv1, priv2, fpriv;
26   fpriv = n + 4;
27 
28   if (n < 2)
29     return n;
30   else {
31 #pragma omp task shared(res) private(priv1, priv2) firstprivate(fpriv)
32     {
33       priv1 = n;
34       priv2 = n + 2;
35       printf("Task n=%d,priv1=%d,priv2=%d,fpriv=%d\n", n, priv1, priv2, fpriv);
36 
37       res = priv1 + priv2 + fpriv + foo(n - 1);
38     }
39 #pragma omp taskwait
40     return res;
41   }
42 }
43 
44 int main() {
45   int n = 10;
46   printf("foo(%d) = %d\n", n, foo(n));
47   return 0;
48 }
49