llvm/test/MachineVerifier/verify-selected-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 @selected_notrack() { ret void }
   9   define void @selected_track() { ret void }
  10
  11 ...
  12
  13 ---
  14 name: selected_notrack
  15 regBankSelected: true
  16 selected: true
  17 tracksDebugUserValues: false
  18 registers:
  19   - { id: 0, class: _ }
  20 body: |
  21   bb.0:
  22    ; CHECK-NOT: function: selected_notrack
  23    DBG_VALUE %0, $noreg, $noreg, $noreg, $noreg
  24 ...
  25
  26 ---
  27 name: selected_track
  28 regBankSelected: true
  29 selected: true
  30 tracksDebugUserValues: true
  31 registers:
  32   - { id: 0, class: _ }
  33 body: |
  34   bb.0:
  35    ; CHECK: *** Bad machine code: Generic virtual register invalid in a Selected function ***
  36    ; CHECK: function: selected_track
  37    ; CHECK: instruction: DBG_VALUE %0:_
  38    ; CHECK: operand 0: %0
  39    DBG_VALUE %0, $noreg, $noreg, $noreg, $noreg
  40 ...