[llvm] r303315 - [InstCombine] add test for xor-of-icmps; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed May 17 16:22:52 PDT 2017
Author: spatel
Date: Wed May 17 18:22:52 2017
New Revision: 303315
URL: http://llvm.org/viewvc/llvm-project?rev=303315&view=rev
Log:
[InstCombine] add test for xor-of-icmps; NFC
This is another form of the problem discussed in D32143.
Modified:
llvm/trunk/test/Transforms/InstCombine/set.ll
Modified: llvm/trunk/test/Transforms/InstCombine/set.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/set.ll?rev=303315&r1=303314&r2=303315&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/set.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/set.ll Wed May 17 18:22:52 2017
@@ -148,8 +148,6 @@ define <3 x i1> @test14vec(<3 x i1> %A,
ret <3 x i1> %C
}
-; FIXME: Not recognizing the icmp bool with constant exposes a missing fold.
-
define i1 @bool_eq0(i64 %a) {
; CHECK-LABEL: @bool_eq0(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i64 %a, 1
@@ -162,6 +160,21 @@ define i1 @bool_eq0(i64 %a) {
ret i1 %and
}
+; FIXME: This is equivalent to the previous test.
+
+define i1 @xor_of_icmps(i64 %a) {
+; CHECK-LABEL: @xor_of_icmps(
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i64 %a, 0
+; CHECK-NEXT: [[C:%.*]] = icmp eq i64 %a, 1
+; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[C]], [[B]]
+; CHECK-NEXT: ret i1 [[XOR]]
+;
+ %b = icmp sgt i64 %a, 0
+ %c = icmp eq i64 %a, 1
+ %xor = xor i1 %c, %b
+ ret i1 %xor
+}
+
define i1 @test16(i32 %A) {
; CHECK-LABEL: @test16(
; CHECK-NEXT: ret i1 false
More information about the llvm-commits
mailing list