summaryrefslogtreecommitdiff
path: root/test/CodeGen/Mips/instverify/dinsm-pos.mir
blob: 75bf00edd9616b6ae2eb9db58210b8f3c7040bca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# RUN: not llc -march=mips64 -mcpu=mips64r2 -start-after=expand-isel-pseudos -stop-after=expand-isel-pseudos \
# RUN:         -verify-machineinstrs %s -o - 2>&1 | FileCheck %s

# CHECK: Position operand is out of range!

# Check that the machine verifier checks the position operand is in range 0..31
---
name:            dinsm
alignment:       3
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
tracksRegLiveness: true
registers:
  - { id: 0, class: gpr64, preferred-register: '' }
  - { id: 1, class: gpr64, preferred-register: '' }
liveins:
  - { reg: '%a0_64', virtual-reg: '%0' }
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       0
  offsetAdjustment: 0
  maxAlignment:    1
  adjustsStack:    false
  hasCalls:        false
  stackProtector:  ''
  maxCallFrameSize: 4294967295
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  savePoint:       ''
  restorePoint:    ''
fixedStack:
stack:
constants:
body:             |
  bb.0.entry:
    liveins: %a0_64

    %0 = COPY %a0_64
    %1 = DINSM %0, 65, 5
    %v0_64 = COPY %1
    RetRA implicit %v0_64

...