test/Transforms/SimplifyCFG/PhiBlockMerge.ll

   1 ; Test merging of blocks that only have PHI nodes in them
   2 ;
   3 ; RUN: opt < %s -simplifycfg -S | not grep N:
   4 ;
   5
   6 define i32 @test(i1 %a, i1 %b) {
   7 ; <label>:0
   8         br i1 %a, label %M, label %O
   9 O:              ; preds = %0
  10         br i1 %b, label %N, label %Q
  11 Q:              ; preds = %O
  12         call void @foo()
  13         br label %N
  14 N:              ; preds = %Q, %O
  15         ; This block should be foldable into M
  16         %Wp = phi i32 [ 0, %O ], [ 1, %Q ]              ; <i32> [#uses=1]
  17         br label %M
  18 M:              ; preds = %N, %0
  19         %W = phi i32 [ %Wp, %N ], [ 2, %0 ]             ; <i32> [#uses=1]
  20         %R = add i32 %W, 1              ; <i32> [#uses=1]
  21         ret i32 %R
  22 }
  23
  24 declare void @foo()