llvm/test/Analysis/GlobalsModRef/2008-09-03-ReadGlobals.ll

   1 ; RUN: opt < %s -aa-pipeline=globals-aa -passes='require<globals-aa>,gvn' -S | FileCheck %s
   2
   3 @g = internal global i32 0              ; <ptr> [#uses=2]
   4
   5 define i32 @r() {
   6         %tmp = load i32, ptr @g         ; <i32> [#uses=1]
   7         ret i32 %tmp
   8 }
   9
  10 define i32 @f() {
  11 ; CHECK: call i32 @e()
  12 ; CHECK: call i32 @e()
  13 entry:
  14         %tmp = call i32 @e( )           ; <i32> [#uses=1]
  15         store i32 %tmp, ptr @g
  16         %tmp2 = call i32 @e( )          ; <i32> [#uses=1]
  17         ret i32 %tmp2
  18 }
  19
  20 declare i32 @e() readonly       ; might call @r