[PATCH] D87134: [SelectionDAG] memcpy expansion of const volatile struct ignores const zero

[Simon Wallis via Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rG79ea83e104e3: [SelectionDAG] memcpy expansion of const volatile struct ignores const zero (authored by simonwallis2).

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D87134/new/

https://reviews.llvm.org/D87134

Files:
  llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
  llvm/test/CodeGen/ARM/memcpy-const-vol-struct.ll


Index: llvm/test/CodeGen/ARM/memcpy-const-vol-struct.ll
===================================================================
--- /dev/null
+++ llvm/test/CodeGen/ARM/memcpy-const-vol-struct.ll
@@ -0,0 +1,18 @@
+; RUN: llc -mtriple=armv7-arm-none-eabi -o - %s | FileCheck %s
+
+%struct.sMyType = type { i32 }
+
+ at val = hidden constant %struct.sMyType zeroinitializer, align 4
+ at v = internal global %struct.sMyType zeroinitializer, align 4
+
+define hidden void @InitVal() local_unnamed_addr {
+entry:
+  call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast (%struct.sMyType* @v to i8*), i8* align 4 bitcast (%struct.sMyType* @val to i8*), i32 4, i1 true)
+; The last argument is the isvolatile argument. This is a volatile memcpy.
+; Test that the memcpy expansion does not optimize away the load.
+; CHECK: ldr
+; CHECK: str
+  ret void
+}
+
+declare void @llvm.memcpy.p0i8.p0i8.i32(i8* noalias nocapture writeonly, i8* noalias nocapture readonly, i32, i1 immarg)
Index: llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
===================================================================
--- llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
+++ llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
@@ -6037,7 +6037,8 @@
     SrcAlign = Alignment;
   assert(SrcAlign && "SrcAlign must be set");
   ConstantDataArraySlice Slice;
-  bool CopyFromConstant = isMemSrcFromConstant(Src, Slice);
+  // If marked as volatile, perform a copy even when marked as constant.
+  bool CopyFromConstant = !isVol && isMemSrcFromConstant(Src, Slice);
   bool isZeroConstant = CopyFromConstant && Slice.Array == nullptr;
   unsigned Limit = AlwaysInline ? ~0U : TLI.getMaxStoresPerMemcpy(OptSize);
   const MemOp Op = isZeroConstant


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D87134.290255.patch
Type: text/x-patch
Size: 1706 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200907/8e1727a9/attachment.bin>