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;
main()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 }
72