<div dir="ltr">lgtm</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Mar 27, 2014 at 9:14 AM, Daniil Fukalov <span dir="ltr"><<a href="mailto:daniil.fukalov@amd.com" target="_blank">daniil.fukalov@amd.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">dfukalov added you to the CC list for the revision "Fix for PR 19261: generate unconditional branches with "-O0 -fast-isel=false"".<br>
<br>
Hi timurrrr,<br>
<br>
Fix for PR 19261:<br>
<br>
llc doesn't generate nodes for unconditional fall-through branches for targets without FastISel implementation (X86 has it, but can be disabled by "-fast-isel=false") in SelectionDAGBuilder::visitBr(). So for line 4 in the following testcase<br>
<br>
1: void foo(int i){<br>
2: switch(i){<br>
3: default:<br>
4: break;<br>
5: }<br>
6: return;<br>
7: }<br>
<br>
there is no corresponding line in .debug_line section, and a debugger cannot set a breakpoint at line 4.<br>
<br>
<a href="http://llvm-reviews.chandlerc.com/D3203" target="_blank">http://llvm-reviews.chandlerc.com/D3203</a><br>
<br>
Files:<br>
lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp<br>
test/DebugInfo/uncond_br_O0.ll<br>
<br>
Index: lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp<br>
===================================================================<br>
--- lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp<br>
+++ lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp<br>
@@ -1574,8 +1574,9 @@<br>
// Update machine-CFG edges.<br>
BrMBB->addSuccessor(Succ0MBB);<br>
<br>
- // If this is not a fall-through branch, emit the branch.<br>
- if (Succ0MBB != NextBlock)<br>
+ // If this is not a fall-through branch or optimizations are switched off,<br>
+ // emit the branch.<br>
+ if (Succ0MBB != NextBlock || TM.getOptLevel() == CodeGenOpt::None)<br>
DAG.setRoot(DAG.getNode(ISD::BR, getCurSDLoc(),<br>
MVT::Other, getControlRoot(),<br>
DAG.getBasicBlock(Succ0MBB)));<br>
Index: test/DebugInfo/uncond_br_O0.ll<br>
===================================================================<br>
--- test/DebugInfo/uncond_br_O0.ll<br>
+++ test/DebugInfo/uncond_br_O0.ll<br>
@@ -0,0 +1,68 @@<br>
+; REQUIRES: object-emission<br>
+; PR 19261<br>
+<br>
+; RUN: %llc_dwarf -fast-isel=false -O0 -filetype=obj < %s > %t<br>
+; RUN: llvm-dwarfdump %t | FileCheck %s<br>
+<br>
+; CHECK: {{0x[0-9a-f]+}} 1 0 1 0 0 is_stmt<br>
+; CHECK-NEXT: {{0x[0-9a-f]+}} 2 0 1 0 0 is_stmt<br>
+; CHECK-NEXT: {{0x[0-9a-f]+}} 4 0 1 0 0 is_stmt<br>
+<br>
+; IR generated from clang -O0 -g with the following source:<br>
+;void foo(int i){<br>
+; switch(i){<br>
+; default:<br>
+; break;<br>
+; }<br>
+; return;<br>
+;}<br>
+<br>
+; ModuleID = 'test.bc'<br>
+target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"<br>
+target triple = "i686-pc-win32"<br>
+<br>
+; Function Attrs: nounwind<br>
+define void @foo(i32 %i) #0 {<br>
+entry:<br>
+ %i.addr = alloca i32, align 4<br>
+ store i32 %i, i32* %i.addr, align 4<br>
+ call void @llvm.dbg.declare(metadata !{i32* %i.addr}, metadata !12), !dbg !13<br>
+ %0 = load i32* %i.addr, align 4, !dbg !14<br>
+ switch i32 %0, label %sw.default [<br>
+ ], !dbg !14<br>
+<br>
+sw.default: ; preds = %entry<br>
+ br label %sw.epilog, !dbg !15<br>
+<br>
+sw.epilog: ; preds = %sw.default<br>
+ ret void, !dbg !17<br>
+}<br>
+<br>
+; Function Attrs: nounwind readnone<br>
+declare void @llvm.dbg.declare(metadata, metadata) #1<br>
+<br>
+attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }<br>
+attributes #1 = { nounwind readnone }<br>
+<br>
+!<a href="http://llvm.dbg.cu" target="_blank">llvm.dbg.cu</a> = !{!0}<br>
+!llvm.module.flags = !{!9, !10}<br>
+!llvm.ident = !{!11}<br>
+<br>
+!0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.5.0 (204712)", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 1} ; [ DW_TAG_compile_unit ] [D:\work\EPRs\396363/test.c] [DW_LANG_C99]<br>
+!1 = metadata !{metadata !"test.c", metadata !"D:\5Cwork\5CEPRs\5C396363"}<br>
+!2 = metadata !{}<br>
+!3 = metadata !{metadata !4}<br>
+!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"foo", metadata !"foo", metadata !"", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (i32)* @foo, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [foo]<br>
+!5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [D:\work\EPRs\396363/test.c]<br>
+!6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !7, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]<br>
+!7 = metadata !{null, metadata !8}<br>
+!8 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]<br>
+!9 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}<br>
+!10 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}<br>
+!11 = metadata !{metadata !"clang version 3.5.0 (204712)"}<br>
+!12 = metadata !{i32 786689, metadata !4, metadata !"i", metadata !5, i32 16777217, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [i] [line 1]<br>
+!13 = metadata !{i32 1, i32 0, metadata !4, null}<br>
+!14 = metadata !{i32 2, i32 0, metadata !4, null}<br>
+!15 = metadata !{i32 4, i32 0, metadata !16, null}<br>
+!16 = metadata !{i32 786443, metadata !1, metadata !4, i32 2, i32 0, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [D:\work\EPRs\396363/test.c]<br>
+!17 = metadata !{i32 6, i32 0, metadata !4, null}<br>
<br>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
<br></blockquote></div><br></div>