# RUN: not --crash llc -run-pass machineverifier -o - %s 2>&1 | FileCheck %s

# CHECK: Bad machine code: Missing DebugLoc for debug instruction
# CHECK: - instruction: DBG_VALUE 1, 2, 3, 4

--- |

  define i32 @foo() {
  entry:
    ret i32 0
  }

...
---
name:            foo
body: |
  bb.0.entry:
    DBG_VALUE 1, 2, 3, 4
...