test/Transforms/Mem2Reg/2005-06-30-ReadBeforeWrite.ll

   1 ; RUN: opt < %s -mem2reg -instcombine -S | grep store
   2 ; PR590
   3
   4
   5 define void @zero(i8* %p, i32 %n) {
   6 entry:
   7         %p_addr = alloca i8*            ; <i8**> [#uses=2]
   8         %n_addr = alloca i32            ; <i32*> [#uses=2]
   9         %i = alloca i32         ; <i32*> [#uses=6]
  10         %out = alloca i32               ; <i32*> [#uses=2]
  11         %undef = alloca i32             ; <i32*> [#uses=2]
  12         store i8* %p, i8** %p_addr
  13         store i32 %n, i32* %n_addr
  14         store i32 0, i32* %i
  15         br label %loopentry
  16 loopentry:              ; preds = %endif, %entry
  17         %tmp.0 = load i32* %n_addr              ; <i32> [#uses=1]
  18         %tmp.1 = add i32 %tmp.0, 1              ; <i32> [#uses=1]
  19         %tmp.2 = load i32* %i           ; <i32> [#uses=1]
  20         %tmp.3 = icmp sgt i32 %tmp.1, %tmp.2            ; <i1> [#uses=2]
  21         %tmp.4 = zext i1 %tmp.3 to i32          ; <i32> [#uses=0]
  22         br i1 %tmp.3, label %no_exit, label %return
  23 no_exit:                ; preds = %loopentry
  24         %tmp.5 = load i32* %undef               ; <i32> [#uses=1]
  25         store i32 %tmp.5, i32* %out
  26         store i32 0, i32* %undef
  27         %tmp.6 = load i32* %i           ; <i32> [#uses=1]
  28         %tmp.7 = icmp sgt i32 %tmp.6, 0         ; <i1> [#uses=2]
  29         %tmp.8 = zext i1 %tmp.7 to i32          ; <i32> [#uses=0]
  30         br i1 %tmp.7, label %then, label %endif
  31 then:           ; preds = %no_exit
  32         %tmp.9 = load i8** %p_addr              ; <i8*> [#uses=1]
  33         %tmp.10 = load i32* %i          ; <i32> [#uses=1]
  34         %tmp.11 = sub i32 %tmp.10, 1            ; <i32> [#uses=1]
  35         %tmp.12 = getelementptr i8* %tmp.9, i32 %tmp.11         ; <i8*> [#uses=1]
  36         %tmp.13 = load i32* %out                ; <i32> [#uses=1]
  37         %tmp.14 = trunc i32 %tmp.13 to i8               ; <i8> [#uses=1]
  38         store i8 %tmp.14, i8* %tmp.12
  39         br label %endif
  40 endif:          ; preds = %then, %no_exit
  41         %tmp.15 = load i32* %i          ; <i32> [#uses=1]
  42         %inc = add i32 %tmp.15, 1               ; <i32> [#uses=1]
  43         store i32 %inc, i32* %i
  44         br label %loopentry
  45 return:         ; preds = %loopentry
  46         ret void
  47 }