test/Transforms/PGOProfile/memop_size_annotation.ll

   1 ; RUN: llvm-profdata merge %S/Inputs/memop_size_annotation.proftext -o %t.profdata
   2 ; RUN: opt < %s -pgo-instr-use -memop-max-annotations=9 -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefixes=MEMOP_ANNOTATION,MEMOP_ANNOTATION9
   3 ; RUN: opt < %s -passes=pgo-instr-use -memop-max-annotations=9 -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefixes=MEMOP_ANNOTATION,MEMOP_ANNOTATION9
   4 ; RUN: opt < %s -pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefixes=MEMOP_ANNOTATION,MEMOP_ANNOTATION4
   5 ; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefixes=MEMOP_ANNOTATION,MEMOP_ANNOTATION4
   6
   7 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   8 target triple = "x86_64-unknown-linux-gnu"
   9
  10 define void @foo(i8* %dst, i8* %src, i32* %a, i32 %n) {
  11 entry:
  12   br label %for.cond
  13
  14 for.cond:
  15   %i.0 = phi i32 [ 0, %entry ], [ %inc5, %for.inc4 ]
  16   %cmp = icmp slt i32 %i.0, %n
  17   br i1 %cmp, label %for.body, label %for.end6
  18
  19 for.body:
  20   br label %for.cond1
  21
  22 for.cond1:
  23   %j.0 = phi i32 [ 0, %for.body ], [ %inc, %for.inc ]
  24   %idx.ext = sext i32 %i.0 to i64
  25   %add.ptr = getelementptr inbounds i32, i32* %a, i64 %idx.ext
  26   %0 = load i32, i32* %add.ptr, align 4
  27   %cmp2 = icmp slt i32 %j.0, %0
  28   br i1 %cmp2, label %for.body3, label %for.end
  29
  30 for.body3:
  31   %add = add nsw i32 %i.0, 1
  32   %conv = sext i32 %add to i64
  33   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %conv, i1 false)
  34 ; MEMOP_ANNOTATION: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %conv, i1 false)
  35 ; MEMOP_ANNOTATION-SAME: !prof ![[MEMOP_VALUESITE:[0-9]+]]
  36 ; MEMOP_ANNOTATION9: ![[MEMOP_VALUESITE]] = !{!"VP", i32 1, i64 556, i64 1, i64 99, i64 2, i64 88, i64 3, i64 77, i64 9, i64 72, i64 4, i64 66, i64 5, i64 55, i64 6, i64 44, i64 7, i64 33, i64 8, i64 22}
  37 ; MEMOP_ANNOTATION4: ![[MEMOP_VALUESITE]] = !{!"VP", i32 1, i64 556, i64 1, i64 99, i64 2, i64 88, i64 3, i64 77, i64 9, i64 72}
  38   br label %for.inc
  39
  40 for.inc:
  41   %inc = add nsw i32 %j.0, 1
  42   br label %for.cond1
  43
  44 for.end:
  45   br label %for.inc4
  46
  47 for.inc4:
  48   %inc5 = add nsw i32 %i.0, 1
  49   br label %for.cond
  50
  51 for.end6:
  52   ret void
  53 }
  54
  55 declare void @llvm.lifetime.start(i64, i8* nocapture)
  56
  57 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1)
  58
  59 declare void @llvm.lifetime.end(i64, i8* nocapture)