c1734763ce
Backends like NVPTX use -1 to indicate `true` and 0 to indicate `false` for boolean values. Machine instruction `#DBG_VALUE` also uses -1 to indicate a `true` boolean constant. However, during the DWARF generation, booleans are treated as unsigned variables, and the debug_loc expression, like `DW_OP_lit0; DW_OP_not` is emitted for the `true` value. This leads to the debugger printing `255` instead of `true` for constant boolean variables. This change emits `DW_OP_lit1` instead of `DW_OP_lit0; DW_OP_not`.
39 lines
1.5 KiB
LLVM
39 lines
1.5 KiB
LLVM
; REQUIRES: object-emission
|
|
; RUN: %llc_dwarf %s -filetype=obj -o - | llvm-dwarfdump - | FileCheck %s
|
|
|
|
; CHECK: {{.*}} DW_TAG_variable
|
|
; CHECK-NEXT: {{.*}} DW_AT_location
|
|
; CHECK-NEXT: {{.*}} DW_OP_lit0
|
|
; CHECK-NEXT: {{.*}} DW_OP_lit1
|
|
; CHECK-NOT: {{.*}} DW_OP_lit0, DW_OP_not
|
|
; CHECK: {{.*}} DW_AT_name ("arg")
|
|
|
|
define void @foo() !dbg !5
|
|
{
|
|
entry:
|
|
%arg = alloca i1
|
|
store i1 false, i1* %arg
|
|
call void @"llvm.dbg.value"(metadata i1 false , metadata !9, metadata !10), !dbg !6
|
|
store i1 true, i1* %arg
|
|
call void @"llvm.dbg.value"(metadata i1 true , metadata !9, metadata !10), !dbg !7
|
|
ret void, !dbg !8
|
|
}
|
|
|
|
declare void @"llvm.dbg.value"(metadata %".1", metadata %".2", metadata %".3")
|
|
|
|
!llvm.dbg.cu = !{ !2 }
|
|
!llvm.module.flags = !{ !11, !12 }
|
|
|
|
!1 = !DIFile(directory: "", filename: "test")
|
|
!2 = distinct !DICompileUnit(emissionKind: FullDebug, file: !1, isOptimized: false, language: DW_LANG_C_plus_plus, runtimeVersion: 0)
|
|
!3 = !DIBasicType(encoding: DW_ATE_boolean, name: "bool", size: 8)
|
|
!4 = !DISubroutineType(types: !{null})
|
|
!5 = distinct !DISubprogram(file: !1, isDefinition: true, isLocal: false, isOptimized: false, line: 5, linkageName: "foo", name: "foo", scope: !1, scopeLine: 5, type: !4, unit: !2)
|
|
!6 = !DILocation(column: 1, line: 5, scope: !5)
|
|
!7 = !DILocation(column: 1, line: 7, scope: !5)
|
|
!8 = !DILocation(column: 1, line: 8, scope: !5)
|
|
!9 = !DILocalVariable(arg: 0, file: !1, line: 5, name: "arg", scope: !5, type: !3)
|
|
!10 = !DIExpression()
|
|
!11 = !{ i32 2, !"Dwarf Version", i32 4 }
|
|
!12 = !{ i32 2, !"Debug Info Version", i32 3 }
|