test/Transforms/SimplifyCFG/two-entry-phi-return.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   3
   4 define i1 @qux(i8* %m, i8* %n, i8* %o, i8* %p) nounwind  {
   5 ; CHECK-LABEL: @qux(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[TMP7:%.*]] = icmp eq i8* %m, %n
   8 ; CHECK-NEXT:    [[TMP15:%.*]] = icmp eq i8* %o, %p
   9 ; CHECK-NEXT:    [[TMP15_:%.*]] = select i1 [[TMP7]], i1 [[TMP15]], i1 false, !prof !0
  10 ; CHECK-NEXT:    ret i1 [[TMP15_]]
  11 ;
  12 entry:
  13   %tmp7 = icmp eq i8* %m, %n
  14   br i1 %tmp7, label %bb, label %UnifiedReturnBlock, !prof !0
  15
  16 bb:
  17   %tmp15 = icmp eq i8* %o, %p
  18   br label %UnifiedReturnBlock
  19
  20 UnifiedReturnBlock:
  21   %result = phi i1 [ 0, %entry ], [ %tmp15, %bb ]
  22   ret i1 %result
  23
  24 }
  25
  26 !0 = !{!"branch_weights", i32 4, i32 64}