69 lines · plain
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,REMARK2 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 !310@_ZTV4Base = constant { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN4Base5func1Eii] }, !type !0, !type !111 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 817; 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 832; 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 !437 %0 = tail call i1 @llvm.type.test(ptr %vtable, metadata !"_ZTS4Base")38 tail call void @llvm.assume(i1 %0)39 %1 = load ptr, ptr %vtable40 %call = musttail call i32 %1(ptr %ptr, i32 %a, i32 %b), !prof !541 ret i32 %call42}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, %b50 ret i32 %sub51}52 53define i32 @_ZN4Base5func1Eii(ptr %this, i32 %a, i32 %b) {54entry:55 %add = add nsw i32 %b, %a56 ret i32 %add57}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