1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
|
; 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 }
|