diff options
Diffstat (limited to 'llvm/test/DebugInfo')
| -rw-r--r-- | llvm/test/DebugInfo/X86/branch-folder-dbg-after-end.mir | 108 | ||||
| -rw-r--r-- | llvm/test/DebugInfo/X86/stringpool.ll | 4 |
2 files changed, 112 insertions, 0 deletions
diff --git a/llvm/test/DebugInfo/X86/branch-folder-dbg-after-end.mir b/llvm/test/DebugInfo/X86/branch-folder-dbg-after-end.mir new file mode 100644 index 0000000..743851c --- /dev/null +++ b/llvm/test/DebugInfo/X86/branch-folder-dbg-after-end.mir @@ -0,0 +1,108 @@ +# RUN: llc %s --start-before=branch-folder --stop-after=branch-folder -o - \ +# RUN: | FileCheck %s --implicit-check-not=DBG_PHI + +## Common instructions are hoisted. Check that trailing debug instructions in +## the range are also hoisted, and don't cause a crash. +## +## Note the MIR doesn't match the IR as it's modified from: +## /home/och/dev/llvm-project/llvm/test/DebugInfo/X86/branch-folder-dbg.mir + +# CHECK: bb.0 +# CHECK: CALL64pcrel32 @f, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp, implicit-def $rax +## --- Start splice from bb.2.if.else (and debug instructions from bb.1.if.then) --- +# CHECK-NEXT: $edi = MOV32r0 implicit-def dead $eflags, debug-location !DILocation(line: 0, scope: ![[#]]) +# CHECK-NEXT: DBG_VALUE $noreg, $noreg, ![[#]], !DIExpression(), debug-location +# CHECK-NEXT: DBG_VALUE $noreg, $noreg, ![[#]], !DIExpression(), debug-location +## --- End splice ------------------------------------------------------------------ +# CHECK-NEXT: TEST64rr killed renamable $rax, renamable $rax, implicit-def $eflags +# CHECK-NEXT: JCC_1 %bb.2, 8, implicit $eflags +# CHECK: bb.1 + +--- | + target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128" + target triple = "x86_64-unknown-linux-gnu" + + declare dso_local noundef i64 @f() local_unnamed_addr + + define dso_local noundef i32 @g() local_unnamed_addr !dbg !7 { + %call = tail call noundef i64 @f() + %cmp1 = icmp sgt i64 0, %call + %conv2 = trunc i64 0 to i32 + br i1 %cmp1, label %if.then, label %if.else + + if.then: ; preds = %0 + tail call void @_Z3fooii(i32 noundef %conv2, i32 noundef 0), !dbg !14 + br label %if.end, !dbg !15 + + if.else: ; preds = %0 + tail call void @_Z3barii(i32 noundef %conv2, i32 noundef 1), !dbg !16 + br label %if.end, !dbg !17 + + if.end: ; preds = %if.else, %if.then + ret i32 2 + } + + declare void @_Z3fooii(i32 noundef, i32 noundef) local_unnamed_addr + + declare void @_Z3barii(i32 noundef, i32 noundef) local_unnamed_addr + + !llvm.module.flags = !{!0, !1} + !llvm.ident = !{!2} + !llvm.dbg.cu = !{!3} + !llvm.debugify = !{!5, !6} + + !0 = !{i32 7, !"Dwarf Version", i32 5} + !1 = !{i32 2, !"Debug Info Version", i32 3} + !2 = !{!"clang version 21.0.0"} + !3 = distinct !DICompileUnit(language: DW_LANG_C, file: !4, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug) + !4 = !DIFile(filename: "test.nodbg.ll", directory: "/") + !5 = !{i32 15} + !6 = !{i32 7} + !7 = distinct !DISubprogram(name: "g", linkageName: "g", scope: null, file: !4, line: 1, type: !8, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !3, retainedNodes: !10) + !8 = !DISubroutineType(types: !9) + !9 = !{} + !10 = !{!11} + !11 = !DILocalVariable(name: "1", scope: !7, file: !4, line: 3, type: !12) + !12 = !DIBasicType(name: "ty64", size: 64, encoding: DW_ATE_unsigned) + !13 = !DILocation(line: 3, column: 1, scope: !7) + !14 = !DILocation(line: 9, column: 1, scope: !7) + !15 = !DILocation(line: 10, column: 1, scope: !7) + !16 = !DILocation(line: 11, column: 1, scope: !7) + !17 = !DILocation(line: 12, column: 1, scope: !7) +... +--- +name: g +tracksRegLiveness: true +isSSA: false +body: | + bb.0 (%ir-block.0): + successors: %bb.1(0x40000000), %bb.2(0x40000000) + + frame-setup PUSH64r undef $rax, implicit-def $rsp, implicit $rsp + frame-setup CFI_INSTRUCTION def_cfa_offset 16 + CALL64pcrel32 @f, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp, implicit-def $rax + TEST64rr killed renamable $rax, renamable $rax, implicit-def $eflags + JCC_1 %bb.2, 9, implicit killed $eflags + JMP_1 %bb.1 + + bb.1.if.then: + successors: %bb.3(0x80000000) + + $edi = MOV32r0 implicit-def dead $eflags, debug-location !14 + DBG_VALUE $edi, $noreg, !11, !DIExpression(), debug-location !13 + + bb.3.if.end: + $eax = MOV32ri 2 + $rcx = frame-destroy POP64r implicit-def $rsp, implicit $rsp + frame-destroy CFI_INSTRUCTION def_cfa_offset 8 + RET 0, $eax + + bb.2.if.else: + successors: %bb.3(0x80000000) + + $edi = MOV32r0 implicit-def dead $eflags, debug-location !16 + DBG_VALUE $edi, $noreg, !11, !DIExpression(), debug-location !13 + CALL64pcrel32 target-flags(x86-plt) @_Z3barii, csr_64, implicit $rsp, implicit $ssp, implicit killed $edi, implicit killed $edi, implicit-def $rsp, implicit-def $ssp, debug-location !16 + JMP_1 %bb.3, debug-location !15 + +... diff --git a/llvm/test/DebugInfo/X86/stringpool.ll b/llvm/test/DebugInfo/X86/stringpool.ll index 219e672..1c3a57a 100644 --- a/llvm/test/DebugInfo/X86/stringpool.ll +++ b/llvm/test/DebugInfo/X86/stringpool.ll @@ -28,8 +28,12 @@ source_filename = "test/DebugInfo/X86/stringpool.ll" ; LINUX: .section .debug_str,"MS",@progbits,1 ; LINUX: yyyy +; DARWIN: .section __DWARF,__debug_abbrev,regular,debug +; DARWIN-NEXT: Lsection_abbrev: + ; Verify that we refer to 'yyyy' with a direct offset. ; DARWIN: .section __DWARF,__debug_info,regular,debug +; DARWIN: Lset1 = Lsection_abbrev-Lsection_abbrev ; DARWIN: DW_TAG_variable ; DARWIN: .long [[YYYY:[0-9]+]] ; DARWIN-NEXT: .long {{[0-9]+}} ## DW_AT_type |