[llvm] 5fc071f - [DSE] Use precise loc for memcpy_chk during overwrite checks.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Fri Dec 2 06:34:44 PST 2022
Author: Florian Hahn
Date: 2022-12-02T14:34:34Z
New Revision: 5fc071f2b452d26dcf79c2ed704510e4bee5b64f
URL: https://github.com/llvm/llvm-project/commit/5fc071f2b452d26dcf79c2ed704510e4bee5b64f
DIFF: https://github.com/llvm/llvm-project/commit/5fc071f2b452d26dcf79c2ed704510e4bee5b64f.diff
LOG: [DSE] Use precise loc for memcpy_chk during overwrite checks.
Extends the logic from D115167 to memcpy_chk.
Depends on D115167
Reviewed By: asbirlea
Differential Revision: https://reviews.llvm.org/D139096
Added:
Modified:
llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
llvm/test/Transforms/DeadStoreElimination/libcalls-chk.ll
Removed:
################################################################################
diff --git a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
index 5ab5a2604454c..ab8c72e7e4f09 100644
--- a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
+++ b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
@@ -883,7 +883,8 @@ struct DSEState {
LocationSize Size) const {
if (auto *CB = dyn_cast<CallBase>(I)) {
LibFunc F;
- if (TLI.getLibFunc(*CB, F) && TLI.has(F) && F == LibFunc_memset_chk) {
+ if (TLI.getLibFunc(*CB, F) && TLI.has(F) &&
+ (F == LibFunc_memset_chk || F == LibFunc_memcpy_chk)) {
// Use the precise location size specified by the 3rd argument
// for determining KillingI overwrites DeadLoc if it is a memset_chk
// instruction. memset_chk will write either the amount specified as 3rd
diff --git a/llvm/test/Transforms/DeadStoreElimination/libcalls-chk.ll b/llvm/test/Transforms/DeadStoreElimination/libcalls-chk.ll
index 02b71c8cf52ac..657bfce0d3fdd 100644
--- a/llvm/test/Transforms/DeadStoreElimination/libcalls-chk.ll
+++ b/llvm/test/Transforms/DeadStoreElimination/libcalls-chk.ll
@@ -107,8 +107,7 @@ define void @dse_strncpy_chk_test3(ptr noalias %out1, ptr noalias %out2, ptr noa
define void @dse_strncpy_memcpy_chk_test1(ptr noalias %out, ptr noalias %in, i64 %n) {
; CHECK-LABEL: @dse_strncpy_memcpy_chk_test1(
-; CHECK-NEXT: store i32 0, ptr [[OUT:%.*]], align 4
-; CHECK-NEXT: [[CALL_1:%.*]] = tail call ptr @__memcpy_chk(ptr [[OUT]], ptr [[IN:%.*]], i64 100, i64 [[N:%.*]])
+; CHECK-NEXT: [[CALL_1:%.*]] = tail call ptr @__memcpy_chk(ptr [[OUT:%.*]], ptr [[IN:%.*]], i64 100, i64 [[N:%.*]])
; CHECK-NEXT: ret void
;
store i32 0, ptr %out
More information about the llvm-commits
mailing list