test/CodeGen/AArch64/GlobalISel/regbankselect-reg_sequence.mir

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