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

   1 ; RUN: opt < %s -globals-aa -gvn -S | FileCheck %s
   2
   3 @g = internal global i32 0              ; <i32*> [#uses=2]
   4
   5 define i32 @r() {
   6         %tmp = load i32, i32* @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, i32* @g
  16         %tmp2 = call i32 @e( )          ; <i32> [#uses=1]
  17         ret i32 %tmp2
  18 }
  19
  20 declare i32 @e() readonly       ; might call @r