# 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:
  - id: 0
    name: entry
    instructions:
      # CHECK: [[@LINE+1]]:37: use of undefined global value '@2'
      - '%rax = MOV64rm %rip, 1, _, @2, _'
      - '%eax = MOV32rm %rax, 1, _, 0, _'
      - '%eax = INC32r %eax'
      - 'RETQ %eax'
...