38 lines · plain
1# RUN: not --crash llc -mtriple=i686 -o - %s -run-pass=none -verify-machineinstrs \2# RUN: 2>&1 | FileCheck %s3# REQUIRES: x86-registered-target4#5# Check that MachineVerifier catches corrupt operands where MO->isReg()6# returns true, but the descriptor says it should be an OPERAND_IMMEDIATE or7# OPERAND_PCREL. Conversely, if MO->isReg() (and MO->isFI()) returns false,8# check that not an OPERAND_REGISTER is expected.9 10# CHECK-LABEL: fun11 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: -115 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 $eflags18# CHECK: - operand 2: %0:gr3219 20 21name: fun22tracksRegLiveness: true23fixedStack:24 - { id: 1, offset: 8, size: 4, alignment: 8, isImmutable: true }25 - { id: 3, size: 4, alignment: 16, isImmutable: true }26body: |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 $eflags32 %2:gr32 = OR32ri %1, %0, implicit-def dead $eflags33 %3:gr32 = MOV32ri -134 $eax = COPY %235 $edx = COPY %336 RET 0, $eax, $edx37...38