1# RUN: llc %s -mtriple aarch64-- -o - -run-pass regbankselect | FileCheck %s
2---
3# CHECK-LABEL: foo
4# Check that we produce a valid mapping for REG_SEQUENCE.
5# This used to fail the RegisterBankInfo verify because
6# we were using the exclusively the type of the definition
7# whereas since REG_SEQUENCE are kind of target opcode
8# their definition may not have a type.
9#
10
11# CHECK: %0:fpr(s128) = REG_SEQUENCE $d0, %subreg.dsub0, $d1, %subreg.dsub1
12
13name: foo
14legalized: true
15tracksRegLiveness: true
16body: |
17  bb.0:
18    liveins: $d0, $d1
19
20    %0:_(s128) = REG_SEQUENCE $d0, %subreg.dsub0, $d1, %subreg.dsub1
21
22...
23