[llvm] r353682 - [DWARF] LLVM ERROR: Broken function found, while removing Debug Intrinsics.

[Carlos Alberto Enciso via llvm-commits]

Author: carlos.alberto.enciso
Date: Mon Feb 11 02:16:38 2019
New Revision: 353682

URL: http://llvm.org/viewvc/llvm-project?rev=353682&view=rev
Log:
[DWARF] LLVM ERROR: Broken function found, while removing Debug Intrinsics.

Check that when SimplifyCFG is flattening a 'br', all their debug intrinsic instructions are removed, including any dbg.label referencing a label associated with the basic blocks being removed.

As the test case involves a CFG transformation, move it to the correct location.

Differential Revision: https://reviews.llvm.org/D57444

Added:
    llvm/trunk/test/Transforms/SimplifyCFG/bbi-23595.ll
      - copied unchanged from r353681, llvm/trunk/test/CodeGen/X86/bbi-23595.ll
Removed:
    llvm/trunk/test/CodeGen/X86/bbi-23595.ll

Removed: llvm/trunk/test/CodeGen/X86/bbi-23595.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/bbi-23595.ll?rev=353681&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/bbi-23595.ll (original)
+++ llvm/trunk/test/CodeGen/X86/bbi-23595.ll (removed)
@@ -1,50 +0,0 @@
-; RUN: opt < %s -S -simplifycfg | FileCheck %s
-
-; In 'simplifycfg', during the flattening of a 'br', the instructions for the
-; 'true' and 'false' parts, are moved out from their respective basic blocks.
-; Their original debug locations (DILocations) and debug intrinsic instructions
-; (dbg.values) are removed.
-; As those basic blocks are now empty, their associated labels are removed.
-;
-; For the given test case, the labels 'W' and 'cleanup4' are removed.
-; We're expecting the dbg.label associated with 'W' to disappear, because
-; the 'W' label was removed.
-
-; CHECK-LABEL: _Z7test_itv()
-; CHECK:       entry:
-; CHECK-NEXT:    %retval.0 = select i1 undef, i16 1, i16 0
-; CHECK-NEXT:    ret i16 0
-
-define i16 @_Z7test_itv() {
-entry:
-  br label %sw.bb
-
-sw.bb:                                            ; preds = %entry
-  br i1 undef, label %W, label %cleanup4
-
-W:                                                ; preds = %sw.bb
-  call void @llvm.dbg.label(metadata !1), !dbg !8
-  br label %cleanup4
-
-cleanup4:                                         ; preds = %W, %sw.bb
-  %retval.0 = phi i16 [ 1, %W ], [ 0, %sw.bb ]
-  ret i16 0
-}
-
-; Function Attrs: nounwind readnone speculatable
-declare void @llvm.dbg.label(metadata) #0
-
-attributes #0 = { nounwind readnone speculatable }
-
-!llvm.dbg.cu = !{}
-!llvm.module.flags = !{!0}
-
-!0 = !{i32 2, !"Debug Info Version", i32 3}
-!1 = !DILabel(scope: !2, name: "W", file: !3, line: 47)
-!2 = distinct !DILexicalBlock(scope: !4, file: !3, line: 40, column: 3)
-!3 = !DIFile(filename: "foo.c", directory: "./")
-!4 = distinct !DISubprogram(name: "test_it", scope: !3, file: !3, line: 35, type: !5, scopeLine: 36, unit: !7)
-!5 = !DISubroutineType(types: !6)
-!6 = !{}
-!7 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)
-!8 = !DILocation(line: 47, column: 2, scope: !2)