test/Transforms/Mem2Reg/2003-06-26-IterativePromote.ll

   1 ; Promoting some values allows promotion of other values.
   2 ; RUN: opt < %s -mem2reg -S | not grep alloca
   3
   4 define i32 @test2() {
   5         %result = alloca i32            ; <i32*> [#uses=2]
   6         %a = alloca i32         ; <i32*> [#uses=2]
   7         %p = alloca i32*                ; <i32**> [#uses=2]
   8         store i32 0, i32* %a
   9         store i32* %a, i32** %p
  10         %tmp.0 = load i32** %p          ; <i32*> [#uses=1]
  11         %tmp.1 = load i32* %tmp.0               ; <i32> [#uses=1]
  12         store i32 %tmp.1, i32* %result
  13         %tmp.2 = load i32* %result              ; <i32> [#uses=1]
  14         ret i32 %tmp.2
  15 }
  16