test/Analysis/BasicAA/modref.ll

   1 ; A very rudimentary test on AliasAnalysis::getModRefInfo.
   2 ; RUN: llvm-as < %s | opt -print-all-alias-modref-info -aa-eval -disable-output &&
   3 ; RUN: llvm-as < %s | opt -print-all-alias-modref-info -aa-eval -disable-output 2>&1 | not grep NoModRef
   4
   5 int %callee() {
   6   %X = alloca { int, int }
   7   %Y = getelementptr { int, int }* %X, uint 0, uint 0
   8   %Z = load int* %Y
   9   ret int %Z
  10 }
  11
  12 int %caller() {
  13   %X = call int %callee()
  14   ret int %X
  15 }