maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[InstCombine] add test for xor-of-icmps; NFC 

This is another form of the problem discussed in D32143.

llvm-svn: 303315
This commit is contained in:
Sanjay Patel 2017-05-17 23:22:52 +00:00
parent 48187cffe2
commit 7f4687f164
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
llvm/test/Transforms/InstCombine/set.ll
View File

@ -148,8 +148,6 @@ define <3 x i1> @test14vec(<3 x i1> %A, <3 x i1> %B) {
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