test/Analysis/Andersens/modreftest.ll

   1 ; RUN: opt < %s -anders-aa -gvn -instcombine -S \
   2 ; RUN: | grep {ret i1 true}
   3
   4 @G = internal global i32* null
   5 declare i32 *@ext()
   6
   7 define i1 @bar() {
   8   %V1 = load i32** @G
   9   %X2 = call i32 *@ext()
  10   %V2 = load i32** @G
  11   store i32* %X2, i32** @G
  12
  13   %C = icmp eq i32* %V1, %V2
  14   ret i1 %C
  15 }