diff --git a/llvm/test/Regression/Analysis/GlobalsModRef/indirect-global.ll b/llvm/test/Regression/Analysis/GlobalsModRef/indirect-global.ll new file mode 100644 index 000000000000..206955eba752 --- /dev/null +++ b/llvm/test/Regression/Analysis/GlobalsModRef/indirect-global.ll @@ -0,0 +1,23 @@ +; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret int 0' +%G = internal global int* null + +implementation + +void %test() { + %A = malloc int + store int* %A, int** %G + ret void +} + +int %test1(int *%P) { + %g1 = load int** %G + %h1 = load int* %g1 + + ; This store cannot alias either G or g1. + store int 123, int* %P + + %g2 = load int** %G + %h2 = load int* %g1 + %X = sub int %h1, %h2 ;; -> 0 + ret int %X +}