test/CodeGen/Mips/instverify/dextu-size-valid.mir

   1 # RUN: 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-NOT: Size operand is out of range!
   5
   6 # Check that the machine verifier checks the size operand is in the range 1..32
   7 ---
   8 name:            dextu
   9 alignment:       8
  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 = DEXTU %0, 63, 1
  46     $v0_64 = COPY %1
  47     RetRA implicit $v0_64
  48
  49 ...