llvm/test/tools/llvm-profgen/Inputs/truncated-pseudoprobe.ll

   1 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   2 target triple = "x86_64-unknown-linux-gnu"
   3
   4 @.str = private unnamed_addr constant [11 x i8] c"sum is %d\0A\00", align 1
   5
   6 ; Function Attrs: nounwind readnone uwtable willreturn
   7 define dso_local i32 @bar(i32 %x, i32 %y) local_unnamed_addr #0 !dbg !10 {
   8 entry:
   9   call void @llvm.dbg.value(metadata i32 %x, metadata !15, metadata !DIExpression()), !dbg !17
  10   call void @llvm.dbg.value(metadata i32 %y, metadata !16, metadata !DIExpression()), !dbg !17
  11   call void @llvm.pseudoprobe(i64 -2012135647395072713, i64 1, i32 0, i64 -1), !dbg !18
  12   %rem = srem i32 %x, 3, !dbg !20
  13   %tobool.not = icmp eq i32 %rem, 0, !dbg !20
  14   call void @llvm.pseudoprobe(i64 -2012135647395072713, i64 2, i32 2, i64 -1), !dbg !21
  15   call void @llvm.pseudoprobe(i64 -2012135647395072713, i64 3, i32 2, i64 -1), !dbg !23
  16   %0 = sub i32 0, %y, !dbg !24
  17   %retval.0.p = select i1 %tobool.not, i32 %y, i32 %0, !dbg !24
  18   %retval.0 = add i32 %retval.0.p, %x, !dbg !24
  19   call void @llvm.pseudoprobe(i64 -2012135647395072713, i64 4, i32 0, i64 -1), !dbg !25
  20   ret i32 %retval.0, !dbg !25
  21 }
  22
  23 ; Function Attrs: noinline nounwind uwtable
  24 define dso_local void @foo() local_unnamed_addr #1 !dbg !26 {
  25 entry:
  26   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 1, i32 0, i64 -1), !dbg !32
  27   call void @llvm.dbg.value(metadata i32 0, metadata !30, metadata !DIExpression()), !dbg !33
  28   call void @llvm.dbg.value(metadata i32 0, metadata !31, metadata !DIExpression()), !dbg !33
  29   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 2, i32 0, i64 -1), !dbg !34
  30   call void @llvm.dbg.value(metadata i32 1, metadata !31, metadata !DIExpression()), !dbg !33
  31   br label %while.body, !dbg !35
  32
  33 while.body:                                       ; preds = %entry, %if.end
  34   %inc8 = phi i32 [ 1, %entry ], [ %inc, %if.end ]
  35   %s.07 = phi i32 [ 0, %entry ], [ %s.1, %if.end ]
  36   call void @llvm.dbg.value(metadata i32 %s.07, metadata !30, metadata !DIExpression()), !dbg !33
  37   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 3, i32 0, i64 -1), !dbg !36
  38   %rem = urem i32 %inc8, 91, !dbg !38
  39   %tobool.not = icmp eq i32 %rem, 0, !dbg !38
  40   br i1 %tobool.not, label %if.else, label %if.then, !dbg !39
  41
  42 if.then:                                          ; preds = %while.body
  43   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 4, i32 0, i64 -1), !dbg !40
  44   call void @llvm.dbg.value(metadata i32 %inc8, metadata !15, metadata !DIExpression()) #6, !dbg !41
  45   call void @llvm.dbg.value(metadata i32 %s.07, metadata !16, metadata !DIExpression()) #6, !dbg !41
  46   call void @llvm.pseudoprobe(i64 -2012135647395072713, i64 1, i32 0, i64 -1) #6, !dbg !44
  47   %rem.i = urem i32 %inc8, 3, !dbg !45
  48   %tobool.not.i = icmp eq i32 %rem.i, 0, !dbg !45
  49   %0 = sub i32 0, %s.07, !dbg !48
  50   %retval.0.p.i = select i1 %tobool.not.i, i32 %s.07, i32 %0, !dbg !48
  51   %retval.0.i = add i32 %retval.0.p.i, %inc8, !dbg !48
  52   call void @llvm.pseudoprobe(i64 -2012135647395072713, i64 4, i32 0, i64 -1) #6, !dbg !49
  53   call void @llvm.dbg.value(metadata i32 %retval.0.i, metadata !30, metadata !DIExpression()), !dbg !33
  54   br label %if.end, !dbg !50
  55
  56 if.else:                                          ; preds = %while.body
  57   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 5, i32 0, i64 -1), !dbg !51
  58   %add = add nsw i32 %s.07, 30, !dbg !51
  59   call void @llvm.dbg.value(metadata i32 %add, metadata !30, metadata !DIExpression()), !dbg !33
  60   br label %if.end
  61
  62 if.end:                                           ; preds = %if.else, %if.then
  63   %s.1 = phi i32 [ %retval.0.i, %if.then ], [ %add, %if.else ], !dbg !52
  64   call void @llvm.dbg.value(metadata i32 %s.1, metadata !30, metadata !DIExpression()), !dbg !33
  65   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 6, i32 0, i64 -1), !dbg !35
  66   call void @llvm.dbg.value(metadata i32 %inc8, metadata !31, metadata !DIExpression()), !dbg !33
  67   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 2, i32 0, i64 -1), !dbg !34
  68   %inc = add nuw nsw i32 %inc8, 1, !dbg !34
  69   call void @llvm.dbg.value(metadata i32 %inc, metadata !31, metadata !DIExpression()), !dbg !33
  70   %exitcond.not = icmp eq i32 %inc, 16000001, !dbg !53
  71   br i1 %exitcond.not, label %while.end, label %while.body, !dbg !35, !llvm.loop !54
  72
  73 while.end:                                        ; preds = %if.end
  74   call void @llvm.pseudoprobe(i64 6699318081062747564, i64 7, i32 0, i64 -1), !dbg !57
  75   %call1 = call i32 (ptr, ...) @printf(ptr nonnull dereferenceable(1) @.str, i32 %s.1), !dbg !58
  76   ret void, !dbg !60
  77 }
  78
  79 ; Function Attrs: nofree nounwind
  80 declare dso_local noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #2
  81
  82 ; Function Attrs: nounwind uwtable
  83 define dso_local i32 @main() local_unnamed_addr #3 !dbg !61 {
  84 entry:
  85   call void @llvm.pseudoprobe(i64 -2624081020897602054, i64 1, i32 0, i64 -1), !dbg !64
  86   call void @foo(), !dbg !65
  87   ret i32 0, !dbg !67
  88 }
  89
  90 ; Function Attrs: inaccessiblememonly nounwind willreturn
  91 declare void @llvm.pseudoprobe(i64, i64, i32, i64) #4
  92
  93 ; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
  94 declare void @llvm.dbg.value(metadata, metadata, metadata) #5
  95
  96 attributes #0 = { nounwind readnone uwtable willreturn "disable-tail-calls"="true" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
  97 attributes #1 = { noinline nounwind uwtable "disable-tail-calls"="true" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
  98 attributes #2 = { nofree nounwind "disable-tail-calls"="true" "frame-pointer"="all" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
  99 attributes #3 = { nounwind uwtable "disable-tail-calls"="true" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
 100 attributes #4 = { inaccessiblememonly nounwind willreturn }
 101 attributes #5 = { nofree nosync nounwind readnone speculatable willreturn }
 102 attributes #6 = { nounwind }
 103
 104 !llvm.dbg.cu = !{!0}
 105 !llvm.module.flags = !{!3, !4, !5}
 106 !llvm.ident = !{!6}
 107 !llvm.pseudo_probe_desc = !{!7, !8, !9}
 108
 109 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 12.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None)
 110 !1 = !DIFile(filename: "test.c", directory: "test")
 111 !2 = !{}
 112 !3 = !{i32 7, !"Dwarf Version", i32 4}
 113 !4 = !{i32 2, !"Debug Info Version", i32 3}
 114 !5 = !{i32 1, !"wchar_size", i32 4}
 115 !6 = !{!"clang version 12.0.0"}
 116 !7 = !{i64 -2012135647395072713, i64 72617220756, !"bar", null}
 117 !8 = !{i64 6699318081062747564, i64 563088904013236, !"foo", null}
 118 !9 = !{i64 -2624081020897602054, i64 281479271677951, !"main", null}
 119 !10 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !11, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !14)
 120 !11 = !DISubroutineType(types: !12)
 121 !12 = !{!13, !13, !13}
 122 !13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 123 !14 = !{!15, !16}
 124 !15 = !DILocalVariable(name: "x", arg: 1, scope: !10, file: !1, line: 3, type: !13)
 125 !16 = !DILocalVariable(name: "y", arg: 2, scope: !10, file: !1, line: 3, type: !13)
 126 !17 = !DILocation(line: 0, scope: !10)
 127 !18 = !DILocation(line: 4, column: 9, scope: !19)
 128 !19 = distinct !DILexicalBlock(scope: !10, file: !1, line: 4, column: 9)
 129 !20 = !DILocation(line: 4, column: 11, scope: !19)
 130 !21 = !DILocation(line: 5, column: 18, scope: !22)
 131 !22 = distinct !DILexicalBlock(scope: !19, file: !1, line: 4, column: 16)
 132 !23 = !DILocation(line: 7, column: 14, scope: !10)
 133 !24 = !DILocation(line: 4, column: 9, scope: !10)
 134 !25 = !DILocation(line: 8, column: 1, scope: !10)
 135 !26 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 11, type: !27, scopeLine: 11, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !29)
 136 !27 = !DISubroutineType(types: !28)
 137 !28 = !{null}
 138 !29 = !{!30, !31}
 139 !30 = !DILocalVariable(name: "s", scope: !26, file: !1, line: 12, type: !13)
 140 !31 = !DILocalVariable(name: "i", scope: !26, file: !1, line: 12, type: !13)
 141 !32 = !DILocation(line: 12, column: 5, scope: !26)
 142 !33 = !DILocation(line: 0, scope: !26)
 143 !34 = !DILocation(line: 13, column: 15, scope: !26)
 144 !35 = !DILocation(line: 13, column: 7, scope: !26)
 145 !36 = !DILocation(line: 14, column: 17, scope: !37)
 146 !37 = distinct !DILexicalBlock(scope: !26, file: !1, line: 14, column: 17)
 147 !38 = !DILocation(line: 14, column: 19, scope: !37)
 148 !39 = !DILocation(line: 14, column: 17, scope: !26)
 149 !40 = !DILocation(line: 14, column: 33, scope: !37)
 150 !41 = !DILocation(line: 0, scope: !10, inlinedAt: !42)
 151 !42 = distinct !DILocation(line: 14, column: 29, scope: !43)
 152 !43 = !DILexicalBlockFile(scope: !37, file: !1, discriminator: 186646599)
 153 !44 = !DILocation(line: 4, column: 9, scope: !19, inlinedAt: !42)
 154 !45 = !DILocation(line: 4, column: 11, scope: !19, inlinedAt: !42)
 155 !46 = !DILocation(line: 5, column: 18, scope: !22, inlinedAt: !42)
 156 !47 = !DILocation(line: 7, column: 14, scope: !10, inlinedAt: !42)
 157 !48 = !DILocation(line: 4, column: 9, scope: !10, inlinedAt: !42)
 158 !49 = !DILocation(line: 8, column: 1, scope: !10, inlinedAt: !42)
 159 !50 = !DILocation(line: 14, column: 25, scope: !37)
 160 !51 = !DILocation(line: 14, column: 47, scope: !37)
 161 !52 = !DILocation(line: 0, scope: !37)
 162 !53 = !DILocation(line: 13, column: 18, scope: !26)
 163 !54 = distinct !{!54, !35, !55, !56}
 164 !55 = !DILocation(line: 14, column: 50, scope: !26)
 165 !56 = !{!"llvm.loop.mustprogress"}
 166 !57 = !DILocation(line: 15, column: 31, scope: !26)
 167 !58 = !DILocation(line: 15, column: 9, scope: !59)
 168 !59 = !DILexicalBlockFile(scope: !26, file: !1, discriminator: 186646607)
 169 !60 = !DILocation(line: 16, column: 1, scope: !26)
 170 !61 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 18, type: !62, scopeLine: 18, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)
 171 !62 = !DISubroutineType(types: !63)
 172 !63 = !{!13}
 173 !64 = !DILocation(line: 19, column: 5, scope: !61)
 174 !65 = !DILocation(line: 19, column: 5, scope: !66)
 175 !66 = !DILexicalBlockFile(scope: !61, file: !1, discriminator: 7)
 176 !67 = !DILocation(line: 20, column: 7, scope: !61)