llvm/test/Transforms/SimplifyCFG/PhiEliminate2.ll

   1 ; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
   2
   3 ; Use a select to make this a single BB.
   4 ; Also, make sure the profile metadata is propagated to the select (PR26636).
   5
   6 define i32 @FoldTwoEntryPHINode(i1 %C, i32 %V1, i32 %V2, i16 %V3) {
   7 entry:
   8         br i1 %C, label %then, label %else, !prof !0, !unpredictable !1
   9 then:
  10         %V4 = or i32 %V2, %V1
  11         br label %Cont
  12 else:
  13         %V5 = sext i16 %V3 to i32
  14         br label %Cont
  15 Cont:
  16         %V6 = phi i32 [ %V5, %else ], [ %V4, %then ]
  17         call i32 @FoldTwoEntryPHINode( i1 false, i32 0, i32 0, i16 0 )
  18         ret i32 %V1
  19
  20 ; CHECK-LABEL: @FoldTwoEntryPHINode(
  21 ; CHECK-NEXT:  entry:
  22 ; CHECK-NEXT:  %V5 = sext i16 %V3 to i32
  23 ; CHECK-NEXT:  %V4 = or i32 %V2, %V1
  24 ; CHECK-NEXT:  %V6 = select i1 %C, i32 %V4, i32 %V5, !prof !0, !unpredictable !1
  25 ; CHECK-NEXT:  %0 = call i32 @FoldTwoEntryPHINode(i1 false, i32 0, i32 0, i16 0)
  26 ; CHECK-NEXT:  ret i32 %V1
  27 }
  28
  29 !0 = !{!"branch_weights", i32 3, i32 5}
  30 !1 = !{}
  31
  32 ; CHECK: !0 = !{!"branch_weights", i32 3, i32 5}
  33 ; CHECK: !1 = !{}
  34