test/Analysis/BasicAA/modref.ll

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