test/Analysis/GlobalsModRef/modreftest.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
   2 %X = internal global int 4
   3
   4 int %test(int *%P) {
   5   store int 12,  int* %X
   6   call void %doesnotmodX()
   7   %V = load int* %X
   8   ret int %V
   9 }
  10
  11 void %doesnotmodX() {
  12   ret void
  13 }