xref: /llvm-project/llvm/test/Transforms/PGOProfile/indirect_call_promotion_byval.ll (revision 9ff36df5a4a7d52c51e950522870bb64912688d2) 
1; RUN: opt < %s -passes=pgo-icall-prom -S -icp-total-percent-threshold=10 | FileCheck %s
2
3; PR42413: Previously the call promotion code did not correctly update the byval
4; attribute. Check that it does. This situation can come up in LTO scenarios
5; where struct types end up not matching.
6
7target triple = "i686-unknown-linux-gnu"
8
9%struct.Foo.1 = type { i32 }
10%struct.Foo.2 = type { i32 }
11
12@foo = common global ptr null, align 8
13
14define i32 @func4(ptr byval(%struct.Foo.1) %p) {
15entry:
16  %v = load i32, ptr %p
17  ret i32 %v
18}
19
20define i32 @func5(ptr byval(%struct.Foo.1) %p) {
21entry:
22  %v = load i32, ptr %p
23  ret i32 %v
24}
25
26define i32 @bar(ptr %f2) {
27entry:
28  %tmp = load ptr, ptr @foo, align 8
29  %call = call i32 %tmp(ptr byval(%struct.Foo.2) %f2), !prof !1
30  ret i32 %call
31}
32
33!1 = !{!"VP", i32 0, i64 3000, i64 7651369219802541373, i64 1000, i64 3667884930908592509, i64 1000}
34
35
36; CHECK: define i32 @bar(ptr %f2)
37;     Use byval(%struct.Foo.2).
38; CHECK: call i32 @func4(ptr byval(%struct.Foo.2) %f2)
39;     Same but when callee doesn't have explicit byval type.
40; CHECK: call i32 @func5(ptr byval(%struct.Foo.2) %f2)
41;     Original call stays the same.
42; CHECK: call i32 %tmp(ptr byval(%struct.Foo.2) %f2)
43