diff --git a/test/Regression/Analysis/Andersens/modreftest.ll b/test/Regression/Analysis/Andersens/modreftest.ll new file mode 100644 index 00000000000..979aa037380 --- /dev/null +++ b/test/Regression/Analysis/Andersens/modreftest.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret bool 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 +}