maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/CodeGenCXX/debug-info-line-if.cpp

56 lines
1.4 KiB
C++
Raw Normal View History

Enable -gcolumn-info by default. This patch flips the default value for -gcolumn-info to be on by default. I discussed the rationale and provided compile/size data in: http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-June/074290.html This also updates the documentation and some tests that relied on the lack of column information. Some tests had column information in the expected output, but it was wrong (the tsan tests). Others were using the driver to execute. llvm-svn: 212781
2014-07-11 07:29:28 +08:00
// RUN: %clang_cc1 -g -std=c++11 -S -emit-llvm %s -o - | FileCheck %s
Debug Info: Fix the source range for IfStmt's ConditionScope. Since the continuation block of the if statement is emitted within the condition scope this had the undesirable effect of creating a line table entry at the end of the then or else statement, a line that may have never been executed. PR19864 / rdar://problem/17052973 llvm-svn: 209764
2014-05-29 03:10:59 +08:00
// PR19864
DebugInfo: While loop backedge should be attribute to the start of the while statement. A little test case simplification - this could be simplified further, though there are certainly interesting connections to the if/else construct so I'm hesitant to remove that entirely though it does appear somewhat unrelated. (similar fix to r215766, related to PR19864) llvm-svn: 215768
2014-08-16 05:11:25 +08:00
extern int v[2];
int a = 0, b = 0;
Debug Info: Fix the source range for IfStmt's ConditionScope. Since the continuation block of the if statement is emitted within the condition scope this had the undesirable effect of creating a line table entry at the end of the then or else statement, a line that may have never been executed. PR19864 / rdar://problem/17052973 llvm-svn: 209764
2014-05-29 03:10:59 +08:00
int main() {
DebugInfo: While loop backedge should be attribute to the start of the while statement. A little test case simplification - this could be simplified further, though there are certainly interesting connections to the if/else construct so I'm hesitant to remove that entirely though it does appear somewhat unrelated. (similar fix to r215766, related to PR19864) llvm-svn: 215768
2014-08-16 05:11:25 +08:00
#line 100
for (int x : v)
if (x)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// The continuation block if the if statement should not share the
// location of the ++a statement. The branch back to the start of the loop
// should be attributed to the loop header line.
Debug Info: Fix the source range for IfStmt's ConditionScope. Since the continuation block of the if statement is emitted within the condition scope this had the undesirable effect of creating a line table entry at the end of the then or else statement, a line that may have never been executed. PR19864 / rdar://problem/17052973 llvm-svn: 209764
2014-05-29 03:10:59 +08:00
DebugInfo: While loop backedge should be attribute to the start of the while statement. A little test case simplification - this could be simplified further, though there are certainly interesting connections to the if/else construct so I'm hesitant to remove that entirely though it does appear somewhat unrelated. (similar fix to r215766, related to PR19864) llvm-svn: 215768
2014-08-16 05:11:25 +08:00
// CHECK: br label
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG1:!.*]]
Debug Info: Fix the source range for IfStmt's ConditionScope. Since the continuation block of the if statement is emitted within the condition scope this had the undesirable effect of creating a line table entry at the end of the then or else statement, a line that may have never been executed. PR19864 / rdar://problem/17052973 llvm-svn: 209764
2014-05-29 03:10:59 +08:00
DebugInfo: While loop backedge should be attribute to the start of the while statement. A little test case simplification - this could be simplified further, though there are certainly interesting connections to the if/else construct so I'm hesitant to remove that entirely though it does appear somewhat unrelated. (similar fix to r215766, related to PR19864) llvm-svn: 215768
2014-08-16 05:11:25 +08:00
#line 200
while (a)
if (b)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG2:!.*]]
DebugInfo: for loop backedge should be attributed to the start of the for statement. Similar to r215768 (which fixed the same case for while loops). To quote r215768's commit message: "A little test case simplification - this could be simplified further, though there are certainly interesting connections to the if/else construct so I'm hesitant to remove that entirely though it does appear somewhat unrelated. (similar fix to r215766, related to PR19864)" llvm-svn: 216297
2014-08-23 06:25:37 +08:00
#line 300
for (; a; )
if (b)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG3:!.*]]
DebugInfo: Test that the loop backedge in a range-for is attribute to the loop header. This already works, but somewhat by accident (due to the order of emission in clang, the location is set to the loop header (during the emission of the iteratior increment) before the loop backedge is emitted), so let's just add a test for symmetry and future-proofing. llvm-svn: 216298
2014-08-23 06:29:50 +08:00
#line 400
int x[] = {1, 2};
for (int y : x)
if (b)
++b; // CHECK: add nsw{{.*}}, 1
else
++a; // CHECK: add nsw{{.*}}, 1
// CHECK: br label
// CHECK: br label {{.*}}, !dbg [[DBG4:!.*]]
DebugInfo: Metadata constructs now start with DI* LLVM r236120 renamed debug info IR constructs to use a `DI` prefix, now that the `DIDescriptor` hierarchy has been gone for about a week. This commit was generated using the rename-md-di-nodes.sh upgrade script attached to PR23080, followed by running clang-format-diff.py on the `lib/` portion of the patch. llvm-svn: 236121
2015-04-30 00:40:08 +08:00
// CHECK: [[DBG1]] = !DILocation(line: 100, scope: !{{.*}})
// CHECK: [[DBG2]] = !DILocation(line: 200, scope: !{{.*}})
// CHECK: [[DBG3]] = !DILocation(line: 300, scope: !{{.*}})
// CHECK: [[DBG4]] = !DILocation(line: 401, scope: !{{.*}})
Debug Info: Fix the source range for IfStmt's ConditionScope. Since the continuation block of the if statement is emitted within the condition scope this had the undesirable effect of creating a line table entry at the end of the then or else statement, a line that may have never been executed. PR19864 / rdar://problem/17052973 llvm-svn: 209764
2014-05-29 03:10:59 +08:00
}