diff options
22 files changed, 0 insertions, 1546 deletions
diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond.mir deleted file mode 100644 index 076e49222d2..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond.mir +++ /dev/null @@ -1,67 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propogated through a CFG containing - ; a diamond that doesn't move or clobber their locations. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1, %bb.2 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.1.bb1: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - JMP_1 %bb.3 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_clobber.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_clobber.mir deleted file mode 100644 index 74f6c445c7c..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_clobber.mir +++ /dev/null @@ -1,67 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are only propogated into the top blocks of - ; a diamond when the location is clobbered and not into the successor block. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-NEXT: $ebx = MOV32ri 0, debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-NEXT: $ebx = MOV32ri 0, debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1, %bb.2 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.1.bb1: - successors: %bb.3 - $ebx = MOV32ri 0, debug-location !17 - JMP_1 %bb.3 - bb.2.bb2: - successors: %bb.3 - $ebx = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_move.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_move.mir deleted file mode 100644 index 13329b22024..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_move.mir +++ /dev/null @@ -1,73 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propogated correctly through a - ; diamond CFG when the location is moved by another instruction. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-NEXT: $eax = MOV32ri 0, debug-location !17 - ; CHECK-NEXT: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-NEXT: $eax = MOV32ri 0, debug-location !17 - ; CHECK-NEXT: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1, %bb.2 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.1.bb1: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - JMP_1 %bb.3 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_clobber.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_clobber.mir deleted file mode 100644 index 26d7bc664f2..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_clobber.mir +++ /dev/null @@ -1,65 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into a successor block - ; of a diamond CFG that clobbers its location. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1, %bb.2 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.1.bb1: - successors: %bb.3 - $ebx = MOV32ri 0, debug-location !17 - JMP_1 %bb.3 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_move.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_move.mir deleted file mode 100644 index 5ffdf16e0d8..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_move.mir +++ /dev/null @@ -1,68 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into a successor block - ; of a diamond CFG that moves its location. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-NEXT: $eax = MOV32ri 0, debug-location !17 - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1, %bb.2 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.1.bb1: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - JMP_1 %bb.3 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_loop.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_loop.mir deleted file mode 100644 index 0b641087762..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_loop.mir +++ /dev/null @@ -1,66 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propagated throughout a CFG with a - ; loop that doesn't move or clobber its location. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.1, %bb.3 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb.mir deleted file mode 100644 index 2561e73dfb4..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb.mir +++ /dev/null @@ -1,65 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propagated throughout a basic - ; sequential CFG. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_clobbered.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_clobbered.mir deleted file mode 100644 index d9abd8a3d6e..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_clobbered.mir +++ /dev/null @@ -1,61 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propagated into basic blocks with no - ; control flow when it's location is clobbered. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $ebx = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_move_to_clobber.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_move_to_clobber.mir deleted file mode 100644 index 0c0407d8d55..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_move_to_clobber.mir +++ /dev/null @@ -1,68 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are correctly propagated into blocks with - ; no control flow when a location is moved and then clobbered. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-NEXT: $eax = MOV32ri 0, debug-location !17 - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - $ebx = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break.mir deleted file mode 100644 index 53f24136349..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break.mir +++ /dev/null @@ -1,74 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are correctly propagated into a loop with - ; break. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.4.bb4: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb4, !dbg !17 - bb4: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.3, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.4, 4, implicit killed $eflags - bb.3.bb3: - successors: %bb.1, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.4.bb4: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break_clobbered.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break_clobbered.mir deleted file mode 100644 index 11c999456da..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break_clobbered.mir +++ /dev/null @@ -1,66 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are correctly propagated when dealing - ; with a loop that clobbers its location and has two exit points (a break). - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb4, !dbg !17 - bb4: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.3, %bb.4 - $ebx = MOV32ri 0, debug-location !17 - JCC_1 %bb.4, 4, implicit killed $eflags - bb.3.bb3: - successors: %bb.1, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.4.bb4: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_clobbered.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_clobbered.mir deleted file mode 100644 index 4c06cbcf06c..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_clobbered.mir +++ /dev/null @@ -1,63 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into a loop that - ; clobbers it's location. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\test") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - - bb.2.bb2: - successors: %bb.1, %bb.3 - $ebx = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond.mir deleted file mode 100644 index 5ca60339c63..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond.mir +++ /dev/null @@ -1,82 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propagated into a loop with - ; diamond pattern and beyond. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.4.bb4: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.5.bb5: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.3 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.3, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.4 - $eax = MOV32ri 0, debug-location !17 - JMP_1 %bb.4 - bb.3.bb3: - successors: %bb.4 - $eax = MOV32ri 0, debug-location !17 - bb.4.bb4: - successors: %bb.1, %bb.5 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_clobber.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_clobber.mir deleted file mode 100644 index 8a42960e968..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_clobber.mir +++ /dev/null @@ -1,73 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into a loop with - ; diamond pattern that clobbers it's location. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.3 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.3, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.4 - $eax = MOV32ri 0, debug-location !17 - JMP_1 %bb.4 - bb.3.bb3: - successors: %bb.4 - $ebx = MOV32ri 0, debug-location !17 - bb.4.bb4: - successors: %bb.1, %bb.5 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_move.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_move.mir deleted file mode 100644 index 2b196a6e296..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_move.mir +++ /dev/null @@ -1,83 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propagated into a loop with - ; diamond pattern but not beyond. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.4.bb4: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.5.bb5: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.3 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.3, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.4 - $ebx = MOV32ri 0, debug-location !17 - JMP_1 %bb.4 - bb.3.bb3: - successors: %bb.4 - $ebx = MOV32ri 0, debug-location !17 - bb.4.bb4: - successors: %bb.1, %bb.5 - $ebx = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_early_clobber.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_early_clobber.mir deleted file mode 100644 index 7bee8b3b029..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_early_clobber.mir +++ /dev/null @@ -1,60 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into a loop that - ; clobbers it's location. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $ebx = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.1, %bb.3 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.3.bb3: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge.mir deleted file mode 100644 index f37b5083a31..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge.mir +++ /dev/null @@ -1,74 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are prapogated into a loop that has two - ; backedges and beyond. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.4.bb4: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb4, !dbg !17 - bb4: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.1, %bb.3 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.3.bb3: - successors: %bb.1, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.4.bb4: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge_clobbered.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge_clobbered.mir deleted file mode 100644 index 443c640e94d..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge_clobbered.mir +++ /dev/null @@ -1,66 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into loops that clobber - ; their locations and have two backedges. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb4, !dbg !17 - bb4: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2 - $eax = MOV32ri 0, debug-location !17 - bb.2.bb2: - successors: %bb.1, %bb.3 - $ebx = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.3.bb3: - successors: %bb.1, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.4.bb4: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop.mir deleted file mode 100644 index 07429688b07..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop.mir +++ /dev/null @@ -1,81 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are propagated into loops within loops. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.1.bb1: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.2.bb2: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.4.bb4: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.5.bb5: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.4, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.4.bb4: - successors: %bb.1, %bb.5 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_clobbered.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_clobbered.mir deleted file mode 100644 index 20b48ada7d3..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_clobbered.mir +++ /dev/null @@ -1,72 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into loops with inner - ; loops that clobber their locations. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.4, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - successors: %bb.2, %bb.4 - $ebx = MOV32ri 0, debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.4.bb4: - successors: %bb.1, %bb.5 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_moved.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_moved.mir deleted file mode 100644 index da25d48b18c..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_moved.mir +++ /dev/null @@ -1,75 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propagated into loops with inner - ; loops that move their locations. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.3.bb3: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.4, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.4.bb4: - successors: %bb.1, %bb.5 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... diff --git a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_outer_moved.mir b/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_outer_moved.mir deleted file mode 100644 index 3afd49c0d3f..00000000000 --- a/llvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_outer_moved.mir +++ /dev/null @@ -1,77 +0,0 @@ ---- | - ; RUN: llc %s -run-pass=livedebugvalues -o - | FileCheck %s -implicit-check-not=DBG_VALUE - - ; Check that DBG_VALUE instructions are not propogated into loops with inner - ; loops that move their locations. - - ; CHECK-LABEL: bb.0.entry: - ; CHECK: DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.4.bb4: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - ; CHECK-LABEL: bb.5.bb5: - ; CHECK: DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - - define i32 @_Z8bb_to_bb() local_unnamed_addr !dbg !12 { - entry: - br label %bb1, !dbg !17 - bb1: - br label %bb2, !dbg !17 - bb2: - br label %bb3, !dbg !17 - bb3: - br label %bb3, !dbg !17 - bb4: - br label %bb3, !dbg !17 - bb5: - ret i32 0, !dbg !17 - } - - !llvm.dbg.cu = !{!0} - !llvm.module.flags = !{!7, !8, !9, !10} - !llvm.ident = !{!11} - !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, debugInfoForProfiling: true, nameTableKind: None) - !1 = !DIFile(filename: "main.cpp", directory: "F:\") - !2 = !{} - !3 = !{!4} - !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) - !5 = distinct !DIGlobalVariable(name: "start", scope: !0, file: !1, line: 4, type: !6, isLocal: false, isDefinition: true) - !6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) - !7 = !{i32 2, !"Dwarf Version", i32 4} - !8 = !{i32 2, !"Debug Info Version", i32 3} - !9 = !{i32 1, !"wchar_size", i32 2} - !10 = !{i32 7, !"PIC Level", i32 2} - !11 = !{!"clang version 10.0.0"} - !12 = distinct !DISubprogram(name: "bb_to_bb", linkageName: "bb_to_bb", scope: !1, file: !1, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !15) - !13 = !DISubroutineType(types: !14) - !14 = !{!6, !6} - !15 = !{!16} - !16 = !DILocalVariable(name: "myVar", scope: !12, file: !1, line: 7, type: !6) - !17 = !DILocation(line: 10, scope: !12) - -... ---- -name: _Z8bb_to_bb -body: | - bb.0.entry: - successors: %bb.1 - $ebx = MOV32ri 0, debug-location !17 - DBG_VALUE $ebx, $noreg, !16, !DIExpression(), debug-location !17 - bb.1.bb1: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.4, 4, implicit killed $eflags - bb.2.bb2: - successors: %bb.3 - $eax = MOV32ri 0, debug-location !17 - bb.3.bb3: - successors: %bb.2, %bb.4 - $eax = MOV32ri 0, debug-location !17 - JCC_1 %bb.2, 4, implicit killed $eflags - bb.4.bb4: - successors: %bb.1, %bb.5 - $eax = MOV32ri 0, debug-location !17 - DBG_VALUE $eax, $noreg, !16, !DIExpression(), debug-location !17 - JCC_1 %bb.1, 4, implicit killed $eflags - bb.5.bb5: - RETQ $eax, debug-location !17 -... |
