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

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