llvm/test/Transforms/PGOProfile/chr-poison.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes='require<profile-summary>,function(chr)' -S | FileCheck %s
   3
   4 ; Make sure we freeze poison.
   5 define void @chr_poison(i1 %arg) !prof !15 {
   6 ; CHECK-LABEL: @chr_poison(
   7 ; CHECK-NEXT:    [[TMP1:%.*]] = freeze i1 poison
   8 ; CHECK-NEXT:    [[TMP2:%.*]] = select i1 true, i1 [[TMP1]], i1 false
   9 ; CHECK-NEXT:    [[TMP3:%.*]] = freeze i1 [[ARG:%.*]]
  10 ; CHECK-NEXT:    [[TMP4:%.*]] = select i1 [[TMP2]], i1 [[TMP3]], i1 false
  11 ; CHECK-NEXT:    br i1 [[TMP4]], label [[DOTSPLIT:%.*]], label [[DOTSPLIT_NONCHR:%.*]], !prof [[PROF30:![0-9]+]]
  12 ; CHECK:       .split:
  13 ; CHECK-NEXT:    br i1 false, label [[BB3:%.*]], label [[BB4:%.*]]
  14 ; CHECK:       bb3:
  15 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 false, ptr null, ptr null
  16 ; CHECK-NEXT:    br label [[BB6:%.*]]
  17 ; CHECK:       bb4:
  18 ; CHECK-NEXT:    br i1 true, label [[BB6]], label [[BB5:%.*]], !prof [[PROF31:![0-9]+]]
  19 ; CHECK:       bb5:
  20 ; CHECK-NEXT:    br label [[BB6]]
  21 ; CHECK:       bb6:
  22 ; CHECK-NEXT:    br i1 false, label [[BB9:%.*]], label [[BB7:%.*]]
  23 ; CHECK:       bb7:
  24 ; CHECK-NEXT:    br i1 true, label [[BB9]], label [[BB8:%.*]], !prof [[PROF32:![0-9]+]]
  25 ; CHECK:       bb8:
  26 ; CHECK-NEXT:    br label [[BB9]]
  27 ; CHECK:       .split.nonchr:
  28 ; CHECK-NEXT:    br i1 false, label [[BB3_NONCHR:%.*]], label [[BB4_NONCHR:%.*]]
  29 ; CHECK:       bb3.nonchr:
  30 ; CHECK-NEXT:    [[SEL_NONCHR:%.*]] = select i1 false, ptr null, ptr null
  31 ; CHECK-NEXT:    br label [[BB6_NONCHR:%.*]]
  32 ; CHECK:       bb4.nonchr:
  33 ; CHECK-NEXT:    br i1 poison, label [[BB6_NONCHR]], label [[BB5_NONCHR:%.*]], !prof [[PROF31]]
  34 ; CHECK:       bb5.nonchr:
  35 ; CHECK-NEXT:    br label [[BB6_NONCHR]]
  36 ; CHECK:       bb6.nonchr:
  37 ; CHECK-NEXT:    br i1 false, label [[BB9]], label [[BB7_NONCHR:%.*]]
  38 ; CHECK:       bb7.nonchr:
  39 ; CHECK-NEXT:    br i1 [[ARG]], label [[BB9]], label [[BB8_NONCHR:%.*]], !prof [[PROF32]]
  40 ; CHECK:       bb8.nonchr:
  41 ; CHECK-NEXT:    br label [[BB9]]
  42 ; CHECK:       bb9:
  43 ; CHECK-NEXT:    ret void
  44 ;
  45   br i1 false, label %bb3, label %bb4
  46
  47 bb3:
  48   %sel = select i1 false, ptr null, ptr null
  49   br label %bb6
  50
  51 bb4:
  52   br i1 poison, label %bb6, label %bb5, !prof !16
  53
  54 bb5:
  55   br label %bb6
  56
  57 bb6:
  58   br i1 false, label %bb9, label %bb7
  59
  60 bb7:
  61   br i1 %arg, label %bb9, label %bb8, !prof !17
  62
  63 bb8:
  64   br label %bb9
  65
  66 bb9:
  67   ret void
  68 }
  69
  70 !llvm.module.flags = !{!0}
  71
  72 !0 = !{i32 1, !"ProfileSummary", !1}
  73 !1 = !{!2, !3, !4, !5, !6, !7, !8, !9, !10, !11}
  74 !2 = !{!"ProfileFormat", !"SampleProfile"}
  75 !3 = !{!"TotalCount", i64 2625732223}
  76 !4 = !{!"MaxCount", i64 6099111}
  77 !5 = !{!"MaxInternalCount", i64 0}
  78 !6 = !{!"MaxFunctionCount", i64 1000000}
  79 !7 = !{!"NumCounts", i64 1000000}
  80 !8 = !{!"NumFunctions", i64 14940}
  81 !9 = !{!"IsPartialProfile", i64 0}
  82 !10 = !{!"PartialProfileRatio", double 0.000000e+00}
  83 !11 = !{!"DetailedSummary", !12}
  84 !12 = !{!13, !14}
  85 !13 = !{i32 100000, i64 6083920, i32 44}
  86 !14 = !{i32 999999, i64 1, i32 1000000}
  87 !15 = !{!"function_entry_count", i64 1000}
  88 !16 = !{!"branch_weights", i32 1, i32 0}
  89 !17 = !{!"branch_weights", i32 1, i32 0}