llvm/test/Transforms/Attributor/ArgumentPromotion/profile.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=3 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=3 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
   5 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
   6 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   7
   8 ; Checks if !prof metadata is corret in deadargelim.
   9
  10 define void @caller() #0 {
  11 ; IS________OPM-LABEL: define {{[^@]+}}@caller() {
  12 ; IS________OPM-NEXT:    [[X:%.*]] = alloca i32, align 4
  13 ; IS________OPM-NEXT:    store i32 42, i32* [[X]], align 4
  14 ; IS________OPM-NEXT:    call void @promote_i32_ptr(i32* noalias nocapture nofree noundef nonnull readonly align 4 dereferenceable(4) [[X]]), !prof [[PROF0:![0-9]+]]
  15 ; IS________OPM-NEXT:    ret void
  16 ;
  17 ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@caller() {
  18 ; IS__TUNIT_NPM-NEXT:    [[X:%.*]] = alloca i32, align 4
  19 ; IS__TUNIT_NPM-NEXT:    store i32 42, i32* [[X]], align 4
  20 ; IS__TUNIT_NPM-NEXT:    [[TMP1:%.*]] = load i32, i32* [[X]], align 4
  21 ; IS__TUNIT_NPM-NEXT:    call void @promote_i32_ptr(i32 [[TMP1]]), !prof [[PROF0:![0-9]+]]
  22 ; IS__TUNIT_NPM-NEXT:    ret void
  23 ;
  24 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@caller() {
  25 ; IS__CGSCC_NPM-NEXT:    call void @promote_i32_ptr(i32 undef), !prof [[PROF0:![0-9]+]]
  26 ; IS__CGSCC_NPM-NEXT:    ret void
  27 ;
  28   %x = alloca i32
  29   store i32 42, i32* %x
  30   call void @promote_i32_ptr(i32* %x), !prof !0
  31   ret void
  32 }
  33
  34 define internal void @promote_i32_ptr(i32* %xp) {
  35 ; IS________OPM-LABEL: define {{[^@]+}}@promote_i32_ptr
  36 ; IS________OPM-SAME: (i32* noalias nocapture nofree noundef nonnull readonly align 4 dereferenceable(4) [[XP:%.*]]) {
  37 ; IS________OPM-NEXT:    [[X:%.*]] = load i32, i32* [[XP]], align 4
  38 ; IS________OPM-NEXT:    call void @use_i32(i32 [[X]])
  39 ; IS________OPM-NEXT:    ret void
  40 ;
  41 ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@promote_i32_ptr
  42 ; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]]) {
  43 ; IS__TUNIT_NPM-NEXT:    [[XP_PRIV:%.*]] = alloca i32, align 4
  44 ; IS__TUNIT_NPM-NEXT:    store i32 [[TMP0]], i32* [[XP_PRIV]], align 4
  45 ; IS__TUNIT_NPM-NEXT:    [[X:%.*]] = load i32, i32* [[XP_PRIV]], align 4
  46 ; IS__TUNIT_NPM-NEXT:    call void @use_i32(i32 [[X]])
  47 ; IS__TUNIT_NPM-NEXT:    ret void
  48 ;
  49 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@promote_i32_ptr
  50 ; IS__CGSCC_NPM-SAME: (i32 [[TMP0:%.*]]) {
  51 ; IS__CGSCC_NPM-NEXT:    [[XP_PRIV:%.*]] = alloca i32, align 4
  52 ; IS__CGSCC_NPM-NEXT:    [[X:%.*]] = load i32, i32* [[XP_PRIV]], align 4
  53 ; IS__CGSCC_NPM-NEXT:    call void @use_i32(i32 42)
  54 ; IS__CGSCC_NPM-NEXT:    ret void
  55 ;
  56   %x = load i32, i32* %xp
  57   call void @use_i32(i32 %x)
  58   ret void
  59 }
  60
  61 declare void @use_i32(i32)
  62
  63 !0 = !{!"branch_weights", i32 30}
  64 ;.
  65 ; CHECK: [[META0:![0-9]+]] = !{!"branch_weights", i32 30}
  66 ;.