Skip to content

Commit 5b23e38

Browse files
committed
[X86] Adjust PR44136 tests to add cmpne coverage as well
Alive2: https://alive2.llvm.org/ce/z/pLngT-
1 parent 9249826 commit 5b23e38

File tree

1 file changed

+22
-8
lines changed

1 file changed

+22
-8
lines changed

llvm/test/CodeGen/X86/setcc-logic.ll

Lines changed: 22 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -621,15 +621,15 @@ define i1 @or_cmp_eq_i64(i64 %x, i64 %y) {
621621
ret i1 %c
622622
}
623623

624-
define i1 @or_cmp_eq_i32(i32 %x, i32 %y) {
625-
; CHECK-LABEL: or_cmp_eq_i32:
624+
define i1 @or_cmp_ne_i32(i32 %x, i32 %y) {
625+
; CHECK-LABEL: or_cmp_ne_i32:
626626
; CHECK: # %bb.0:
627627
; CHECK-NEXT: orl %esi, %edi
628628
; CHECK-NEXT: cmpl %esi, %edi
629-
; CHECK-NEXT: sete %al
629+
; CHECK-NEXT: setne %al
630630
; CHECK-NEXT: retq
631631
%o = or i32 %x, %y
632-
%c = icmp eq i32 %o, %y
632+
%c = icmp ne i32 %o, %y
633633
ret i1 %c
634634
}
635635

@@ -645,15 +645,15 @@ define i1 @or_cmp_eq_i16(i16 zeroext %x, i16 zeroext %y) {
645645
ret i1 %c
646646
}
647647

648-
define i1 @or_cmp_eq_i8(i8 zeroext %x, i8 zeroext %y) {
649-
; CHECK-LABEL: or_cmp_eq_i8:
648+
define i1 @or_cmp_ne_i8(i8 zeroext %x, i8 zeroext %y) {
649+
; CHECK-LABEL: or_cmp_ne_i8:
650650
; CHECK: # %bb.0:
651651
; CHECK-NEXT: orl %esi, %edi
652652
; CHECK-NEXT: cmpb %dil, %sil
653-
; CHECK-NEXT: sete %al
653+
; CHECK-NEXT: setne %al
654654
; CHECK-NEXT: retq
655655
%o = or i8 %x, %y
656-
%c = icmp eq i8 %y, %o
656+
%c = icmp ne i8 %y, %o
657657
ret i1 %c
658658
}
659659

@@ -669,3 +669,17 @@ define <4 x i32> @or_cmp_eq_v4i32(<4 x i32> %x, <4 x i32> %y) {
669669
%s = sext <4 x i1> %c to <4 x i32>
670670
ret <4 x i32> %s
671671
}
672+
673+
define <16 x i8> @or_cmp_ne_v4i32(<16 x i8> %x, <16 x i8> %y) {
674+
; CHECK-LABEL: or_cmp_ne_v4i32:
675+
; CHECK: # %bb.0:
676+
; CHECK-NEXT: por %xmm0, %xmm1
677+
; CHECK-NEXT: pcmpeqb %xmm1, %xmm0
678+
; CHECK-NEXT: pcmpeqd %xmm1, %xmm1
679+
; CHECK-NEXT: pxor %xmm1, %xmm0
680+
; CHECK-NEXT: retq
681+
%o = or <16 x i8> %x, %y
682+
%c = icmp ne <16 x i8> %o, %x
683+
%s = sext <16 x i1> %c to <16 x i8>
684+
ret <16 x i8> %s
685+
}

0 commit comments

Comments
 (0)