Home | History | Annotate | Download | only in instverify
      1 # RUN: not llc -march=mips64 -mcpu=mips64r2 -start-after=expand-isel-pseudos -stop-after=expand-isel-pseudos \
      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:       2
     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 ...
     55