# RUN: not llc -march=riscv32 -run-pass machineverifier %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
...