xref: /llvm-project/llvm/test/MachineVerifier/verify-selected-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 @selected_notrack() { ret void }
9  define void @selected_track() { ret void }
10
11...
12
13---
14name: selected_notrack
15regBankSelected: true
16selected: true
17tracksDebugUserValues: false
18registers:
19  - { id: 0, class: _ }
20body: |
21  bb.0:
22   ; CHECK-NOT: function: selected_notrack
23   DBG_VALUE %0, $noreg, $noreg, $noreg, $noreg
24...
25
26---
27name: selected_track
28regBankSelected: true
29selected: true
30tracksDebugUserValues: true
31registers:
32  - { id: 0, class: _ }
33body: |
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...
41