xref: /llvm-project/llvm/test/MachineVerifier/verify-regbankselected-dbg-undef-use.mir (revision f108c7f59dfae5fafbb00fbdef7a0cd31826dcfc) 
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---
14name: regbankselected_notrack
15regBankSelected: true
16tracksDebugUserValues: false
17registers:
18  - { id: 0, class: _ }
19body: |
20  bb.0:
21   ; CHECK-NOT: function: regbankselected_notrack
22   DBG_VALUE %0(s64), $noreg, $noreg, $noreg, $noreg
23...
24
25---
26name: regbankselected_track
27regBankSelected: true
28tracksDebugUserValues: true
29registers:
30  - { id: 0, class: _ }
31body: |
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...
39