1# RUN: not llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
2
3--- |
4
5  target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
6  target triple = "aarch64--"
7  define void @test() { ret void }
8
9...
10---
11# CHECK: *** Bad machine code: Generic virtual register must have a bank in a RegBankSelected function ***
12# CHECK: instruction: %0:_(s64) = COPY
13# CHECK: operand 0: %0
14name:            test
15regBankSelected: true
16registers:
17  - { id: 0, class: _ }
18body: |
19  bb.0:
20   liveins: $x0
21   %0(s64) = COPY $x0
22...
23