llvm/test/CodeGen/AArch64/verify-memop.mir

   1 # RUN: not --crash llc -mtriple=aarch64 -run-pass machineverifier -o /dev/null %s 2>&1 | FileCheck -implicit-check-not="Bad machine code"  %s
   2
   3 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
   4 # CHECK: - instruction: STRSui $s1, $x0, 4096
   5 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
   6 # CHECK: - instruction: STRSui $s1, $x0, -1
   7 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
   8 # CHECK: - instruction: early-clobber $x0, $w1 = LDRWpre $x0(tied-def 0), 256
   9 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  10 # CHECK: - instruction: early-clobber $x0, $w1 = LDRWpre $x0(tied-def 0), -257
  11 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  12 # CHECK: - instruction: early-clobber $x0, $w1 = LDRWpre $x0(tied-def 0), 256
  13 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  14 # CHECK: - instruction: early-clobber $x0, $w1 = LDRWpre $x0(tied-def 0), -257
  15 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  16 # CHECK: - instruction: STRBBui $w1, $x0, 4096
  17 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  18 # CHECK: - instruction: STRBBui $w1, $x0, -1
  19 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  20 # CHECK: - instruction: STRHHui $w1, $x0, 4096
  21 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  22 # CHECK: - instruction: STRHHui $w1, $x0, -1
  23 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  24 # CHECK: - instruction: early-clobber $x0 = STRSpost $s1, $x0(tied-def 0), 256
  25 # CHECK: *** Bad machine code: Unexpected immediate on load/store instruction ***
  26 # CHECK: - instruction: early-clobber $x0 = STRSpost $s1, $x0(tied-def 0), -257
  27
  28 ---
  29 name:            testoffsets
  30 alignment:       4
  31 tracksRegLiveness: true
  32 body:             |
  33   bb.0.entry:
  34     liveins: $d0, $s1, $q2, $x0, $w1
  35
  36     STRSui $s1, $x0, 4095
  37     STRSui $s1, $x0, 4096
  38     STRSui $s1, $x0, 0
  39     STRSui $s1, $x0, -1
  40     $x0, $w1 = LDRWpre $x0, 256
  41     $x0, $w1 = LDRWpre $x0, -257
  42     $x0, $w1 = LDRWpre $x0, 256
  43     $x0, $w1 = LDRWpre $x0, -257
  44     STRBBui $w1, $x0, 4096
  45     STRBBui $w1, $x0, -1
  46     STRHHui $w1, $x0, 4096
  47     STRHHui $w1, $x0, -1
  48     $x0 = STRSpost $s1, $x0, 256
  49     $x0 = STRSpost $s1, $x0, -257
  50     RET undef $lr, implicit $x0
  51 ...