blob: 6fa6f94e6530a9707a7833dd62ef1cc5842c9b34 [file] [log] [blame]
; RUN: llc -O3 -o - %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
declare void @effect(i32);
; After the loop gets laid out, loop.end is the only successor, but can't be
; laid out because of the CFG dependency from top.fakephi. The calculations show
; that it isn't profitable to tail-duplicate in this case, because of the
; effects on fallthrough from %loop.end
; CHECK-LABEL: {{^}}no_successor_still_no_taildup:
; CHECK: %entry
; CHECK: %loop.top
; CHECK: %loop.latch
; CHECK: %top.fakephi
; CHECK: %loop.end
; CHECK: %false
; CHECK: %ret
define void @no_successor_still_no_taildup (i32 %count, i32 %key) {
entry:
br label %loop.top
loop.top:
%i.loop.top = phi i32 [ %count, %entry ], [ %i.latch, %loop.latch ]
%cmp.top = icmp eq i32 %i.loop.top, %key
call void @effect(i32 0)
br i1 %cmp.top, label %top.fakephi, label %loop.latch, !prof !1
loop.latch:
%i.latch = sub i32 %i.loop.top, 1
%cmp.latch = icmp eq i32 %i.latch, 0
call void @effect(i32 1)
br i1 %cmp.top, label %loop.top, label %loop.end, !prof !2
top.fakephi:
call void @effect(i32 2)
br label %loop.end
loop.end:
%cmp.end = icmp eq i32 %count, 0
br i1 %cmp.end, label %ret, label %false, !prof !3
false:
call void @effect(i32 4)
br label %ret
ret:
ret void
}
!1 = !{!"branch_weights", i32 1, i32 1}
!2 = !{!"branch_weights", i32 5, i32 1}
!3 = !{!"branch_weights", i32 1, i32 2}