[PATCH] D63842: [PGO] Update ICP pass for recent byval type changes
Reid Kleckner via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 1 15:44:50 PDT 2019
This revision was not accepted when it landed; it landed in state "Needs Review".
This revision was automatically updated to reflect the committed changes.
Closed by commit rL364861: [PGO] Update ICP pass for recent byval type changes (authored by rnk, committed by ).
Changed prior to commit:
https://reviews.llvm.org/D63842?vs=207034&id=207423#toc
Repository:
rL LLVM
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D63842/new/
https://reviews.llvm.org/D63842
Files:
llvm/trunk/lib/Transforms/Utils/CallPromotionUtils.cpp
llvm/trunk/test/Transforms/PGOProfile/indirect_call_promotion_byval.ll
Index: llvm/trunk/test/Transforms/PGOProfile/indirect_call_promotion_byval.ll
===================================================================
--- llvm/trunk/test/Transforms/PGOProfile/indirect_call_promotion_byval.ll
+++ llvm/trunk/test/Transforms/PGOProfile/indirect_call_promotion_byval.ll
@@ -0,0 +1,47 @@
+; RUN: opt < %s -pgo-icall-prom -S -icp-total-percent-threshold=10 | FileCheck %s
+; RUN: opt < %s -passes=pgo-icall-prom -S -icp-total-percent-threshold=10 | FileCheck %s
+
+; PR42413: Previously the call promotion code did not correctly update the byval
+; attribute. Check that it does. This situation can come up in LTO scenarios
+; where struct types end up not matching.
+
+target triple = "i686-unknown-linux-gnu"
+
+%struct.Foo.1 = type { i32 }
+%struct.Foo.2 = type { i32 }
+
+ at foo = common global i32 (%struct.Foo.2*)* null, align 8
+
+define i32 @func4(%struct.Foo.1* byval(%struct.Foo.1) %p) {
+entry:
+ %gep = getelementptr inbounds %struct.Foo.1, %struct.Foo.1* %p, i32 0, i32 0
+ %v = load i32, i32* %gep
+ ret i32 %v
+}
+
+define i32 @func5(%struct.Foo.1* byval %p) {
+entry:
+ %gep = getelementptr inbounds %struct.Foo.1, %struct.Foo.1* %p, i32 0, i32 0
+ %v = load i32, i32* %gep
+ ret i32 %v
+}
+
+define i32 @bar(%struct.Foo.2* %f2) {
+entry:
+ %tmp = load i32 (%struct.Foo.2*)*, i32 (%struct.Foo.2*)** @foo, align 8
+ %call = call i32 %tmp(%struct.Foo.2* byval(%struct.Foo.2) %f2), !prof !1
+ ret i32 %call
+}
+
+!1 = !{!"VP", i32 0, i64 3000, i64 7651369219802541373, i64 1000, i64 3667884930908592509, i64 1000}
+
+
+; CHECK: define i32 @bar(%struct.Foo.2* %f2)
+; Cast %struct.Foo.2* to %struct.Foo.1* and use byval(%struct.Foo.2).
+; CHECK: %[[cast:[^ ]*]] = bitcast %struct.Foo.2* %f2 to %struct.Foo.1*
+; CHECK: call i32 @func4(%struct.Foo.1* byval(%struct.Foo.1) %[[cast]])
+; Same but when callee doesn't have explicit byval type.
+; CHECK: %[[cast:[^ ]*]] = bitcast %struct.Foo.2* %f2 to %struct.Foo.1*
+; CHECK: call i32 @func5(%struct.Foo.1* byval(%struct.Foo.1) %[[cast]])
+; Original call stays the same.
+; CHECK: call i32 %tmp(%struct.Foo.2* byval(%struct.Foo.2) %f2)
Index: llvm/trunk/lib/Transforms/Utils/CallPromotionUtils.cpp
===================================================================
--- llvm/trunk/lib/Transforms/Utils/CallPromotionUtils.cpp
+++ llvm/trunk/lib/Transforms/Utils/CallPromotionUtils.cpp
@@ -412,6 +412,15 @@
// Remove any incompatible attributes for the argument.
AttrBuilder ArgAttrs(CallerPAL.getParamAttributes(ArgNo));
ArgAttrs.remove(AttributeFuncs::typeIncompatible(FormalTy));
+
+ // If byval is used, this must be a pointer type, and the byval type must
+ // match the element type. Update it if present.
+ if (ArgAttrs.getByValType()) {
+ Type *NewTy = Callee->getParamByValType(ArgNo);
+ ArgAttrs.addByValAttr(
+ NewTy ? NewTy : cast<PointerType>(FormalTy)->getElementType());
+ }
+
NewArgAttrs.push_back(AttributeSet::get(Ctx, ArgAttrs));
AttributeChanged = true;
} else
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D63842.207423.patch
Type: text/x-patch
Size: 3067 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190701/fe37abec/attachment.bin>
More information about the llvm-commits
mailing list