llvm/test/MachineVerifier/verify-regops.mir

   1 # RUN: not --crash llc -march=x86 -o - %s -run-pass=none -verify-machineinstrs \
   2 # RUN:   2>&1 | FileCheck %s
   3 # REQUIRES: x86-registered-target
   4 #
   5 # Check that MachineVerifier catches corrupt operands where MO->isReg()
   6 # returns true, but the descriptor says it should be an OPERAND_IMMEDIATE or
   7 # OPERAND_PCREL. Conversely, if MO->isReg() (and MO->isFI()) returns false,
   8 # check that not an OPERAND_REGISTER is expected.
   9
  10 # CHECK-LABEL: fun
  11
  12 # CHECK: *** Bad machine code: Expected a register operand. ***
  13 # CHECK: - instruction: %1:gr32 = XOR32rm -1, %fixed-stack.1, 1, $noreg, 0, $noreg, implicit-def dead $eflags :: (load (s32) from %fixed-stack.1, align 8)
  14 # CHECK: - operand 1:   -1
  15
  16 # CHECK: *** Bad machine code: Expected a non-register operand. ***
  17 # CHECK: - instruction: %2:gr32 = OR32ri %1:gr32(tied-def 0), %0:gr32, implicit-def dead $eflags
  18 # CHECK: - operand 2:   %0:gr32
  19
  20
  21 name:            fun
  22 tracksRegLiveness: true
  23 fixedStack:
  24   - { id: 1, offset: 8, size: 4, alignment: 8, isImmutable: true }
  25   - { id: 3, size: 4, alignment: 16, isImmutable: true }
  26 body:             |
  27   bb.0:
  28     %0:gr32 = MOV32rm %fixed-stack.3, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.3, align 16)
  29     ; Was: %1:gr32 = XOR32rm %0, %fixed-stack.1, 1, $noreg, 0, $noreg, implicit-def dead $eflags :: (load (s32) from %fixed-stack.1, align 8)
  30     %1:gr32 = XOR32rm -1, %fixed-stack.1, 1, $noreg, 0, $noreg, implicit-def dead $eflags :: (load (s32) from %fixed-stack.1, align 8)
  31     ; Was: %2:gr32 = OR32ri %1, -256, implicit-def dead $eflags
  32     %2:gr32 = OR32ri %1, %0, implicit-def dead $eflags
  33     %3:gr32 = MOV32ri -1
  34     $eax = COPY %2
  35     $edx = COPY %3
  36     RET 0, $eax, $edx
  37 ...