test/Transforms/SCCP/2003-06-24-OverdefinedPHIValue.ll

   1 ; RUN: opt < %s -sccp -simplifycfg -S | \
   2 ; RUN:   not grep then:
   3
   4 define void @cprop_test11(i32* %data.1) {
   5 entry:
   6         %tmp.1 = load i32, i32* %data.1         ; <i32> [#uses=3]
   7         %tmp.41 = icmp sgt i32 %tmp.1, 1                ; <i1> [#uses=1]
   8         br i1 %tmp.41, label %no_exit, label %loopexit
   9 no_exit:                ; preds = %endif, %then, %entry
  10         %j.0 = phi i32 [ %j.0, %endif ], [ %i.0, %then ], [ 1, %entry ]         ; <i32> [#uses=3]
  11         %i.0 = phi i32 [ %inc, %endif ], [ %inc1, %then ], [ 1, %entry ]                ; <i32> [#uses=4]
  12         %tmp.8.not = icmp ne i32 %j.0, 0                ; <i1> [#uses=1]
  13         br i1 %tmp.8.not, label %endif, label %then
  14 then:           ; preds = %no_exit
  15         %inc1 = add i32 %i.0, 1         ; <i32> [#uses=3]
  16         %tmp.42 = icmp slt i32 %inc1, %tmp.1            ; <i1> [#uses=1]
  17         br i1 %tmp.42, label %no_exit, label %loopexit
  18 endif:          ; preds = %no_exit
  19         %inc = add i32 %i.0, 1          ; <i32> [#uses=3]
  20         %tmp.4 = icmp slt i32 %inc, %tmp.1              ; <i1> [#uses=1]
  21         br i1 %tmp.4, label %no_exit, label %loopexit
  22 loopexit:               ; preds = %endif, %then, %entry
  23         %j.1 = phi i32 [ 1, %entry ], [ %j.0, %endif ], [ %i.0, %then ]         ; <i32> [#uses=1]
  24         %i.1 = phi i32 [ 1, %entry ], [ %inc, %endif ], [ %inc1, %then ]                ; <i32> [#uses=1]
  25         %tmp.17 = getelementptr i32, i32* %data.1, i64 1                ; <i32*> [#uses=1]
  26         store i32 %j.1, i32* %tmp.17
  27         %tmp.23 = getelementptr i32, i32* %data.1, i64 2                ; <i32*> [#uses=1]
  28         store i32 %i.1, i32* %tmp.23
  29         ret void
  30 }