llvm/test/CodeGen/MIR/X86/tail-merging-preserve-debugloc.mir

# RUN: llc -o - %s -mtriple=x86_64-unknown-linux-gnu --run-pass=branch-folder -enable-tail-merge | FileCheck %s
#
# Generated with
#
# bin/llc -stop-before=branch-folder test.ll
# 
# 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-grtev4-linux-gnu"
#
# define i32 @main(i1 %0) {
# entry:
#   br i1 %0, label %1, label %2
#
# 1:                                                ; preds = %entry
#   store i64 1, ptr null, align 1
#   br label %3, !dbg !3
#
# 2:                                                ; preds = %entry
#   store i64 0, ptr null, align 1
#   br label %3
#
# 3:                                                ; preds = %2, %1
#   ret i32 0
# }
#
# !llvm.dbg.cu = !{!0}
# !llvm.module.flags = !{!2}
# 
# !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, nameTableKind: None)
# !1 = !DIFile(filename: "foo.c", directory: "/tmp", checksumkind: CSK_MD5, checksum: "2d07c91bb9d9c2fa4eee31a1aeed20e3")
# !2 = !{i32 2, !"Debug Info Version", i32 3}
# !3 = !DILocation(line: 17, column: 3, scope: !4)
# !4 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 6, type: !5, scopeLine: 6, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
# !5 = !DISubroutineType(types: !6)
# !6 = !{}
--- |
  
  ; ModuleID = '../llvm/test/CodeGen/X86/tail-merging-preserve-debugloc.ll'
  source_filename = "../llvm/test/CodeGen/X86/tail-merging-preserve-debugloc.ll"
  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-grtev4-linux-gnu"

  define i32 @main(i1 %0) {
  entry:
    br i1 %0, label %1, label %2

  1:                                                ; preds = %entry
    store i64 1, ptr null, align 1
    br label %3, !dbg !3

  2:                                                ; preds = %entry
    store i64 0, ptr null, align 1
    br label %3

  3:                                                ; preds = %2, %1
    ret i32 0
  }

  !llvm.dbg.cu = !{!0}
  !llvm.module.flags = !{!2}

  !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, nameTableKind: None)
  !1 = !DIFile(filename: "foo.c", directory: "/tmp", checksumkind: CSK_MD5, checksum: "2d07c91bb9d9c2fa4eee31a1aeed20e3")
  !2 = !{i32 2, !"Debug Info Version", i32 3}
  !3 = !DILocation(line: 17, column: 3, scope: !4)
  !4 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 6, type: !5, scopeLine: 6, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
  !5 = !DISubroutineType(types: !6)
  !6 = !{}

...
---
name:            main
body:             |
  bb.0.entry:
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    liveins: $edi

    TEST8ri renamable $dil, 1, implicit-def $eflags, implicit killed $edi
    JCC_1 %bb.2, 4, implicit killed $eflags
    JMP_1 %bb.1

  bb.1 (%ir-block.1):
    successors: %bb.3(0x80000000)

    MOV64mi32 $noreg, 1, $noreg, 0, $noreg, 1 :: (store (s64) into `ptr null`, align 1)
    JMP_1 %bb.3, debug-location !3

  bb.2 (%ir-block.2):
    successors: %bb.3(0x80000000)

    MOV64mi32 $noreg, 1, $noreg, 0, $noreg, 0 :: (store (s64) into `ptr null`, align 1)

  bb.3 (%ir-block.3):
    $eax = MOV32r0 implicit-def dead $eflags
    RET 0, killed $eax

...
# CHECK: [[DEBUGNUM:!.*]] = !DILocation(line: 17, column: 3,
# CHECK: JMP_1 %bb.3, debug-location [[DEBUGNUM]]