| ; RUN: llc -mtriple=x86_64-unknown-unknown -o - %s | FileCheck %s |
| ; RUN: llc -mtriple=x86_64-unknown-unknown -filetype=obj < %s \ |
| ; RUN: | llvm-dwarfdump - | FileCheck %s --check-prefix=DWARF |
| |
| define i1 @test() !dbg !4 { |
| entry: |
| %end = alloca i64, align 8 |
| br label %while.cond |
| |
| while.cond: |
| call void @llvm.dbg.value(metadata ptr %end, metadata !5, metadata !6), !dbg !7 |
| %call = call i1 @fn(ptr %end, ptr %end, ptr null, ptr null, i64 0, ptr null, ptr null, ptr null), !dbg !7 |
| br label %while.body |
| |
| while.body: |
| br i1 0, label %while.end, label %while.cond |
| |
| while.end: |
| ret i1 true |
| } |
| |
| ; CHECK-LABEL: test |
| ; To get the value of the variable, we need to do [$rsp+8], i.e: |
| ; CHECK: #DEBUG_VALUE: test:w <- [DW_OP_plus_uconst 8, DW_OP_deref] $rsp |
| ; DWARF: DW_AT_location ( |
| ; DWARF-NEXT: [{{.*}}, {{.*}}): DW_OP_breg7 RSP+8) |
| |
| ; Note: A previous version of this test checked for `[DW_OP_plus_uconst 8] [$rsp+0]`, |
| ; which is incorrect, because it adds the stack offset after dereferencing the stack pointer. |
| |
| declare i1 @fn(ptr, ptr, ptr, ptr, i64, ptr, ptr, ptr) |
| declare void @llvm.dbg.value(metadata, metadata, metadata) |
| |
| !llvm.dbg.cu = !{!0} |
| !llvm.module.flags = !{!2,!3} |
| |
| !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 4.0.0", emissionKind: FullDebug) |
| !1 = !DIFile(filename: "test.c", directory: "/") |
| !2 = !{i32 2, !"Dwarf Version", i32 4} |
| !3 = !{i32 2, !"Debug Info Version", i32 3} |
| !4 = distinct !DISubprogram(name: "test", type: !10, unit: !0) |
| !5 = !DILocalVariable(name: "w", scope: !4, type: !9) |
| !6 = !DIExpression(DW_OP_deref) |
| !7 = !DILocation(line: 210, column: 12, scope: !4) |
| !8 = !{!9} |
| !9 = !DIBasicType(name: "bool", size: 8, encoding: DW_ATE_boolean) |
| !10 = !DISubroutineType(types: !8) |