<div dir="ltr">FYI, it looks like the similar AMDGPU tests aren't quite testing what they intend to test (code seems correct, but not the test). I initially copied what AMDGPU was doing, but that wasn't working. You may want to look into this :-)</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 28, 2015 at 10:50 AM, JF Bastien via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: jfb<br>
Date: Wed Oct 28 12:50:23 2015<br>
New Revision: 251534<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=251534&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=251534&view=rev</a><br>
Log:<br>
WebAssembly: disable some loop-idiom recognition<br>
<br>
memset/memcpy aren't fully supported yet. We should invert this test<br>
once they are supported.<br>
<br>
Added:<br>
    llvm/trunk/test/CodeGen/WebAssembly/loop-idiom.ll<br>
Modified:<br>
    llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp<br>
<br>
Modified: llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp?rev=251534&r1=251533&r2=251534&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp?rev=251534&r1=251533&r2=251534&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp (original)<br>
+++ llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp Wed Oct 28 12:50:23 2015<br>
@@ -64,7 +64,9 @@ static void initialize(TargetLibraryInfo<br>
   // There are no library implementations of mempcy and memset for AMD gpus and<br>
   // these can be difficult to lower in the backend.<br>
   if (T.getArch() == Triple::r600 ||<br>
-      T.getArch() == Triple::amdgcn) {<br>
+      T.getArch() == Triple::amdgcn ||<br>
+      T.getArch() == Triple::wasm32 ||<br>
+      T.getArch() == Triple::wasm64) {<br>
     TLI.setUnavailable(LibFunc::memcpy);<br>
     TLI.setUnavailable(LibFunc::memset);<br>
     TLI.setUnavailable(LibFunc::memset_pattern16);<br>
<br>
Added: llvm/trunk/test/CodeGen/WebAssembly/loop-idiom.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/loop-idiom.ll?rev=251534&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/loop-idiom.ll?rev=251534&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/WebAssembly/loop-idiom.ll (added)<br>
+++ llvm/trunk/test/CodeGen/WebAssembly/loop-idiom.ll Wed Oct 28 12:50:23 2015<br>
@@ -0,0 +1,53 @@<br>
+; RUN: opt -loop-idiom -S < %s -march=wasm32 | FileCheck %s<br>
+<br>
+target datalayout = "e-p:32:32-i64:64-n32:64-S128"<br>
+target triple = "wasm32-unknown-unknown"<br>
+<br>
+<br>
+; Make sure loop-idiom doesn't create memcpy or memset. These aren't well<br>
+; supported in WebAssembly for now.<br>
+;<br>
+; TODO Check the patterns are recognized once memcpy / memset are supported.<br>
+<br>
+; CHECK-LABEL: @cpy(<br>
+; CHECK-NOT: llvm.memcpy<br>
+; CHECK: load<br>
+; CHECK: store<br>
+define void @cpy(i64 %Size) {<br>
+bb.nph:<br>
+  %Base = alloca i8, i32 10000<br>
+  %Dest = alloca i8, i32 10000<br>
+  br label %for.body<br>
+<br>
+for.body:<br>
+  %indvar = phi i64 [ 0, %bb.nph ], [ %indvar.next, %for.body ]<br>
+  %I.0.014 = getelementptr i8, i8* %Base, i64 %indvar<br>
+  %DestI = getelementptr i8, i8* %Dest, i64 %indvar<br>
+  %V = load i8, i8* %I.0.014, align 1<br>
+  store i8 %V, i8* %DestI, align 1<br>
+  %indvar.next = add i64 %indvar, 1<br>
+  %exitcond = icmp eq i64 %indvar.next, %Size<br>
+  br i1 %exitcond, label %for.end, label %for.body<br>
+<br>
+for.end:<br>
+  ret void<br>
+}<br>
+<br>
+; CHECK-LABEL: @set(<br>
+; CHECK-NOT: llvm.memset<br>
+; CHECK: store<br>
+define void @set(i8* %Base, i64 %Size) {<br>
+bb.nph:<br>
+  br label %for.body<br>
+<br>
+for.body:<br>
+  %indvar = phi i64 [ 0, %bb.nph ], [ %indvar.next, %for.body ]<br>
+  %I.0.014 = getelementptr i8, i8* %Base, i64 %indvar<br>
+  store i8 0, i8* %I.0.014, align 1<br>
+  %indvar.next = add i64 %indvar, 1<br>
+  %exitcond = icmp eq i64 %indvar.next, %Size<br>
+  br i1 %exitcond, label %for.end, label %for.body<br>
+<br>
+for.end:<br>
+  ret void<br>
+}<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>