llvm/test/MachineVerifier/verify-regbankselected-dbg-undef-use.mir

   1 # RUN: not --crash llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3
   4 --- |
   5
   6   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   7   target triple = "aarch64--"
   8   define void @regbankselected_notrack() { ret void }
   9   define void @regbankselected_track() { ret void }
  10
  11 ...
  12
  13 ---
  14 name: regbankselected_notrack
  15 regBankSelected: true
  16 tracksDebugUserValues: false
  17 registers:
  18   - { id: 0, class: _ }
  19 body: |
  20   bb.0:
  21    ; CHECK-NOT: function: regbankselected_notrack
  22    DBG_VALUE %0(s64), $noreg, $noreg, $noreg, $noreg
  23 ...
  24
  25 ---
  26 name: regbankselected_track
  27 regBankSelected: true
  28 tracksDebugUserValues: true
  29 registers:
  30   - { id: 0, class: _ }
  31 body: |
  32   bb.0:
  33    ; CHECK: *** Bad machine code: Generic virtual register must have a bank in a RegBankSelected function ***
  34    ; CHECK: function: regbankselected_track
  35    ; CHECK: instruction: DBG_VALUE %0:_
  36    ; CHECK: operand 0: %0
  37    DBG_VALUE %0(s64), $noreg, $noreg, $noreg, $noreg
  38 ...