| # 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 | |
| RET64 $eax | |
| ... |