| ; REQUIRES: asserts | |
| ; RUN: opt -hotcoldsplit -debug-only=hotcoldsplit -S < %s -o /dev/null 2>&1 | FileCheck %s | |
| declare void @sink() cold | |
| define void @foo(i32 %arg) { | |
| entry: | |
| br i1 undef, label %cold1, label %exit | |
| cold1: | |
| ; CHECK: Applying bonus for: 4 non-returning terminators | |
| call void @sink() | |
| br i1 undef, label %cold2, label %cold3 | |
| cold2: | |
| br label %cold4 | |
| cold3: | |
| br label %cold4 | |
| cold4: | |
| unreachable | |
| exit: | |
| ret void | |
| } |