43 lines · plain
1; RUN: opt < %s -passes=pgo-icall-prom -S -icp-total-percent-threshold=10 | FileCheck %s2 3; PR42413: Previously the call promotion code did not correctly update the byval4; attribute. Check that it does. This situation can come up in LTO scenarios5; 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 813 14define i32 @func4(ptr byval(%struct.Foo.1) %p) {15entry:16 %v = load i32, ptr %p17 ret i32 %v18}19 20define i32 @func5(ptr byval(%struct.Foo.1) %p) {21entry:22 %v = load i32, ptr %p23 ret i32 %v24}25 26define i32 @bar(ptr %f2) {27entry:28 %tmp = load ptr, ptr @foo, align 829 %call = call i32 %tmp(ptr byval(%struct.Foo.2) %f2), !prof !130 ret i32 %call31}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