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