<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Feb 10, 2020 at 5:48 PM Alina Sbirlea <<a href="mailto:alina.sbirlea@gmail.com">alina.sbirlea@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Just a general comment on this one: I'd favor not diverging the test contents too much, assuming they will eventually get re-merged. So keeping the same test with different RUN lines and comments (to eventually merge) could simplify things later.</div><br></div></blockquote><div><br></div><div>Thanks, I'll keep that in mind. Adding the additional debug lines are not really necessary for the test, butI thought it might be good to make the check a bit more powerful.</div><div><br></div><div>Cheers,</div><div>Florian </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Feb 10, 2020 at 7:24 AM Florian Hahn via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><br>
Author: Florian Hahn<br>
Date: 2020-02-10T15:24:00Z<br>
New Revision: 74f03e4ff0c1f11c29102329af95f7d9782426dc<br>
<br>
URL: <a href="https://github.com/llvm/llvm-project/commit/74f03e4ff0c1f11c29102329af95f7d9782426dc" rel="noreferrer" target="_blank">https://github.com/llvm/llvm-project/commit/74f03e4ff0c1f11c29102329af95f7d9782426dc</a><br>
DIFF: <a href="https://github.com/llvm/llvm-project/commit/74f03e4ff0c1f11c29102329af95f7d9782426dc.diff" rel="noreferrer" target="_blank">https://github.com/llvm/llvm-project/commit/74f03e4ff0c1f11c29102329af95f7d9782426dc.diff</a><br>
<br>
LOG: [DSE,MSSA] Adjust mda-with-dbg-values.ll to MSSA backed DSE.<br>
<br>
-memdep-block-scan-limit is not relevant with MSSA.<br>
<br>
Added: <br>
<br>
<br>
Modified: <br>
    llvm/test/Transforms/DeadStoreElimination/MSSA/mda-with-dbg-values.ll<br>
<br>
Removed: <br>
<br>
<br>
<br>
################################################################################<br>
diff  --git a/llvm/test/Transforms/DeadStoreElimination/MSSA/mda-with-dbg-values.ll b/llvm/test/Transforms/DeadStoreElimination/MSSA/mda-with-dbg-values.ll<br>
index 52e2ecdc7290..06bcc346a435 100644<br>
--- a/llvm/test/Transforms/DeadStoreElimination/MSSA/mda-with-dbg-values.ll<br>
+++ b/llvm/test/Transforms/DeadStoreElimination/MSSA/mda-with-dbg-values.ll<br>
@@ -1,13 +1,12 @@<br>
-; RUN: opt -S -dse -enable-dse-memoryssa -memdep-block-scan-limit=3 < %s | FileCheck %s<br>
-; RUN: opt -S -strip-debug -dse -enable-dse-memoryssa -memdep-block-scan-limit=3 < %s | FileCheck %s<br>
+; RUN: opt -S -dse -enable-dse-memoryssa -dse-memoryssa-scanlimit=2 < %s | FileCheck %s<br>
+; RUN: opt -S -strip-debug -dse -enable-dse-memoryssa -dse-memoryssa-scanlimit=2 < %s | FileCheck %s<br>
<br>
-; Test case to check that the memory dependency analysis gets the same<br>
-; result even if we have a dbg value between the memcpy and<br>
-; store. The memory dependency is then used by DSE to remove the store.<br>
+; Test case to check that DSE gets the same result even if we have a dbg value<br>
+; between the memcpy.<br>
<br>
-; We use -memdep-block-scan-limit=3 to be able to create a small test case.<br>
-; Without it, we would need to squeeze in 100 instructions since the default<br>
-; limit is 100.<br>
+; This test case is less relevant for the MemorySSA backed version of DSE, as<br>
+; debug values are not modeled in MemorySSA and are skipped regardless of the<br>
+; exploration limit.<br>
<br>
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"<br>
 target triple = "x86_64-unknown-linux-gnu"<br>
@@ -20,6 +19,11 @@ entry:<br>
   %i = alloca i8, align 1<br>
   store i8 1, i8* %i, align 1, !dbg !19<br>
   call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !17, metadata !DIExpression()), !dbg !18<br>
+  call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !17, metadata !DIExpression()), !dbg !18<br>
+  call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !17, metadata !DIExpression()), !dbg !18<br>
+  call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !17, metadata !DIExpression()), !dbg !18<br>
+  call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !17, metadata !DIExpression()), !dbg !18<br>
+  call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !17, metadata !DIExpression()), !dbg !18<br>
   %0 = bitcast [1 x i8]* @g to i8*<br>
   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %i, i8* %0, i64 1, i1 false), !dbg !20<br>
   br label %bb2<br>
<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div></div>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><br><a href="http://www.fhahn.com/" target="_blank">http://www.fhahn.com/</a><br></div></div>