test/Transforms/SimplifyCFG/PhiBlockMerge.ll

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