llvm/test/Transforms/PGOProfile/icp_vtable_tail_call.ll

   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
   3 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
   4 target 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
  12 define 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 ;
  35 entry:
  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
  44 declare i1 @llvm.type.test(ptr, metadata)
  45 declare void @llvm.assume(i1)
  46
  47 define i32 @_ZN7Derived5func1Eii(ptr %this, i32 %a, i32 %b) {
  48 entry:
  49   %sub = sub nsw i32 %a, %b
  50   ret i32 %sub
  51 }
  52
  53 define i32 @_ZN4Base5func1Eii(ptr %this, i32 %a, i32 %b) {
  54 entry:
  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}