| ; RUN: llvm-upgrade < %s | llvm-as | \ | |
| ; RUN: opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | \ | |
| ; RUN: grep {ret i1 true} | |
| %G = internal global int* null | |
| declare int *%ext() | |
| bool %bar() { | |
| %V1 = load int** %G | |
| %X2 = call int *%ext() | |
| %V2 = load int** %G | |
| store int* %X2, int** %G | |
| %C = seteq int* %V1, %V2 | |
| ret bool %C | |
| } |