test/CodeGen/Mips/instverify/ins-pos.mir

   1 # RUN: not llc -march=mips64 -mcpu=mips64r2 -start-after=finalize-isel -stop-after=finalize-isel \
   2 # RUN:         -verify-machineinstrs %s -o - 2>&1 | FileCheck %s
   3
   4 # CHECK: Position operand is out of range!
   5
   6 # Check that the machine verifier checks the position operand is in the range 0..31
   7 ---
   8 name:            f
   9 alignment:       4
  10 exposesReturnsTwice: false
  11 legalized:       false
  12 regBankSelected: false
  13 selected:        false
  14 tracksRegLiveness: true
  15 registers:
  16   - { id: 0, class: gpr32, preferred-register: '' }
  17   - { id: 1, class: gpr32, preferred-register: '' }
  18   - { id: 2, class: gpr32, preferred-register: '' }
  19   - { id: 3, class: gpr32, preferred-register: '' }
  20 liveins:
  21   - { reg: '$a0', virtual-reg: '%0' }
  22   - { reg: '$a1', virtual-reg: '%1' }
  23 frameInfo:
  24   isFrameAddressTaken: false
  25   isReturnAddressTaken: false
  26   hasStackMap:     false
  27   hasPatchPoint:   false
  28   stackSize:       0
  29   offsetAdjustment: 0
  30   maxAlignment:    1
  31   adjustsStack:    false
  32   hasCalls:        false
  33   stackProtector:  ''
  34   maxCallFrameSize: 4294967295
  35   hasOpaqueSPAdjustment: false
  36   hasVAStart:      false
  37   hasMustTailInVarArgFunc: false
  38   savePoint:       ''
  39   restorePoint:    ''
  40 fixedStack:
  41 stack:
  42 constants:
  43 body:             |
  44   bb.0.entry:
  45     liveins: $a0, $a1
  46
  47     %1 = COPY $a1
  48     %0 = COPY $a0
  49     %2 = ANDi %1, 15
  50     %3 = INS killed %2, 32, 4, %0
  51     $v0 = COPY %3
  52     RetRA implicit $v0
  53
  54 ...