| ; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load | |
| %X = internal global int 4 | |
| int %test(int *%P) { | |
| store int 12, int* %X | |
| call void %doesnotmodX() | |
| %V = load int* %X | |
| ret int %V | |
| } | |
| void %doesnotmodX() { | |
| ret void | |
| } |