blob: c36b2e90ec7ad324648d47ea368e4aa3b7257583 [file] [log] [blame]
; RUN: opt < %s -pgo-icall-prom -S | FileCheck %s --check-prefix=ICALL-PROM
; RUN: opt < %s -passes=pgo-icall-prom -S | FileCheck %s --check-prefix=ICALL-PROM
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
%struct.D = type { %struct.B }
%struct.B = type { i32 (...)** }
%struct.Derived = type { %struct.Base, i32 }
%struct.Base = type { i32 }
@_ZTIi = external constant i8*
declare i8* @_Znwm(i64)
declare void @_ZN1DC2Ev(%struct.D*)
define %struct.Derived* @_ZN1D4funcEv(%struct.D*) {
ret %struct.Derived* null
}
declare void @_ZN1DD0Ev(%struct.D*)
declare void @_ZdlPv(i8*)
declare i32 @__gxx_personality_v0(...)
declare i32 @llvm.eh.typeid.for(i8*)
declare i8* @__cxa_begin_catch(i8*)
declare void @__cxa_end_catch()
define i32 @foo() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
entry:
%call = invoke i8* @_Znwm(i64 8)
to label %invoke.cont unwind label %lpad
invoke.cont:
%tmp = bitcast i8* %call to %struct.D*
call void @_ZN1DC2Ev(%struct.D* %tmp)
%tmp1 = bitcast %struct.D* %tmp to %struct.B*
%tmp2 = bitcast %struct.B* %tmp1 to %struct.Base* (%struct.B*)***
%vtable = load %struct.Base* (%struct.B*)**, %struct.Base* (%struct.B*)*** %tmp2, align 8
%vfn = getelementptr inbounds %struct.Base* (%struct.B*)*, %struct.Base* (%struct.B*)** %vtable, i64 0
%tmp3 = load %struct.Base* (%struct.B*)*, %struct.Base* (%struct.B*)** %vfn, align 8
; ICALL-PROM: [[CMP:%[0-9]+]] = icmp eq %struct.Base* (%struct.B*)* %tmp3, bitcast (%struct.Derived* (%struct.D*)* @_ZN1D4funcEv to %struct.Base* (%struct.B*)*)
; ICALL-PROM: br i1 [[CMP]], label %if.true.direct_targ, label %if.false.orig_indirect, !prof [[BRANCH_WEIGHT:![0-9]+]]
; ICALL-PROM:if.true.direct_targ:
; ICALL-PROM: [[ARG_BITCAST:%[0-9]+]] = bitcast %struct.B* %tmp1 to %struct.D*
; ICALL-PROM: [[DIRCALL_RET:%[0-9]+]] = invoke %struct.Derived* @_ZN1D4funcEv(%struct.D* [[ARG_BITCAST]])
; ICALL-PROM: to label %if.true.direct_targ.if.end.icp_crit_edge unwind label %lpad
; ICALL-PROM:if.true.direct_targ.if.end.icp_crit_edge:
; ICALL-PROM: [[DIRCALL_RET_CAST:%[0-9]+]] = bitcast %struct.Derived* [[DIRCALL_RET]] to %struct.Base*
; ICALL-PROM: br label %if.end.icp
; ICALL-PROM:if.false.orig_indirect:
; ICAll-PROM: %call2 = invoke %struct.Base* %tmp3(%struct.B* %tmp1)
; ICAll-PROM: to label %invoke.cont1 unwind label %lpad
; ICALL-PROM:if.end.icp:
; ICALL-PROM: br label %invoke.cont1
%call2 = invoke %struct.Base* %tmp3(%struct.B* %tmp1)
to label %invoke.cont1 unwind label %lpad, !prof !1
invoke.cont1:
; ICAll-PROM: [[PHI_RET:%[0-9]+]] = phi %struct.Base* [ %call2, %if.false.orig_indirect ], [ [[DIRCALL_RET_CAST]], %if.end.icp ]
; ICAll-PROM: %isnull = icmp eq %struct.Base* [[PHI_RET]], null
%isnull = icmp eq %struct.Base* %call2, null
br i1 %isnull, label %delete.end, label %delete.notnull
delete.notnull:
%tmp4 = bitcast %struct.Base* %call2 to i8*
call void @_ZdlPv(i8* %tmp4)
br label %delete.end
delete.end:
%isnull3 = icmp eq %struct.B* %tmp1, null
br i1 %isnull3, label %delete.end8, label %delete.notnull4
delete.notnull4:
%tmp5 = bitcast %struct.B* %tmp1 to void (%struct.B*)***
%vtable5 = load void (%struct.B*)**, void (%struct.B*)*** %tmp5, align 8
%vfn6 = getelementptr inbounds void (%struct.B*)*, void (%struct.B*)** %vtable5, i64 2
%tmp6 = load void (%struct.B*)*, void (%struct.B*)** %vfn6, align 8
invoke void %tmp6(%struct.B* %tmp1)
to label %invoke.cont7 unwind label %lpad
invoke.cont7:
br label %delete.end8
delete.end8:
br label %try.cont
lpad:
%tmp7 = landingpad { i8*, i32 }
catch i8* bitcast (i8** @_ZTIi to i8*)
%tmp8 = extractvalue { i8*, i32 } %tmp7, 0
%tmp9 = extractvalue { i8*, i32 } %tmp7, 1
br label %catch.dispatch
catch.dispatch:
%tmp10 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*))
%matches = icmp eq i32 %tmp9, %tmp10
br i1 %matches, label %catch, label %eh.resume
catch:
%tmp11 = call i8* @__cxa_begin_catch(i8* %tmp8)
%tmp12 = bitcast i8* %tmp11 to i32*
%tmp13 = load i32, i32* %tmp12, align 4
call void @__cxa_end_catch()
br label %try.cont
try.cont:
ret i32 0
eh.resume:
%lpad.val = insertvalue { i8*, i32 } undef, i8* %tmp8, 0
%lpad.val11 = insertvalue { i8*, i32 } %lpad.val, i32 %tmp9, 1
resume { i8*, i32 } %lpad.val11
}
!1 = !{!"VP", i32 0, i64 12345, i64 -3913987384944532146, i64 12345}
; ICALL-PROM-NOT: !1 = !{!"VP", i32 0, i64 12345, i64 -3913987384944532146, i64 12345}
; ICALL-PROM: [[BRANCH_WEIGHT]] = !{!"branch_weights", i32 12345, i32 0}
; ICALL-PROM-NOT: !1 = !{!"VP", i32 0, i64 12345, i64 -3913987384944532146, i64 12345}