[llvm] 5ef2287 - [SLC] Optimize strncpy(a, a, C) to memcpy(a, a000, C)

Eli Friedman via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 14 08:31:57 PDT 2020


We probably want to limit the number of null characters we append here; if the length is long, we could generate an excessively long global.

The strncpy call in fill_with_zeros2 has undefined behavior; is that intentional?

-Eli

-----Original Message-----
From: llvm-commits <llvm-commits-bounces at lists.llvm.org> On Behalf Of Dávid Bolvanský via llvm-commits
Sent: Thursday, August 13, 2020 1:23 PM
To: llvm-commits at lists.llvm.org
Subject: [EXT] [llvm] 5ef2287 - [SLC] Optimize strncpy(a, a, C) to memcpy(a, a000, C)


Author: Dávid Bolvanský
Date: 2020-08-13T22:22:51+02:00
New Revision: 5ef2287d36f93bac3b7b8c49c1b371d25d305e85

URL: https://github.com/llvm/llvm-project/commit/5ef2287d36f93bac3b7b8c49c1b371d25d305e85
DIFF: https://github.com/llvm/llvm-project/commit/5ef2287d36f93bac3b7b8c49c1b371d25d305e85.diff

LOG: [SLC] Optimize strncpy(a, a, C) to memcpy(a, a000, C)
Solves PR47154

Added:
    llvm/test/Transforms/InstCombine/strncpy-3.ll

Modified:
    llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp

Removed:



################################################################################
diff  --git a/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp b/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
index b03389aec7bf..2f6e60fc09c4 100644
--- a/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
+++ b/llvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
@@ -608,9 +608,15 @@ Value *LibCallSimplifier::optimizeStrNCpy(CallInst *CI, IRBuilderBase &B) {
     return Dst;
   }

-  // Let strncpy handle the zero padding
-  if (Len > SrcLen + 1)
-    return nullptr;
+  // strncpy(a, "a", 4) - > memcpy(a, "a\0\0\0", 4)
+  if (Len > SrcLen + 1) {
+    StringRef Str;
+    if (!getConstantStringInfo(Src, Str))
+      return nullptr;
+    std::string SrcStr = Str.str();
+    SrcStr.resize(Len, '\0');
+    Src = B.CreateGlobalString(SrcStr, "str");
+  }

   Type *PT = Callee->getFunctionType()->getParamType(0);
   // strncpy(x, s, c) -> memcpy(align 1 x, align 1 s, c) [s and c are constant]

diff  --git a/llvm/test/Transforms/InstCombine/strncpy-3.ll b/llvm/test/Transforms/InstCombine/strncpy-3.ll
new file mode 100644
index 000000000000..744f1e4169e0
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/strncpy-3.ll
@@ -0,0 +1,40 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+
+ at str = constant [2 x i8] c"a\00"
+ at str2 = constant [3 x i8] c"abc"
+ at str3 = constant [4 x i8] c"abcd"
+
+declare i8* @strncpy(i8*, i8*, i64)
+
+
+define void @fill_with_zeros(i8* %dst) {
+; CHECK-LABEL: @fill_with_zeros(
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i8* [[DST:%.*]] to i32*
+; CHECK-NEXT:    store i32 97, i32* [[TMP1]], align 1
+; CHECK-NEXT:    ret void
+;
+  tail call i8* @strncpy(i8* %dst, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @str, i64 0, i64 0), i64 4)
+  ret void
+}
+
+define void @fill_with_zeros2(i8* %dst) {
+; CHECK-LABEL: @fill_with_zeros2(
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i8* [[DST:%.*]] to i32*
+; CHECK-NEXT:    store i32 6513249, i32* [[TMP1]], align 1
+; CHECK-NEXT:    ret void
+;
+  tail call i8* @strncpy(i8* %dst, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @str2, i64 0, i64 0), i64 4)
+  ret void
+}
+
+define void @fill_with_zeros3(i8* %dst) {
+; CHECK-LABEL: @fill_with_zeros3(
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i8* [[DST:%.*]] to i32*
+; CHECK-NEXT:    store i32 1684234849, i32* [[TMP1]], align 1
+; CHECK-NEXT:    ret void
+;
+  tail call i8* @strncpy(i8* %dst, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @str3, i64 0, i64 0), i64 4)
+  ret void
+}



_______________________________________________
llvm-commits mailing list
llvm-commits at lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits


More information about the llvm-commits mailing list