llvm/test/Transforms/PGOProfile/indirect_call_promotion_unique.ll

   1 ; RUN: opt < %s -passes=pgo-icall-prom -S | FileCheck %s
   2
   3 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 @foo = common global i32 ()* null, align 8
   7
   8 ; The names on the IR and in the profile are both "func1".
   9 define i32 @func1() {
  10 entry:
  11   ret i32 1
  12 }
  13
  14 define i32 @bar1() {
  15 entry:
  16   %tmp1 = load i32 ()*, i32 ()** @foo, align 8
  17 ; CHECK: icmp eq i32 ()* %tmp1, @func1
  18   %call = call i32 %tmp1(), !prof !1
  19   ret i32 %call
  20 }
  21
  22 ; The name on the IR has ".llvm." suffix: "func2.llvm.10895321227755557127".
  23 ; The name in the profile has no ".llvm." suffix: "func2".
  24 define i32 @func2.llvm.10895321227755557127() {
  25 entry:
  26   ret i32 1
  27 }
  28
  29 define i32 @bar2() {
  30 entry:
  31   %tmp2 = load i32 ()*, i32 ()** @foo, align 8
  32 ; CHECK: icmp eq i32 ()* %tmp2, @func2.llvm.10895321227755557127
  33   %call = call i32 %tmp2(), !prof !2
  34   ret i32 %call
  35 }
  36
  37 ; The names on the IR and in the profile are both
  38 ; "func3.__uniq.258901567653530696343884446915951489119".
  39 define i32 @func3.__uniq.258901567653530696343884446915951489119() {
  40 entry:
  41   ret i32 2
  42 }
  43
  44 define i32 @bar3() {
  45 entry:
  46   %tmp3 = load i32 ()*, i32 ()** @foo, align 8
  47 ; CHECK: icmp eq i32 ()* %tmp3, @func3.__uniq.258901567653530696343884446915951489119
  48   %call = call i32 %tmp3(), !prof !3
  49   ret i32 %call
  50 }
  51
  52 ; The name on the IR has ".__uniq." and ".llvm." suffix:
  53 ; "func4.__uniq.140291095734751150107370763113257199296.llvm.10650195578168450516".
  54 ; The name in the profile has ".__uniq." but no ".llvm." suffix:
  55 ; "func4.__uniq.140291095734751150107370763113257199296".
  56 define i32 @func4.__uniq.140291095734751150107370763113257199296.llvm.10650195578168450516() {
  57 entry:
  58   ret i32 3
  59 }
  60
  61 define i32 @bar4() {
  62 entry:
  63   %tmp4 = load i32 ()*, i32 ()** @foo, align 8
  64 ; CHECK: icmp eq i32 ()* %tmp4, @func4.__uniq.140291095734751150107370763113257199296.llvm.10650195578168450516
  65   %call = call i32 %tmp4(), !prof !4
  66   ret i32 %call
  67 }
  68
  69 ; The name on the IR has ".__uniq.", ".part." and ".llvm." suffix:
  70 ; "func4.__uniq.127882361580787111523790444488985774976.part.818292359123831.llvm.10650195578168450516".
  71 ; The name in the profile has ".__uniq." but no ".llvm." and no ".part." suffix:
  72 ; "func4.__uniq.127882361580787111523790444488985774976".
  73 define i32 @func5.__uniq.127882361580787111523790444488985774976.part.818292359123831.llvm.10650195578168450516() {
  74 entry:
  75   ret i32 3
  76 }
  77
  78 define i32 @bar5() {
  79 entry:
  80   %tmp5 = load i32 ()*, i32 ()** @foo, align 8
  81 ; CHECK: icmp eq i32 ()* %tmp5, @func5.__uniq.127882361580787111523790444488985774976.part.818292359123831.llvm.10650195578168450516
  82   %call = call i32 %tmp5(), !prof !5
  83   ret i32 %call
  84 }
  85
  86 ; Check symbol with '.' in the front is handled properly.
  87 define i32 @..func6() {
  88 entry:
  89   ret i32 3
  90 }
  91
  92 ; GUID of "func1" is -2545542355363006406.
  93 ; GUID of "func2" is -4377547752858689819.
  94 ; GUID of "func3.__uniq.258901567653530696343884446915951489119" is 8271224222042874235.
  95 ; GUID of "func4.__uniq.140291095734751150107370763113257199296" is 1491826207425861106.
  96 ; GUID of "func5.__uniq.127882361580787111523790444488985774976" is -4238550483433487304.
  97 !1 = !{!"VP", i32 0, i64 1600, i64 -2545542355363006406, i64 1600}
  98 !2 = !{!"VP", i32 0, i64 1600, i64 -4377547752858689819, i64 1600}
  99 !3 = !{!"VP", i32 0, i64 1600, i64 8271224222042874235, i64 1600}
 100 !4 = !{!"VP", i32 0, i64 1600, i64 1491826207425861106, i64 1600}
 101 !5 = !{!"VP", i32 0, i64 1600, i64 -4238550483433487304, i64 1600}