1// RUN: %clang_cc1 -debug-info-kind=limited -std=c++11 -S -emit-llvm %s -o - | FileCheck %s
2// PR19864
3extern int v[2];
4int a = 0, b = 0;
5int 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]], [[LDBG1:![0-9]*]]}
57  // CHECK-DAG: [[LDBG1]] = !DILocation(line: 100, scope: !{{.*}})
58
59  // CHECK-DAG: [[L2]] = distinct !{[[L2]], [[LDBG2:![0-9]*]]}
60  // CHECK-DAG: [[LDBG2]] = !DILocation(line: 200, scope: !{{.*}})
61
62  // CHECK-DAG: [[L3]] = distinct !{[[L3]], [[LDBG3:![0-9]*]]}
63  // CHECK-DAG: [[LDBG3]] = !DILocation(line: 300, scope: !{{.*}})
64
65  // CHECK-DAG: [[L4]] = distinct !{[[L4]], [[LDBG4:![0-9]*]]}
66  // CHECK-DAG: [[LDBG4]] = !DILocation(line: 401, scope: !{{.*}})
67}
68