<div dir="ltr">No test case?</div><br><div class="gmail_quote"><div dir="ltr">On Sat, Dec 10, 2016 at 11:52 PM Craig Topper via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: ctopper<br class="gmail_msg">
Date: Sun Dec 11 01:42:01 2016<br class="gmail_msg">
New Revision: 289370<br class="gmail_msg">
<br class="gmail_msg">
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=289370&view=rev" rel="noreferrer" class="gmail_msg" target="_blank">http://llvm.org/viewvc/llvm-project?rev=289370&view=rev</a><br class="gmail_msg">
Log:<br class="gmail_msg">
[AVX-512][InstCombine] Teach InstCombineCalls how to simplify demanded elements for scalar add,div,mul,sub,max,min intrinsics with masking and rounding.<br class="gmail_msg">
<br class="gmail_msg">
These intrinsics don't read the upper bits of their second input. And the third input is the passthru for masking and that only uses the lower element as well.<br class="gmail_msg">
<br class="gmail_msg">
Modified:<br class="gmail_msg">
    llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp<br class="gmail_msg">
<br class="gmail_msg">
Modified: llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp<br class="gmail_msg">
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp?rev=289370&r1=289369&r2=289370&view=diff" rel="noreferrer" class="gmail_msg" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp?rev=289370&r1=289369&r2=289370&view=diff</a><br class="gmail_msg">
==============================================================================<br class="gmail_msg">
--- llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp (original)<br class="gmail_msg">
+++ llvm/trunk/lib/Transforms/InstCombine/InstCombineCalls.cpp Sun Dec 11 01:42:01 2016<br class="gmail_msg">
@@ -1775,6 +1775,37 @@ Instruction *InstCombiner::visitCallInst<br class="gmail_msg">
     break;<br class="gmail_msg">
   }<br class="gmail_msg">
<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_add_ss_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_div_ss_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_mul_ss_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_sub_ss_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_max_ss_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_min_ss_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_add_sd_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_div_sd_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_mul_sd_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_sub_sd_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_max_sd_round:<br class="gmail_msg">
+  case Intrinsic::x86_avx512_mask_min_sd_round: {<br class="gmail_msg">
+    // These intrinsics only demand the lowest element of the second and third<br class="gmail_msg">
+    // input vector.<br class="gmail_msg">
+    bool MadeChange = false;<br class="gmail_msg">
+    Value *Arg1 = II->getArgOperand(1);<br class="gmail_msg">
+    Value *Arg2 = II->getArgOperand(2);<br class="gmail_msg">
+    unsigned VWidth = Arg1->getType()->getVectorNumElements();<br class="gmail_msg">
+    if (Value *V = SimplifyDemandedVectorEltsLow(Arg1, VWidth, 1)) {<br class="gmail_msg">
+      II->setArgOperand(1, V);<br class="gmail_msg">
+      MadeChange = true;<br class="gmail_msg">
+    }<br class="gmail_msg">
+    if (Value *V = SimplifyDemandedVectorEltsLow(Arg2, VWidth, 1)) {<br class="gmail_msg">
+      II->setArgOperand(2, V);<br class="gmail_msg">
+      MadeChange = true;<br class="gmail_msg">
+    }<br class="gmail_msg">
+    if (MadeChange)<br class="gmail_msg">
+      return II;<br class="gmail_msg">
+    break;<br class="gmail_msg">
+  }<br class="gmail_msg">
+<br class="gmail_msg">
   case Intrinsic::x86_sse41_round_ss:<br class="gmail_msg">
   case Intrinsic::x86_sse41_round_sd: {<br class="gmail_msg">
     // These intrinsics demand the upper elements of the first input vector and<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
llvm-commits mailing list<br class="gmail_msg">
<a href="mailto:llvm-commits@lists.llvm.org" class="gmail_msg" target="_blank">llvm-commits@lists.llvm.org</a><br class="gmail_msg">
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" class="gmail_msg" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br class="gmail_msg">
</blockquote></div>