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

   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
  13 name: foo
  14 legalized: true
  15 tracksRegLiveness: true
  16 body: |
  17   bb.0:
  18     liveins: $d0, $d1
  19
  20     %0:_(s128) = REG_SEQUENCE $d0, %subreg.dsub0, $d1, %subreg.dsub1
  21
  22 ...