mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
[DebugInfo] Add a test that fell out of an earlier commit
r362951 was supposed to contain this test, however it didn't get committed due to operator error. This was originally part of D59431. llvm-svn: 363161
This commit is contained in:
Jeremy Morse
parent
5173fc6da9
commit
39ea14b833
347
test/DebugInfo/X86/live-debug-values-constprop.mir
Normal file
347
test/DebugInfo/X86/live-debug-values-constprop.mir
Normal file
@ -0,0 +1,347 @@
|
||||
# RUN: llc %s -o - -run-pass=livedebugvalues -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=CHECK
|
||||
# RUN: llc %s -o - -start-before=livedebugvalues -filetype=obj -mtriple=x86_64-unknown-unknown | llvm-dwarfdump - | FileCheck %s --check-prefix=RANGES
|
||||
# Check that livedebugvalues does the right thing when register and constant
|
||||
# DBG_VALUEs interact, and that their ranges are correctly terminated by the
|
||||
# debug printing backend.
|
||||
--- |
|
||||
; All these IR functions are duds, see the MIR below.
|
||||
source_filename = "<stdin>"
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
define i32 @foo(i32* %bees, i32* %output) !dbg !4 {
|
||||
entry:
|
||||
br i1 undef, label %bb1, label %bb1
|
||||
bb1:
|
||||
br label %bb3
|
||||
bb2:
|
||||
br label %bb3
|
||||
bb3:
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
define i32 @bar(i32* %bees, i32* %output) !dbg !40 {
|
||||
entry:
|
||||
br i1 undef, label %bb1, label %bb1
|
||||
bb1:
|
||||
br label %bb3
|
||||
bb2:
|
||||
br label %bb3
|
||||
bb3:
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
define i32 @baz(i32* %bees, i32* %output) !dbg !80 {
|
||||
entry:
|
||||
br i1 undef, label %bb1, label %bb1
|
||||
bb1:
|
||||
br label %bb3
|
||||
bb2:
|
||||
br label %bb3
|
||||
bb3:
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
define i32 @qux(i32* %bees, i32* %output) !dbg !120 {
|
||||
entry:
|
||||
br i1 undef, label %bb1, label %bb1
|
||||
bb1:
|
||||
br label %bb3
|
||||
bb2:
|
||||
br label %bb3
|
||||
bb3:
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
; Function Attrs: nounwind readnone speculatable
|
||||
declare void @llvm.dbg.value(metadata, metadata, metadata)
|
||||
|
||||
; Function Attrs: nounwind readnone speculatable
|
||||
declare void @llvm.dbg.declare(metadata, metadata, metadata)
|
||||
|
||||
; Function Attrs: nounwind
|
||||
declare void @llvm.stackprotector(i8*, i8**)
|
||||
|
||||
!llvm.module.flags = !{!0, !100}
|
||||
!llvm.dbg.cu = !{!1}
|
||||
|
||||
!100 = !{i32 2, !"Dwarf Version", i32 4}
|
||||
!0 = !{i32 2, !"Debug Info Version", i32 3}
|
||||
!1 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !2, producer: "beards", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)
|
||||
!2 = !DIFile(filename: "bees.cpp", directory: ".")
|
||||
!3 = !DILocalVariable(name: "flannel", scope: !4, file: !2, line: 1, type: !16)
|
||||
!4 = distinct !DISubprogram(name: "nope", scope: !2, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1, retainedNodes: !13, type: !14, isDefinition: true)
|
||||
!5 = !DILocation(line: 0, scope: !4)
|
||||
!6 = !DILocation(line: 1, scope: !4)
|
||||
!7 = !DILocation(line: 2, scope: !4)
|
||||
!8 = !DILocation(line: 4, scope: !4)
|
||||
!9 = !DILocation(line: 5, scope: !4)
|
||||
!10 = !DILocation(line: 6, scope: !4)
|
||||
!11 = !DILocation(line: 7, scope: !4)
|
||||
!12 = !DILocation(line: 8, scope: !4)
|
||||
!13 = !{!3}
|
||||
!14 = !DISubroutineType(types: !15)
|
||||
!15 = !{!16}
|
||||
!16 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
|
||||
!40 = distinct !DISubprogram(name: "bar", scope: !2, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1, retainedNodes: !13, type: !14, isDefinition: true)
|
||||
!41 = !DILocalVariable(name: "towel", scope: !40, file: !2, line: 1, type: !16)
|
||||
!42 = !DILocation(line: 40, scope: !40)
|
||||
!80 = distinct !DISubprogram(name: "baz", scope: !2, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1, retainedNodes: !13, type: !14, isDefinition: true)
|
||||
!81 = !DILocalVariable(name: "socks", scope: !80, file: !2, line: 1, type: !16)
|
||||
!82 = !DILocation(line: 40, scope: !80)
|
||||
!120 = distinct !DISubprogram(name: "qux", scope: !2, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1, retainedNodes: !13, type: !14, isDefinition: true)
|
||||
!121 = !DILocalVariable(name: "shoes", scope: !120, file: !2, line: 1, type: !16)
|
||||
!122 = !DILocation(line: 40, scope: !120)
|
||||
|
||||
...
|
||||
---
|
||||
name: foo
|
||||
alignment: 4
|
||||
tracksRegLiveness: true
|
||||
registers: []
|
||||
liveins:
|
||||
- { reg: '$rdi', virtual-reg: '' }
|
||||
body: |
|
||||
|
||||
; Two DBG_VALUEs for eax merge into bb3, check that livedebugvalues propagates
|
||||
; the location.
|
||||
; CHECK-LABEL: name: foo
|
||||
; CHECK-LABEL: bb.1.bb1
|
||||
; CHECK: $eax = MOV32rr
|
||||
; CHECK-NEXT: DBG_VALUE $eax
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.2.bb2
|
||||
; CHECK: $eax = ADD32ri8
|
||||
; CHECK-NEXT: DBG_VALUE $eax
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.3.bb3
|
||||
; CHECK: DBG_VALUE $eax
|
||||
; Test for there being a location-list gap between bb1 and bb2, as the
|
||||
; variable does not have a location over the ADD32ri. The range should also
|
||||
; extend over the final bb.
|
||||
; RANGES-LABEL: DW_TAG_subprogram
|
||||
; RANGES: DW_AT_high_pc (0x[[NOPEHIGHPC:[0-9a-f]+]])
|
||||
; RANGES-LABEL: DW_AT_name ("nope")
|
||||
; RANGES: DW_AT_location (0x{{[0-9a-f]+}}
|
||||
; RANGES-NEXT: [0x{{[0-9a-f]+}}, 0x[[NOPEADDR:[0-9a-f]+]]): DW_OP_reg0 RAX
|
||||
; RANGES-NEXT: [
|
||||
; RANGES-NOT: 0x[[NOPEADDR]]
|
||||
; RANGES-SAME: , 0x[[NOPEHIGHPC]]): DW_OP_reg0 RAX
|
||||
|
||||
bb.0.entry:
|
||||
successors: %bb.1, %bb.2
|
||||
liveins: $rdi
|
||||
|
||||
$ecx = XOR32rr undef $ecx, undef $ecx, implicit-def $eflags
|
||||
JCC_1 %bb.1, 2, implicit killed $eflags
|
||||
JMP_1 %bb.2
|
||||
|
||||
bb.1.bb1 (align 4):
|
||||
successors: %bb.3
|
||||
liveins: $ecx, $rdi
|
||||
|
||||
$eax = MOV32rr killed $ecx, implicit-def $rax
|
||||
DBG_VALUE $eax, $noreg, !3, !DIExpression(), debug-location !8
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.2.bb2:
|
||||
successors: %bb.3
|
||||
liveins: $rax
|
||||
|
||||
$eax = ADD32ri8 $eax, 3, implicit-def dead $eflags, implicit killed $rax, implicit-def $rax
|
||||
DBG_VALUE $eax, $noreg, !3, !DIExpression(), debug-location !8
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.3.bb3:
|
||||
liveins: $rax
|
||||
RETQ $eax, debug-location !9
|
||||
|
||||
...
|
||||
---
|
||||
name: bar
|
||||
alignment: 4
|
||||
tracksRegLiveness: true
|
||||
registers: []
|
||||
liveins:
|
||||
- { reg: '$rdi', virtual-reg: '' }
|
||||
body: |
|
||||
; Two DBG_VALUEs, one for eax, the other for zero, merge into bb3. Check that
|
||||
; livedebugvalues does not propagate anything.
|
||||
; the location.
|
||||
; CHECK-LABEL: name: bar
|
||||
; CHECK-LABEL: bb.1.bb1
|
||||
; CHECK: $eax = MOV32rr
|
||||
; CHECK-NEXT: DBG_VALUE 0
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.2.bb2
|
||||
; CHECK: $eax = ADD32ri8
|
||||
; CHECK-NEXT: DBG_VALUE $eax
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.3.bb3
|
||||
; CHECK-NOT: DBG_VALUE
|
||||
; Test for there being a location-list gap between bb1 and bb2, the variable
|
||||
; should not have a location over the ADD32ri. The range of the last entry
|
||||
; should not cover the last block.
|
||||
; RANGES-LABEL: DW_TAG_subprogram
|
||||
; RANGES: DW_AT_high_pc (0x[[BARHIGHPC:[0-9a-f]+]])
|
||||
; RANGES-LABEL: DW_AT_name ("bar")
|
||||
; RANGES: DW_AT_location (0x{{[0-9a-f]+}}
|
||||
; RANGES-NEXT: [0x{{[0-9a-f]+}}, 0x[[BARADDR:[0-9a-f]+]]): DW_OP_consts +0, DW_OP_stack_value
|
||||
; RANGES-NEXT: [
|
||||
; RANGES-NOT: 0x[[BARADDR]]
|
||||
; RANGES-NOT: 0x[[BARHIGHPC]]
|
||||
; RANGES-SAME: ): DW_OP_reg0 RAX
|
||||
|
||||
bb.0.entry:
|
||||
successors: %bb.1, %bb.2
|
||||
liveins: $rdi
|
||||
|
||||
$ecx = XOR32rr undef $ecx, undef $ecx, implicit-def $eflags
|
||||
JCC_1 %bb.1, 2, implicit killed $eflags
|
||||
JMP_1 %bb.2
|
||||
|
||||
bb.1.bb1 (align 4):
|
||||
successors: %bb.3
|
||||
liveins: $ecx, $rdi
|
||||
|
||||
$eax = MOV32rr killed $ecx, implicit-def $rax
|
||||
DBG_VALUE 0, $noreg, !41, !DIExpression(), debug-location !42
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.2.bb2:
|
||||
successors: %bb.3
|
||||
liveins: $rax
|
||||
|
||||
$eax = ADD32ri8 $eax, 3, implicit-def dead $eflags, implicit killed $rax, implicit-def $rax
|
||||
DBG_VALUE $eax, $noreg, !41, !DIExpression(), debug-location !42
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.3.bb3:
|
||||
liveins: $rax
|
||||
RETQ $eax, debug-location !42
|
||||
|
||||
...
|
||||
---
|
||||
name: baz
|
||||
alignment: 4
|
||||
tracksRegLiveness: true
|
||||
registers: []
|
||||
liveins:
|
||||
- { reg: '$rdi', virtual-reg: '' }
|
||||
body: |
|
||||
; Two DBG_VALUEs, one for zero, the other for eax, merge into bb3. Check that
|
||||
; livedebugvalues does not propagate anything.
|
||||
; the location.
|
||||
; CHECK-LABEL: name: baz
|
||||
; CHECK-LABEL: bb.1.bb1
|
||||
; CHECK: $eax = MOV32rr
|
||||
; CHECK-NEXT: DBG_VALUE $eax
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.2.bb2
|
||||
; CHECK: $eax = ADD32ri8
|
||||
; CHECK-NEXT: DBG_VALUE 0
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.3.bb3
|
||||
; CHECK-NOT: DBG_VALUE
|
||||
; Test for there being a location-list gap between bb1 and bb2, the variable
|
||||
; should not have a location over the ADD32ri. The range of the last item
|
||||
; should not cover the last block.
|
||||
; RANGES-LABEL: DW_TAG_subprogram
|
||||
; RANGES: DW_AT_high_pc (0x[[BAZHIGHPC:[0-9a-f]+]])
|
||||
; RANGES-LABEL: DW_AT_name ("baz")
|
||||
; RANGES: DW_AT_location (0x{{[0-9a-f]+}}
|
||||
; RANGES-NEXT: [0x{{[0-9a-f]+}}, 0x[[BAZADDR:[0-9a-f]+]]): DW_OP_reg0 RAX
|
||||
; RANGES-NEXT: [
|
||||
; RANGES-NOT: 0x[[BAZADDR]]
|
||||
; RANGES-NOT: 0x[[BAZHIGHPC]]
|
||||
; RANGES-SAME: ): DW_OP_consts +0, DW_OP_stack_value
|
||||
|
||||
bb.0.entry:
|
||||
successors: %bb.1, %bb.2
|
||||
liveins: $rdi
|
||||
|
||||
$ecx = XOR32rr undef $ecx, undef $ecx, implicit-def $eflags
|
||||
JCC_1 %bb.1, 2, implicit killed $eflags
|
||||
JMP_1 %bb.2
|
||||
|
||||
bb.1.bb1 (align 4):
|
||||
successors: %bb.3
|
||||
liveins: $ecx, $rdi
|
||||
|
||||
$eax = MOV32rr killed $ecx, implicit-def $rax
|
||||
DBG_VALUE $eax, $noreg, !81, !DIExpression(), debug-location !82
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.2.bb2:
|
||||
successors: %bb.3
|
||||
liveins: $rax
|
||||
|
||||
$eax = ADD32ri8 $eax, 3, implicit-def dead $eflags, implicit killed $rax, implicit-def $rax
|
||||
DBG_VALUE 0, $noreg, !81, !DIExpression(), debug-location !82
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.3.bb3:
|
||||
liveins: $rax
|
||||
RETQ $eax, debug-location !82
|
||||
|
||||
...
|
||||
---
|
||||
name: qux
|
||||
alignment: 4
|
||||
tracksRegLiveness: true
|
||||
registers: []
|
||||
liveins:
|
||||
- { reg: '$rdi', virtual-reg: '' }
|
||||
body: |
|
||||
; Two DBG_VALUEs for zero merging into bb3, Check that livedebugvalues does
|
||||
; propagate the zero into the merging block.
|
||||
; CHECK-LABEL: name: qux
|
||||
; CHECK-LABEL: bb.1.bb1
|
||||
; CHECK: $eax = MOV32rr
|
||||
; CHECK-NEXT: DBG_VALUE 0
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.2.bb2
|
||||
; CHECK: $eax = ADD32ri8
|
||||
; CHECK-NEXT: DBG_VALUE 0
|
||||
; CHECK-NEXT: JMP_1 %bb.3
|
||||
; CHECK-LABEL: bb.3.bb3
|
||||
; CHECK: DBG_VALUE 0
|
||||
; Test for there being a location-list gap between bb1 and bb2, the variable
|
||||
; should not have a location over the ADD32ri. The final entry should cover
|
||||
; the final block.
|
||||
; RANGES-LABEL: DW_TAG_subprogram
|
||||
; RANGES: DW_AT_high_pc (0x[[QUXHIGHPC:[0-9a-f]+]])
|
||||
; RANGES-LABEL: DW_AT_name ("qux")
|
||||
; RANGES: DW_AT_location (0x{{[0-9a-f]+}}
|
||||
; RANGES-NEXT: [0x{{[0-9a-f]+}}, 0x[[QUXADDR:[0-9a-f]+]]): DW_OP_consts +0, DW_OP_stack_value
|
||||
; RANGES-NOT: 0x[[QUXADDR]]
|
||||
; RANGES-NEXT: [0x{{[0-9a-f]+}}, 0x[[QUXHIGHPC]]): DW_OP_consts +0, DW_OP_stack_value
|
||||
|
||||
bb.0.entry:
|
||||
successors: %bb.1, %bb.2
|
||||
liveins: $rdi
|
||||
|
||||
$ecx = XOR32rr undef $ecx, undef $ecx, implicit-def $eflags
|
||||
JCC_1 %bb.1, 2, implicit killed $eflags
|
||||
JMP_1 %bb.2
|
||||
|
||||
bb.1.bb1 (align 4):
|
||||
successors: %bb.3
|
||||
liveins: $ecx, $rdi
|
||||
|
||||
$eax = MOV32rr killed $ecx, implicit-def $rax
|
||||
DBG_VALUE 0, $noreg, !121, !DIExpression(), debug-location !122
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.2.bb2:
|
||||
successors: %bb.3
|
||||
liveins: $rax
|
||||
|
||||
$eax = ADD32ri8 $eax, 3, implicit-def dead $eflags, implicit killed $rax, implicit-def $rax
|
||||
DBG_VALUE 0, $noreg, !121, !DIExpression(), debug-location !122
|
||||
JMP_1 %bb.3
|
||||
|
||||
bb.3.bb3:
|
||||
liveins: $rax
|
||||
RETQ $eax, debug-location !122
|
||||
|
||||
...
|
||||
Loading…
x
Reference in New Issue
Block a user