test/DebugInfo/AArch64/compiler-gen-bbs-livedebugvalues.mir

   1 # RUN: llc -o - %s -O0 -regalloc=fast -run-pass=livedebugvalues | \
   2 # RUN:   FileCheck %s -implicit-check-not=DBG_VALUE
   3 --- |
   4   target triple = "arm64-apple-ios12.1.0"
   5
   6   declare void @use(i32)
   7
   8   define void @f1(i32 %x) !dbg !6 {
   9   entry:
  10     %var = add i32 %x, 1, !dbg !12
  11     call void @llvm.dbg.value(metadata i32 %var, metadata !9, metadata !DIExpression()), !dbg !12
  12     br label %artificial-bb-1, !dbg !13
  13
  14   artificial-bb-1:
  15     br label %artificial-bb-2
  16
  17   artificial-bb-2:
  18     %invisible = add i32 %var, 1
  19     br label %return, !dbg !14
  20
  21   return:
  22     call void @use(i32 %var)
  23     ret void, !dbg !15
  24   }
  25
  26   declare void @llvm.dbg.value(metadata, metadata, metadata) #0
  27   declare void @llvm.stackprotector(i8*, i8**) #1
  28
  29   attributes #0 = { nounwind readnone speculatable }
  30   attributes #1 = { nounwind }
  31
  32   !llvm.dbg.cu = !{!0}
  33   !llvm.debugify = !{!3, !4}
  34   !llvm.module.flags = !{!5}
  35
  36   !0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
  37   !1 = !DIFile(filename: "compiler-gen-bbs-livedebugvalues.ll", directory: "/")
  38   !2 = !{}
  39   !3 = !{i32 6}
  40   !4 = !{i32 2}
  41   !5 = !{i32 2, !"Debug Info Version", i32 3}
  42   !6 = distinct !DISubprogram(name: "f1", linkageName: "f1", scope: null, file: !1, line: 1, type: !7, isLocal: false, isDefinition: true, scopeLine: 1, isOptimized: true, unit: !0, retainedNodes: !8)
  43   !7 = !DISubroutineType(types: !2)
  44   !8 = !{!9, !11}
  45   !9 = !DILocalVariable(name: "1", scope: !6, file: !1, line: 1, type: !10)
  46   !10 = !DIBasicType(name: "ty32", size: 32, encoding: DW_ATE_unsigned)
  47   !11 = !DILocalVariable(name: "2", scope: !6, file: !1, line: 4, type: !10)
  48   !12 = !DILocation(line: 1, column: 1, scope: !6)
  49   !13 = !DILocation(line: 2, column: 1, scope: !6)
  50   !14 = !DILocation(line: 0, column: 1, scope: !6)
  51   !15 = !DILocation(line: 4, column: 1, scope: !6)
  52
  53 ...
  54 ---
  55 # CHECK-LABEL: name: f1
  56 name:            f1
  57 alignment:       4
  58 legalized:       true
  59 regBankSelected: true
  60 selected:        true
  61 tracksRegLiveness: true
  62 frameInfo:
  63   stackSize:       32
  64   maxAlignment:    8
  65   adjustsStack:    true
  66   hasCalls:        true
  67   maxCallFrameSize: 0
  68 stack:
  69   - { id: 0, type: spill-slot, offset: -20, size: 4, alignment: 4, stack-id: default }
  70   - { id: 1, type: spill-slot, offset: -8, size: 8, alignment: 8, stack-id: default,
  71       callee-saved-register: '$lr' }
  72   - { id: 2, type: spill-slot, offset: -16, size: 8, alignment: 8, stack-id: default,
  73       callee-saved-register: '$fp' }
  74 body:             |
  75   ; CHECK-LABEL: bb.0.entry:
  76   bb.0.entry:
  77     liveins: $w0, $lr
  78
  79     $sp = frame-setup SUBXri $sp, 32, 0
  80     frame-setup STPXi killed $fp, killed $lr, $sp, 2 :: (store 8 into %stack.2), (store 8 into %stack.1)
  81     frame-setup CFI_INSTRUCTION def_cfa_offset 32
  82     frame-setup CFI_INSTRUCTION offset $w30, -8, debug-location !12
  83     frame-setup CFI_INSTRUCTION offset $w29, -16, debug-location !12
  84     renamable $w0 = ADDWri killed renamable $w0, 1, 0, debug-location !12
  85     DBG_VALUE renamable $w0, $noreg, !9, !DIExpression(), debug-location !12
  86     STRWui killed $w0, $sp, 3 :: (store 4 into %stack.0)
  87     DBG_VALUE $sp, 0, !9, !DIExpression(DW_OP_plus_uconst, 12), debug-location !12
  88
  89     ; CHECK: DBG_VALUE renamable $w0, $noreg, !9, !DIExpression(), debug-location !12
  90     ; CHECK-NEXT: STRWui killed $w0, $sp, 3 :: (store 4 into %stack.0)
  91     ; CHECK-NEXT: DBG_VALUE $sp, 0, !9, !DIExpression(DW_OP_plus_uconst, 12)
  92     ; CHECK-NEXT: DBG_VALUE $sp, 0, !9, !DIExpression(DW_OP_plus_uconst, 12)
  93
  94   bb.1.artificial-bb-1:
  95     ; CHECK-LABEL: bb.1.artificial-bb-1:
  96     ; CHECK: DBG_VALUE $sp, 0, !9, !DIExpression(DW_OP_plus_uconst, 12)
  97
  98   bb.2.artificial-bb-2:
  99     ; CHECK-LABEL: bb.2.artificial-bb-2:
 100     ; CHECK: DBG_VALUE $sp, 0, !9, !DIExpression(DW_OP_plus_uconst, 12)
 101
 102   bb.3.return:
 103     ; CHECK-LABEL: bb.3.return:
 104     ; CHECK: DBG_VALUE $sp, 0, !9, !DIExpression(DW_OP_plus_uconst, 12)
 105
 106     $w0 = LDRWui $sp, 3 :: (load 4 from %stack.0)
 107     BL @use, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit killed $w0
 108     $fp, $lr = frame-destroy LDPXi $sp, 2, debug-location !15 :: (load 8 from %stack.2), (load 8 from %stack.1)
 109     $sp = frame-destroy ADDXri $sp, 32, 0, debug-location !15
 110     RET undef $lr, debug-location !15
 111 ...