test/Transforms/LICM/sink_critical_edge.ll

   1 ; This testcase checks to make sure the sinker does not cause problems with
   2 ; critical edges.
   3
   4 ; RUN: llvm-as < %s | opt -licm | llvm-dis | %prcontext add 1 | grep Exit
   5
   6 define void @test() {
   7 Entry:
   8         br i1 false, label %Loop, label %Exit
   9 Loop:           ; preds = %Loop, %Entry
  10         %X = add i32 0, 1               ; <i32> [#uses=1]
  11         br i1 false, label %Loop, label %Exit
  12 Exit:           ; preds = %Loop, %Entry
  13         %Y = phi i32 [ 0, %Entry ], [ %X, %Loop ]               ; <i32> [#uses=0]
  14         ret void
  15 }
  16