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:            dext
      9 alignment:       3
     10 exposesReturnsTwice: false
     11 legalized:       false
     12 regBankSelected: false
     13 selected:        false
     14 tracksRegLiveness: true
     15 registers:
     16   - { id: 0, class: gpr64, preferred-register: '' }
     17   - { id: 1, class: gpr64, preferred-register: '' }
     18 liveins:
     19   - { reg: '$a0_64', virtual-reg: '%0' }
     20 frameInfo:
     21   isFrameAddressTaken: false
     22   isReturnAddressTaken: false
     23   hasStackMap:     false
     24   hasPatchPoint:   false
     25   stackSize:       0
     26   offsetAdjustment: 0
     27   maxAlignment:    1
     28   adjustsStack:    false
     29   hasCalls:        false
     30   stackProtector:  ''
     31   maxCallFrameSize: 4294967295
     32   hasOpaqueSPAdjustment: false
     33   hasVAStart:      false
     34   hasMustTailInVarArgFunc: false
     35   savePoint:       ''
     36   restorePoint:    ''
     37 fixedStack:
     38 stack:
     39 constants:
     40 body:             |
     41   bb.0.entry:
     42     liveins: $a0_64
     43 
     44     %0 = COPY $a0_64
     45     %1 = DEXT %0, 55, 10
     46     $v0_64 = COPY %1
     47     RetRA implicit $v0_64
     48 
     49 ...
     50