xref: /llvm-project/llvm/test/Transforms/PGOProfile/memop_profile_funclet.ll (revision 9ff36df5a4a7d52c51e950522870bb64912688d2) 
1; RUN: opt < %s -passes=pgo-instr-gen -S | FileCheck %s --check-prefix=GEN
2; RUN: opt < %s -passes=pgo-instr-gen,instrprof -S | FileCheck %s --check-prefixes=LOWER
3
4; This test is to verify that PGO runtime library calls get created with the
5; appropriate operand bundle funclet information when a memory intrinsic
6; being value profiled is called within an exception handler.
7
8; Test case based on this source:
9;  #include <memory.h>
10;
11;  extern void may_throw(int);
12;
13;  #define MSG "0123456789012345\0"
14;  unsigned len = 16;
15;  char msg[200];
16;
17;  void run(int count) {
18;    try {
19;      may_throw(count);
20;    }
21;    catch (...) {
22;      memcpy(msg, MSG, len);
23;      throw;
24;    }
25;  }
26
27%eh.ThrowInfo = type { i32, i32, i32, i32 }
28
29$"??_C@_0BC@CABPINND@Exception?5caught?$AA?$AA@" = comdat any
30
31@"?len@@3IA" = dso_local global i32 16, align 4
32@"?msg@@3PADA" = dso_local global [200 x i8] zeroinitializer, align 16
33@"??_C@_0BC@CABPINND@Exception?5caught?$AA?$AA@" = linkonce_odr dso_local unnamed_addr constant [18 x i8] c"0123456789012345\00\00", comdat, align 1
34
35define dso_local void @"?run@@YAXH@Z"(i32 %count) personality ptr @__CxxFrameHandler3 {
36entry:
37  invoke void @"?may_throw@@YAXH@Z"(i32 %count)
38          to label %try.cont unwind label %catch.dispatch
39
40catch.dispatch:                                   ; preds = %entry
41  %tmp = catchswitch within none [label %catch] unwind to caller
42
43catch:                                            ; preds = %catch.dispatch
44  %tmp1 = catchpad within %tmp [ptr null, i32 64, ptr null]
45  %tmp2 = load i32, ptr @"?len@@3IA", align 4
46  %conv = zext i32 %tmp2 to i64
47  call void @llvm.memcpy.p0.p0.i64(
48    ptr @"?msg@@3PADA",
49    ptr @"??_C@_0BC@CABPINND@Exception?5caught?$AA?$AA@",
50    i64 %conv, i1 false)
51  call void @_CxxThrowException(ptr null, ptr null) #3 [ "funclet"(token %tmp1) ]
52  unreachable
53
54try.cont:                                         ; preds = %entry
55  ret void
56}
57
58; GEN: catch:
59; GEN: call void @llvm.instrprof.value.profile(
60; GEN-SAME: [ "funclet"(token %tmp1) ]
61
62; LOWER: catch:
63; LOWER: call void @__llvm_profile_instrument_memop(
64; LOWER-SAME: [ "funclet"(token %tmp1) ]
65
66declare dso_local void @"?may_throw@@YAXH@Z"(i32)
67declare dso_local i32 @__CxxFrameHandler3(...)
68
69declare void @llvm.memcpy.p0.p0.i64(ptr, ptr, i64, i1)
70declare dso_local void @_CxxThrowException(ptr, ptr)
71