1; RUN: opt < %s -passes='pgo-icall-prom' -pass-remarks=pgo-icall-prom -enable-vtable-profile-use -S 2>&1 | FileCheck %s --check-prefixes=VTABLE,REMARK 2 3target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128" 4target triple = "x86_64-unknown-linux-gnu" 5 6; REMARK: remark: <unknown>:0:0: Promote indirect call to _ZN7Derived5func1Eii with count 900 out of 1600, sink 1 instruction(s) and compare 1 vtable(s): {_ZTV7Derived} 7; REMARK: remark: <unknown>:0:0: Promote indirect call to _ZN4Base5func1Eii with count 700 out of 700, sink 1 instruction(s) and compare 1 vtable(s): {_ZTV4Base} 8 9@_ZTV7Derived = constant { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN7Derived5func1Eii] }, !type !0, !type !1, !type !2, !type !3 10@_ZTV4Base = constant { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN4Base5func1Eii] }, !type !0, !type !1 11 12define i32 @test_tail_call(ptr %ptr, i32 %a, i32 %b) { 13; VTABLE-LABEL: define i32 @test_tail_call( 14; VTABLE-SAME: ptr [[PTR:%.*]], i32 [[A:%.*]], i32 [[B:%.*]]) { 15; VTABLE-NEXT: entry: 16; VTABLE-NEXT: [[VTABLE:%.*]] = load ptr, ptr [[PTR]], align 8 17; VTABLE-NEXT: [[TMP0:%.*]] = tail call i1 @llvm.type.test(ptr [[VTABLE]], metadata !"_ZTS4Base") 18; VTABLE-NEXT: tail call void @llvm.assume(i1 [[TMP0]]) 19; VTABLE-NEXT: [[TMP2:%.*]] = icmp eq ptr [[VTABLE]], getelementptr inbounds (i8, ptr @_ZTV7Derived, i32 16) 20; VTABLE-NEXT: br i1 [[TMP2]], label [[IF_TRUE_DIRECT_TARG:%.*]], label [[TMP4:%.*]], !prof [[PROF4:![0-9]+]] 21; VTABLE: if.true.direct_targ: 22; VTABLE-NEXT: [[TMP3:%.*]] = musttail call i32 @_ZN7Derived5func1Eii(ptr [[PTR]], i32 [[A]], i32 [[B]]) 23; VTABLE-NEXT: ret i32 [[TMP3]] 24; VTABLE: 3: 25; VTABLE-NEXT: [[TMP4:%.*]] = icmp eq ptr [[VTABLE]], getelementptr inbounds (i8, ptr @_ZTV4Base, i32 16) 26; VTABLE-NEXT: br i1 [[TMP4]], label [[IF_TRUE_DIRECT_TARG1:%.*]], label [[TMP7:%.*]], !prof [[PROF5:![0-9]+]] 27; VTABLE: if.true.direct_targ1: 28; VTABLE-NEXT: [[TMP6:%.*]] = musttail call i32 @_ZN4Base5func1Eii(ptr [[PTR]], i32 [[A]], i32 [[B]]) 29; VTABLE-NEXT: ret i32 [[TMP6]] 30; VTABLE: 6: 31; VTABLE-NEXT: [[TMP1:%.*]] = load ptr, ptr [[VTABLE]], align 8 32; VTABLE-NEXT: [[CALL:%.*]] = musttail call i32 [[TMP1]](ptr [[PTR]], i32 [[A]], i32 [[B]]) 33; VTABLE-NEXT: ret i32 [[CALL]] 34; 35entry: 36 %vtable = load ptr, ptr %ptr, !prof !4 37 %0 = tail call i1 @llvm.type.test(ptr %vtable, metadata !"_ZTS4Base") 38 tail call void @llvm.assume(i1 %0) 39 %1 = load ptr, ptr %vtable 40 %call = musttail call i32 %1(ptr %ptr, i32 %a, i32 %b), !prof !5 41 ret i32 %call 42} 43 44declare i1 @llvm.type.test(ptr, metadata) 45declare void @llvm.assume(i1) 46 47define i32 @_ZN7Derived5func1Eii(ptr %this, i32 %a, i32 %b) { 48entry: 49 %sub = sub nsw i32 %a, %b 50 ret i32 %sub 51} 52 53define i32 @_ZN4Base5func1Eii(ptr %this, i32 %a, i32 %b) { 54entry: 55 %add = add nsw i32 %b, %a 56 ret i32 %add 57} 58 59 60!0 = !{i64 16, !"_ZTS4Base"} 61!1 = !{i64 16, !"_ZTSM4BaseFiiiE.virtual"} 62!2 = !{i64 16, !"_ZTS7Derived"} 63!3 = !{i64 16, !"_ZTSM7DerivedFiiiE.virtual"} 64!4 = !{!"VP", i32 2, i64 1600, i64 13870436605473471591, i64 900, i64 1960855528937986108, i64 700} 65!5 = !{!"VP", i32 0, i64 1600, i64 7889036118036845314, i64 900, i64 10495086226207060333, i64 700} 66 67; VTABLE: [[PROF4]] = !{!"branch_weights", i32 900, i32 700} 68; VTABLE: [[PROF5]] = !{!"branch_weights", i32 700, i32 0} 69