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