test/Analysis/Andersens/modreftest.ll

   1 ; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret bool true'
   2
   3 %G = internal global int* null
   4 declare int *%ext()
   5 bool %bar() {
   6   %V1 = load int** %G
   7   %X2 = call int *%ext()
   8   %V2 = load int** %G
   9   store int* %X2, int** %G
  10
  11   %C = seteq int* %V1, %V2
  12   ret bool %C
  13 }