| ; RUN: opt -passes=hotcoldsplit -hotcoldsplit-threshold=-1 -S < %s | FileCheck %s | |
| ; Hot cold splitting should not outline: | |
| ; 1. Basic blocks with token type instructions | |
| ; 2. Functions with scoped EH personality | |
| target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" | |
| target triple = "x86_64-pc-windows-msvc19.0.0" | |
| ; CHECK-LABEL: define {{.*}}@with_funclet | |
| ; CHECK-NOT: with_funclet.cold | |
| define void @with_funclet() personality ptr @__CxxFrameHandler3 { | |
| entry: | |
| invoke void @fYAXXZ() | |
| to label %normal unwind label %exception | |
| normal: ; preds = %entry | |
| ret void | |
| exception: ; preds = %entry | |
| %0 = cleanuppad within none [] | |
| call void @terminateYAXXZ() [ "funclet"(token %0) ] | |
| br label %continueexception | |
| continueexception: ; preds = %exception | |
| ret void | |
| } | |
| ; CHECK-LABEL: define {{.*}}@with_personality | |
| ; CHECK-NOT: with_personality.cold | |
| define void @with_personality(i32 %cond) personality ptr @__CxxFrameHandler3 { | |
| entry: | |
| %cond.addr = alloca i32 | |
| store i32 %cond, ptr %cond.addr | |
| %0 = load i32, ptr %cond.addr | |
| %tobool = icmp ne i32 %0, 0 | |
| br i1 %tobool, label %if.then, label %if.end2 | |
| if.then: ; preds = %entry | |
| %1 = load i32, ptr %cond.addr | |
| %cmp = icmp sgt i32 %1, 10 | |
| br i1 %cmp, label %if.then1, label %if.else | |
| if.then1: ; preds = %if.then | |
| call void @sideeffect(i32 0) | |
| br label %if.end | |
| if.else: ; preds = %if.then | |
| call void @sideeffect(i32 1) | |
| br label %if.end | |
| if.end: ; preds = %if.else, %if.then1 | |
| call void (...) @sink() | |
| ret void | |
| if.end2: ; preds = %entry | |
| call void @sideeffect(i32 2) | |
| ret void | |
| } | |
| declare i32 @__CxxFrameHandler3(...) | |
| declare void @fYAXXZ() | |
| declare void @bar() #0 | |
| declare void @terminateYAXXZ() | |
| declare void @sideeffect(i32) | |
| declare void @sink(...) #0 | |
| attributes #0 = { cold } |