llvm/test/CodeGen/AArch64/sink-and-fold-dbg-value-crash.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 3
   2 # RUN: llc --aarch64-enable-sink-fold=true --run-pass=machine-sink %s -o - | FileCheck %s
   3 --- |
   4   source_filename = "x.ll"
   5   target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   6   target triple = "aarch64-linux"
   7
   8   %S = type <{ ptr, %T, i64, i64, i32, [4 x i8] }>
   9   %T = type { ptr, ptr, ptr, ptr, i64 }
  10
  11   define void @f(ptr %p, i1 %c0, i1 %c1) {
  12   entry:
  13     %a = getelementptr %S, ptr %p, i64 0, i32 1
  14     call void @llvm.dbg.value(metadata ptr %a, metadata !4, metadata !DIExpression()), !dbg !10
  15     br i1 %c0, label %if.then, label %if.end
  16
  17   if.then:                                          ; preds = %entry
  18     %v0 = tail call ptr @g(ptr %a)
  19     br i1 %c1, label %exit, label %if.end
  20
  21   if.end:                                           ; preds = %if.then, %entry
  22     %v1 = load i64, ptr %a, align 8
  23     br label %exit
  24
  25   exit:                                             ; preds = %if.end, %if.then
  26     ret void
  27   }
  28
  29   define ptr @g(ptr) {
  30   entry:
  31     br label %if.then
  32   if.then:
  33     br label %if.end
  34   if.end:
  35     br label %exit
  36   exit:
  37     ret ptr null
  38   }
  39
  40   declare void @llvm.dbg.value(metadata, metadata, metadata) #0
  41
  42   attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
  43
  44   !llvm.dbg.cu = !{!0}
  45   !llvm.module.flags = !{!2, !3}
  46
  47   !0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang ", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
  48   !1 = !DIFile(filename: "f.c", directory: "/usr/rms")
  49   !2 = !{i32 7, !"Dwarf Version", i32 4}
  50   !3 = !{i32 2, !"Debug Info Version", i32 3}
  51   !4 = !DILocalVariable(name: "x", arg: 1, scope: !5, file: !1, line: 2, type: !8)
  52   !5 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 2, type: !6, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !9)
  53   !6 = !DISubroutineType(types: !7)
  54   !7 = !{!8, !8}
  55   !8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
  56   !9 = !{}
  57   !10 = !DILocation(line: 2, column: 11, scope: !5)
  58
  59 ...
  60 ---
  61 name:            f
  62 alignment:       4
  63 exposesReturnsTwice: false
  64 legalized:       false
  65 regBankSelected: false
  66 selected:        false
  67 failedISel:      false
  68 tracksRegLiveness: true
  69 hasWinCFI:       false
  70 callsEHReturn:   false
  71 callsUnwindInit: false
  72 hasEHCatchret:   false
  73 hasEHScopes:     false
  74 hasEHFunclets:   false
  75 isOutlined:      false
  76 debugInstrRef:   false
  77 failsVerification: false
  78 tracksDebugUserValues: false
  79 registers:
  80   - { id: 0, class: gpr64all, preferred-register: '' }
  81   - { id: 1, class: gpr64common, preferred-register: '' }
  82   - { id: 2, class: gpr32, preferred-register: '' }
  83   - { id: 3, class: gpr32, preferred-register: '' }
  84   - { id: 4, class: gpr32, preferred-register: '' }
  85   - { id: 5, class: gpr64sp, preferred-register: '' }
  86   - { id: 6, class: gpr64all, preferred-register: '' }
  87 liveins:
  88   - { reg: '$x0', virtual-reg: '%1' }
  89   - { reg: '$w1', virtual-reg: '%2' }
  90   - { reg: '$w2', virtual-reg: '%3' }
  91 frameInfo:
  92   isFrameAddressTaken: false
  93   isReturnAddressTaken: false
  94   hasStackMap:     false
  95   hasPatchPoint:   false
  96   stackSize:       0
  97   offsetAdjustment: 0
  98   maxAlignment:    1
  99   adjustsStack:    true
 100   hasCalls:        true
 101   stackProtector:  ''
 102   functionContext: ''
 103   maxCallFrameSize: 0
 104   cvBytesOfCalleeSavedRegisters: 0
 105   hasOpaqueSPAdjustment: false
 106   hasVAStart:      false
 107   hasMustTailInVarArgFunc: false
 108   hasTailCall:     false
 109   localFrameSize:  0
 110   savePoint:       ''
 111   restorePoint:    ''
 112 fixedStack:      []
 113 stack:           []
 114 entry_values:    []
 115 callSites:       []
 116 debugValueSubstitutions: []
 117 constants:       []
 118 machineFunctionInfo: {}
 119 body:             |
 120   ; CHECK-LABEL: name: f
 121   ; CHECK: bb.0.entry:
 122   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 123   ; CHECK-NEXT:   liveins: $x0, $w1, $w2
 124   ; CHECK-NEXT: {{  $}}
 125   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32 = COPY $w2
 126   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 127   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x0
 128   ; CHECK-NEXT:   DBG_VALUE $noreg, $noreg, !4, !DIExpression(), debug-location !10
 129   ; CHECK-NEXT:   TBZW [[COPY1]], 0, %bb.2
 130   ; CHECK-NEXT:   B %bb.1
 131   ; CHECK-NEXT: {{  $}}
 132   ; CHECK-NEXT: bb.1.if.then:
 133   ; CHECK-NEXT:   successors: %bb.3(0x40000000), %bb.2(0x40000000)
 134   ; CHECK-NEXT: {{  $}}
 135   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32 = COPY [[COPY]]
 136   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 137   ; CHECK-NEXT:   $x0 = ADDXri [[COPY2]], 8, 0
 138   ; CHECK-NEXT:   DBG_VALUE $x0, $noreg, !4, !DIExpression(), debug-location !10
 139   ; CHECK-NEXT:   BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
 140   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 141   ; CHECK-NEXT:   TBNZW [[COPY3]], 0, %bb.3
 142   ; CHECK-NEXT:   B %bb.2
 143   ; CHECK-NEXT: {{  $}}
 144   ; CHECK-NEXT: bb.2.if.end:
 145   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 146   ; CHECK-NEXT: {{  $}}
 147   ; CHECK-NEXT: {{  $}}
 148   ; CHECK-NEXT: bb.3.exit:
 149   ; CHECK-NEXT:   RET_ReallyLR
 150   bb.0.entry:
 151     successors: %bb.1(0x40000000), %bb.2(0x40000000)
 152     liveins: $x0, $w1, $w2
 153
 154     %3:gpr32 = COPY $w2
 155     %2:gpr32 = COPY $w1
 156     %1:gpr64common = COPY $x0
 157     %4:gpr32 = COPY %3
 158     %5:gpr64sp = ADDXri %1, 8, 0
 159     DBG_VALUE %5, $noreg, !4, !DIExpression(), debug-location !10
 160     %0:gpr64all = COPY %5
 161     TBZW %2, 0, %bb.2
 162     B %bb.1
 163
 164   bb.1.if.then:
 165     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 166
 167     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 168     $x0 = COPY %0
 169     BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
 170     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 171     TBNZW %4, 0, %bb.3
 172     B %bb.2
 173
 174   bb.2.if.end:
 175     successors: %bb.3(0x80000000)
 176
 177
 178   bb.3.exit:
 179     RET_ReallyLR
 180
 181 ...
 182 ---
 183 name:            g
 184 alignment:       4
 185 exposesReturnsTwice: false
 186 legalized:       false
 187 regBankSelected: false
 188 selected:        false
 189 failedISel:      false
 190 tracksRegLiveness: true
 191 hasWinCFI:       false
 192 callsEHReturn:   false
 193 callsUnwindInit: false
 194 hasEHCatchret:   false
 195 hasEHScopes:     false
 196 hasEHFunclets:   false
 197 isOutlined:      false
 198 debugInstrRef:   false
 199 failsVerification: false
 200 tracksDebugUserValues: false
 201 registers:
 202   - { id: 0, class: gpr64all, preferred-register: '' }
 203   - { id: 1, class: gpr64common, preferred-register: '' }
 204   - { id: 2, class: gpr32, preferred-register: '' }
 205   - { id: 3, class: gpr32, preferred-register: '' }
 206   - { id: 4, class: gpr32, preferred-register: '' }
 207   - { id: 5, class: gpr64sp, preferred-register: '' }
 208   - { id: 6, class: gpr64all, preferred-register: '' }
 209 liveins:
 210   - { reg: '$x0', virtual-reg: '%1' }
 211   - { reg: '$w1', virtual-reg: '%2' }
 212   - { reg: '$w2', virtual-reg: '%3' }
 213 frameInfo:
 214   isFrameAddressTaken: false
 215   isReturnAddressTaken: false
 216   hasStackMap:     false
 217   hasPatchPoint:   false
 218   stackSize:       0
 219   offsetAdjustment: 0
 220   maxAlignment:    1
 221   adjustsStack:    true
 222   hasCalls:        true
 223   stackProtector:  ''
 224   functionContext: ''
 225   maxCallFrameSize: 0
 226   cvBytesOfCalleeSavedRegisters: 0
 227   hasOpaqueSPAdjustment: false
 228   hasVAStart:      false
 229   hasMustTailInVarArgFunc: false
 230   hasTailCall:     false
 231   localFrameSize:  0
 232   savePoint:       ''
 233   restorePoint:    ''
 234 fixedStack:      []
 235 stack:           []
 236 entry_values:    []
 237 callSites:       []
 238 debugValueSubstitutions: []
 239 constants:       []
 240 machineFunctionInfo: {}
 241 body:             |
 242   ; CHECK-LABEL: name: g
 243   ; CHECK: bb.0.entry:
 244   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 245   ; CHECK-NEXT:   liveins: $x0, $w1, $w2
 246   ; CHECK-NEXT: {{  $}}
 247   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32 = COPY $w2
 248   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32 = COPY $w1
 249   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x0
 250   ; CHECK-NEXT:   DBG_VALUE_LIST !4, !DIExpression(), [[COPY]], $noreg, debug-location !10
 251   ; CHECK-NEXT:   TBZW [[COPY1]], 0, %bb.2
 252   ; CHECK-NEXT:   B %bb.1
 253   ; CHECK-NEXT: {{  $}}
 254   ; CHECK-NEXT: bb.1.if.then:
 255   ; CHECK-NEXT:   successors: %bb.3(0x40000000), %bb.2(0x40000000)
 256   ; CHECK-NEXT: {{  $}}
 257   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32 = COPY [[COPY]]
 258   ; CHECK-NEXT:   DBG_VALUE_LIST !4, !DIExpression(), [[COPY3]], $noreg, debug-location !10
 259   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 260   ; CHECK-NEXT:   $x0 = ADDXri [[COPY2]], 8, 0
 261   ; CHECK-NEXT:   DBG_VALUE_LIST !4, !DIExpression(), [[COPY3]], $x0, debug-location !10
 262   ; CHECK-NEXT:   BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
 263   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 264   ; CHECK-NEXT:   TBNZW [[COPY3]], 0, %bb.3
 265   ; CHECK-NEXT:   B %bb.2
 266   ; CHECK-NEXT: {{  $}}
 267   ; CHECK-NEXT: bb.2.if.end:
 268   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 269   ; CHECK-NEXT: {{  $}}
 270   ; CHECK-NEXT: {{  $}}
 271   ; CHECK-NEXT: bb.3.exit:
 272   ; CHECK-NEXT:   RET_ReallyLR
 273   bb.0.entry:
 274     successors: %bb.1(0x40000000), %bb.2(0x40000000)
 275     liveins: $x0, $w1, $w2
 276
 277     %3:gpr32 = COPY $w2
 278     %2:gpr32 = COPY $w1
 279     %1:gpr64common = COPY $x0
 280     %4:gpr32 = COPY %3
 281     %5:gpr64sp = ADDXri %1, 8, 0
 282     DBG_VALUE_LIST !4, !DIExpression(), %4:gpr32, %5:gpr64sp, debug-location !10
 283     %0:gpr64all = COPY %5
 284     TBZW %2, 0, %bb.2
 285     B %bb.1
 286
 287   bb.1.if.then:
 288     successors: %bb.3(0x40000000), %bb.2(0x40000000)
 289
 290     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 291     $x0 = COPY %0
 292     BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
 293     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 294     TBNZW %4, 0, %bb.3
 295     B %bb.2
 296
 297   bb.2.if.end:
 298     successors: %bb.3(0x80000000)
 299
 300
 301   bb.3.exit:
 302     RET_ReallyLR
 303
 304 ...