# RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
# This test ensures that an error is reported when an invalid global value index
# is used.

--- |

  @0 = external global i32

  define i32 @inc() {
  entry:
    %a = load i32, i32* @0
    %b = add i32 %a, 1
    ret i32 %b
  }

...
---
name: inc
body: |
  bb.0.entry:
    ; CHECK: [[@LINE+1]]:32: use of undefined global value '@2'
    $rax = MOV64rm $rip, 1, _, @2, _
    $eax = MOV32rm $rax, 1, _, 0, _
    $eax = INC32r $eax
    RETQ $eax
...