test/Analysis/Andersens/modreftest.ll

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