test/Transforms/CodeExtractor/PartialInlineEntryPHICost.ll

   1 ; RUN: opt < %s -partial-inliner -S | FileCheck %s
   2 ; RUN: opt < %s -passes=partial-inliner -S | FileCheck %s
   3
   4 ; Check that we do not overcompute the outlined region cost, where the PHIs in
   5 ; the outlined region entry (BB4) are moved outside the region by CodeExtractor.
   6
   7 define i32 @bar(i32 %arg) {
   8 bb:
   9   %tmp = icmp slt i32 %arg, 0
  10   br i1 %tmp, label %bb1, label %bb2
  11
  12 bb1:
  13   br i1 undef, label %bb4, label %bb2
  14
  15 bb2:                                              ; preds = %bb, %bb1
  16   br i1 undef, label %bb4, label %bb5
  17
  18 bb4:                                              ; preds = %bb1, %bb2
  19   %xx1 = phi i32 [ 1, %bb1 ], [ 9, %bb2 ]
  20   %xx2 = phi i32 [ 1, %bb1 ], [ 9, %bb2 ]
  21   %xx3 = phi i32 [ 1, %bb1 ], [ 9, %bb2 ]
  22   tail call void (...) @foo() #2
  23   br label %bb5
  24
  25 bb5:                                              ; preds = %bb4, %bb2
  26   %tmp6 = phi i32 [ 1, %bb2 ], [ 9, %bb4 ]
  27   ret i32 %tmp6
  28 }
  29
  30 declare void @foo(...)
  31
  32 define i32 @dummy_caller(i32 %arg) {
  33 bb:
  34 ; CHECK-LABEL: @dummy_caller
  35 ; CHECK: br i1
  36 ; CHECK: br i1
  37 ; CHECK: call void @bar.1.
  38   %tmp = tail call i32 @bar(i32 %arg)
  39   ret i32 %tmp
  40 }