<div dir="ltr">Oops. I failed to merge this into r303004.</div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature">~Craig</div></div>
<br><div class="gmail_quote">On Sun, May 14, 2017 at 12:54 AM, Craig Topper 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: ctopper<br>
Date: Sun May 14 02:54:40 2017<br>
New Revision: 303003<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=303003&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project?rev=303003&view=rev</a><br>
Log:<br>
foo<br>
<br>
Modified:<br>
llvm/trunk/test/Transforms/<wbr>InstSimplify/AndOrXor.ll<br>
<br>
Modified: llvm/trunk/test/Transforms/<wbr>InstSimplify/AndOrXor.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/AndOrXor.ll?rev=303003&r1=303002&r2=303003&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/llvm/trunk/test/<wbr>Transforms/InstSimplify/<wbr>AndOrXor.ll?rev=303003&r1=<wbr>303002&r2=303003&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- llvm/trunk/test/Transforms/<wbr>InstSimplify/AndOrXor.ll (original)<br>
+++ llvm/trunk/test/Transforms/<wbr>InstSimplify/AndOrXor.ll Sun May 14 02:54:40 2017<br>
@@ -628,3 +628,125 @@ define i32 @test46_commuted_and(i32 %a,<br>
%or = or i32 %xor, %and<br>
ret i32 %or<br>
}<br>
+<br>
+; (~A ^ B) | (A & B) -> ~A ^ B<br>
+<br>
+define i32 @test47(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test47(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[A]], [[B:%.*]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[NEGA]], [[B]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[XOR]], [[AND]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %a, %b<br>
+ %xor = xor i32 %nega, %b<br>
+ %or = or i32 %xor, %and<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test48(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test48(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[A]], [[B:%.*]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[B]], [[NEGA]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[XOR]], [[AND]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %a, %b<br>
+ %xor = xor i32 %b, %nega<br>
+ %or = or i32 %xor, %and<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test49(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test49(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[B:%.*]], [[A]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[B]], [[NEGA]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[XOR]], [[AND]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %b, %a<br>
+ %xor = xor i32 %b, %nega<br>
+ %or = or i32 %xor, %and<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test50(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test50(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[B:%.*]], [[A]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[NEGA]], [[B]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[XOR]], [[AND]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %b, %a<br>
+ %xor = xor i32 %nega, %b<br>
+ %or = or i32 %xor, %and<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test51(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test51(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[A]], [[B:%.*]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[NEGA]], [[B]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[AND]], [[XOR]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %a, %b<br>
+ %xor = xor i32 %nega, %b<br>
+ %or = or i32 %and, %xor<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test52(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test52(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[A]], [[B:%.*]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[B]], [[NEGA]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[AND]], [[XOR]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %a, %b<br>
+ %xor = xor i32 %b, %nega<br>
+ %or = or i32 %and, %xor<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test53(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test53(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[B:%.*]], [[A]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[B]], [[NEGA]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[AND]], [[XOR]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %b, %a<br>
+ %xor = xor i32 %b, %nega<br>
+ %or = or i32 %and, %xor<br>
+ ret i32 %or<br>
+}<br>
+<br>
+define i32 @test54(i32 %a, i32 %b) {<br>
+; CHECK-LABEL: @test54(<br>
+; CHECK-NEXT: [[NEGA:%.*]] = xor i32 [[A:%.*]], -1<br>
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[B:%.*]], [[A]]<br>
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[NEGA]], [[B]]<br>
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[AND]], [[XOR]]<br>
+; CHECK-NEXT: ret i32 [[OR]]<br>
+;<br>
+ %nega = xor i32 %a, -1<br>
+ %and = and i32 %b, %a<br>
+ %xor = xor i32 %nega, %b<br>
+ %or = or i32 %and, %xor<br>
+ ret i32 %or<br>
+}<br>
<br>
<br>
______________________________<wbr>_________________<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/<wbr>mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>