Follow up to d0858bffa11, add missing REQUIRES x86
[llvm-project.git] / llvm / test / Transforms / PGOProfile / indirect_call_promotion_byval.ll
blob6272a80b00a14147709956d99f39a3130fbcf40c
1 ; RUN: opt < %s -passes=pgo-icall-prom -S -icp-total-percent-threshold=10 | FileCheck %s
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.
7 target triple = "i686-unknown-linux-gnu"
9 %struct.Foo.1 = type { i32 }
10 %struct.Foo.2 = type { i32 }
12 @foo = common global ptr null, align 8
14 define i32 @func4(ptr byval(%struct.Foo.1) %p) {
15 entry:
16   %v = load i32, ptr %p
17   ret i32 %v
20 define i32 @func5(ptr byval(%struct.Foo.1) %p) {
21 entry:
22   %v = load i32, ptr %p
23   ret i32 %v
26 define i32 @bar(ptr %f2) {
27 entry:
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
33 !1 = !{!"VP", i32 0, i64 3000, i64 7651369219802541373, i64 1000, i64 3667884930908592509, i64 1000}
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)