clang/test/CodeGenCXX/debug-info-line-if.cpp

   1 // RUN: %clang_cc1 -debug-info-kind=limited -gno-column-info -std=c++11 -S -emit-llvm %s -o - | FileCheck -allow-deprecated-dag-overlap %s
   2 // PR19864
   3 extern int v[2];
   4 int a = 0, b = 0;
   5 int main() {
   6 #line 100
   7   for (int x : v)
   8     if (x)
   9       ++b; // CHECK: add nsw{{.*}}, 1
  10     else
  11       ++a; // CHECK: add nsw{{.*}}, 1
  12   // The continuation block if the if statement should not share the
  13   // location of the ++a statement. The branch back to the start of the loop
  14   // should be attributed to the loop header line.
  15
  16   // CHECK: br label
  17   // CHECK: br label
  18   // CHECK: br label {{.*}}, !dbg [[DBG1:![0-9]*]], !llvm.loop [[L1:![0-9]*]]
  19
  20 #line 200
  21   while (a)
  22     if (b)
  23       ++b; // CHECK: add nsw{{.*}}, 1
  24     else
  25       ++a; // CHECK: add nsw{{.*}}, 1
  26
  27   // CHECK: br label
  28   // CHECK: br label {{.*}}, !dbg [[DBG2:![0-9]*]], !llvm.loop [[L2:![0-9]*]]
  29
  30 #line 300
  31   for (; a; )
  32     if (b)
  33       ++b; // CHECK: add nsw{{.*}}, 1
  34     else
  35       ++a; // CHECK: add nsw{{.*}}, 1
  36
  37   // CHECK: br label
  38   // CHECK: br label {{.*}}, !dbg [[DBG3:![0-9]*]], !llvm.loop [[L3:![0-9]*]]
  39
  40 #line 400
  41   int x[] = {1, 2};
  42   for (int y : x)
  43     if (b)
  44       ++b; // CHECK: add nsw{{.*}}, 1
  45     else
  46       ++a; // CHECK: add nsw{{.*}}, 1
  47
  48   // CHECK: br label
  49   // CHECK: br label {{.*}}, !dbg [[DBG4:![0-9]*]], !llvm.loop [[L4:![0-9]*]]
  50
  51   // CHECK-DAG: [[DBG1]] = !DILocation(line: 100, scope: !{{.*}})
  52   // CHECK-DAG: [[DBG2]] = !DILocation(line: 200, scope: !{{.*}})
  53   // CHECK-DAG: [[DBG3]] = !DILocation(line: 300, scope: !{{.*}})
  54   // CHECK-DAG: [[DBG4]] = !DILocation(line: 401, scope: !{{.*}})
  55
  56   // CHECK-DAG: [[L1]] = distinct !{[[L1]], [[SLDBG1:![0-9]*]], [[ELDBG1:![0-9]*]]}
  57   // CHECK-DAG: [[SLDBG1]] = !DILocation(line: 100, scope: !{{.*}})
  58   // CHECK-DAG: [[ELDBG1]] = !DILocation(line: 104, scope: !{{.*}})
  59
  60   // CHECK-DAG: [[L2]] = distinct !{[[L2]], [[SLDBG2:![0-9]*]], [[ELDBG2:![0-9]*]], [[MP:![0-9]+]]}
  61   // CHECK-DAG: [[SLDBG2]] = !DILocation(line: 200, scope: !{{.*}})
  62   // CHECK-DAG: [[ELDBG2]] = !DILocation(line: 204, scope: !{{.*}})
  63
  64   // CHECK-DAG: [[L3]] = distinct !{[[L3]], [[SLDBG3:![0-9]*]], [[ELDBG3:![0-9]*]], [[MP]]}
  65   // CHECK-DAG: [[SLDBG3]] = !DILocation(line: 300, scope: !{{.*}})
  66   // CHECK-DAG: [[ELDBG3]] = !DILocation(line: 304, scope: !{{.*}})
  67
  68   // CHECK-DAG: [[L4]] = distinct !{[[L4]], [[SLDBG4:![0-9]*]], [[ELDBG4:![0-9]*]]}
  69   // CHECK-DAG: [[SLDBG4]] = !DILocation(line: 401, scope: !{{.*}})
  70   // CHECK-DAG: [[ELDBG4]] = !DILocation(line: 405, scope: !{{.*}})
  71 }