llvm/llvm/test/CodeGen/RISCV/verify-instr.mir

# RUN: not --crash llc -mtriple=riscv32 -run-pass machineverifier %s -o - 2>&1 | FileCheck %s
# RUN: not --crash llc -mtriple=riscv32 --passes='machine-function(verify)' %s -o - 2>&1 | FileCheck %s

# CHECK: *** Bad machine code: Invalid immediate ***
# CHECK: - instruction: $x2 = ADDI $x1, 10000

---
name: verify_instr
body: |
  bb.0:
    $x2 = ADDI $x1, 10000
...