# RUN: not llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -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
...