<div dir="ltr"><div>Hi Quentin -<br></div>I wasn't sure if we have a policy on this, but I figured it was ok to add a FIXME test showing current behavior since I've proposed a patch to fix it just now. :)<br><a href="http://reviews.llvm.org/D20529">http://reviews.llvm.org/D20529</a><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 23, 2016 at 11:12 AM, Quentin Colombet <span dir="ltr"><<a href="mailto:qcolombet@apple.com" target="_blank">qcolombet@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
> On May 22, 2016, at 12:55 PM, Sanjay Patel via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br>
><br>
> Author: spatel<br>
> Date: Sun May 22 14:55:48 2016<br>
> New Revision: 270375<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=270375&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=270375&view=rev</a><br>
> Log:<br>
> [x86, AVX] add test file to show vzeroupper pass excesses<br>
><br>
> Added:<br>
>    llvm/trunk/test/CodeGen/X86/vzero-excess.ll<br>
><br>
> Added: llvm/trunk/test/CodeGen/X86/vzero-excess.ll<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/vzero-excess.ll?rev=270375&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/vzero-excess.ll?rev=270375&view=auto</a><br>
> ==============================================================================<br>
> --- llvm/trunk/test/CodeGen/X86/vzero-excess.ll (added)<br>
> +++ llvm/trunk/test/CodeGen/X86/vzero-excess.ll Sun May 22 14:55:48 2016<br>
> @@ -0,0 +1,43 @@<br>
> +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py<br>
> +; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s<br>
> +<br>
> +; FIXME: The vzeroupper added by the VZeroUpperInserter pass is unnecessary in these tests.<br>
> +<br>
> +define <8 x float> @zeroupper(<8 x float> %x) nounwind {<br>
> +; CHECK-LABEL: zeroupper:<br>
> +; CHECK:       # BB#0:<br>
> +; CHECK-NEXT:    subq $56, %rsp<br>
> +; CHECK-NEXT:    vmovups %ymm0, (%rsp) # 32-byte Spill<br>
> +; CHECK-NEXT:    vzeroupper<br>
> +; CHECK-NEXT:    vzeroupper<br>
<br>
</div></div>Shouldn’t we use CHECK-NOT for the second vzeroupper and XFAIL the test for now.<br>
<div class="HOEnZb"><div class="h5"><br>
> +; CHECK-NEXT:    callq the_unknown<br>
> +; CHECK-NEXT:    vmovups (%rsp), %ymm0 # 32-byte Reload<br>
> +; CHECK-NEXT:    addq $56, %rsp<br>
> +; CHECK-NEXT:    retq<br>
> +;<br>
> +  call void @llvm.x86.avx.vzeroupper()<br>
> +  call void @the_unknown()<br>
> +  ret <8 x float> %x<br>
> +}<br>
> +<br>
> +define <8 x float> @zeroall(<8 x float> %x) nounwind {<br>
> +; CHECK-LABEL: zeroall:<br>
> +; CHECK:       # BB#0:<br>
> +; CHECK-NEXT:    subq $56, %rsp<br>
> +; CHECK-NEXT:    vmovups %ymm0, (%rsp) # 32-byte Spill<br>
> +; CHECK-NEXT:    vzeroall<br>
> +; CHECK-NEXT:    vzeroupper<br>
> +; CHECK-NEXT:    callq the_unknown<br>
> +; CHECK-NEXT:    vmovups (%rsp), %ymm0 # 32-byte Reload<br>
> +; CHECK-NEXT:    addq $56, %rsp<br>
> +; CHECK-NEXT:    retq<br>
> +;<br>
> +  call void @llvm.x86.avx.vzeroall()<br>
> +  call void @the_unknown()<br>
> +  ret <8 x float> %x<br>
> +}<br>
> +<br>
> +declare void @llvm.x86.avx.vzeroupper() nounwind readnone<br>
> +declare void @llvm.x86.avx.vzeroall() nounwind readnone<br>
> +declare void @the_unknown() nounwind<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>
<br>
</div></div></blockquote></div><br></div>