[PATCH] D28171: Enable disabled loopidiom test. Apparently we handle it now

Xin Tong via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 29 17:25:21 PST 2016


trentxintong created this revision.
trentxintong added reviewers: atrick, danielcdh, hfinkel.
trentxintong added a subscriber: llvm-commits.

Enable disabled loopidiom test. Apparently we handle it now.
Maybe due to improvements to AA.


https://reviews.llvm.org/D28171

Files:
  test/Transforms/LoopIdiom/basic.ll


Index: test/Transforms/LoopIdiom/basic.ll
===================================================================
--- test/Transforms/LoopIdiom/basic.ll
+++ test/Transforms/LoopIdiom/basic.ll
@@ -97,8 +97,7 @@
 ; CHECK: ret void
 }
 
-
-;; TODO: We should be able to promote this memset.  Not yet though.
+; Make sure the first store in the loop is turned into a memset.
 define void @test4(i8* %Base) nounwind ssp {
 bb.nph:                                           ; preds = %entry
   %Base100 = getelementptr i8, i8* %Base, i64 1000
@@ -118,9 +117,8 @@
 
 for.end:                                          ; preds = %for.body, %entry
   ret void
-; CHECK-TODO-LABEL: @test4(
-; CHECK-TODO: call void @llvm.memset.p0i8.i64(i8* %Base, i8 0, i64 100, i32 1, i1 false)
-; CHECK-TODO-NOT: store
+; CHECK-LABEL: @test4(
+; CHECK: call void @llvm.memset.p0i8.i64(i8* %Base, i8 0, i64 100, i32 1, i1 false)
 }
 
 ; This can't be promoted: the memset is a store of a loop variant value.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D28171.82712.patch
Type: text/x-patch
Size: 978 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161230/0cbebebf/attachment.bin>


More information about the llvm-commits mailing list