test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll

   1 ; RUN: opt < %s -basicaa -gvn -dce -S | FileCheck %s
   2
   3         %struct.A = type { i32 }
   4         %struct.B = type { %struct.A }
   5 @a = global %struct.B zeroinitializer           ; <%struct.B*> [#uses=2]
   6
   7 define i32 @_Z3fooP1A(%struct.A* %b) {
   8 ; CHECK: %tmp7 = load
   9 ; CHECK: ret i32 %tmp7
  10 entry:
  11         store i32 1, i32* getelementptr (%struct.B, %struct.B* @a, i32 0, i32 0, i32 0), align 8
  12         %tmp4 = getelementptr %struct.A, %struct.A* %b, i32 0, i32 0               ;<i32*> [#uses=1]
  13         store i32 0, i32* %tmp4, align 4
  14         %tmp7 = load i32, i32* getelementptr (%struct.B, %struct.B* @a, i32 0, i32 0, i32 0), align 8           ; <i32> [#uses=1]
  15         ret i32 %tmp7
  16 }