[llvm] c5cebf7 - [GlobalISel] Add computeNumSignBits() support for compares.
Amara Emerson via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 4 16:34:37 PDT 2022
Author: Amara Emerson
Date: 2022-10-05T00:28:08+01:00
New Revision: c5cebf78bdca35faa44b07fa4d3cb99bba7f2027
URL: https://github.com/llvm/llvm-project/commit/c5cebf78bdca35faa44b07fa4d3cb99bba7f2027
DIFF: https://github.com/llvm/llvm-project/commit/c5cebf78bdca35faa44b07fa4d3cb99bba7f2027.diff
LOG: [GlobalISel] Add computeNumSignBits() support for compares.
Doing so allows G_SEXT_INREG to be combined away for many vector cases.
Differential Revision: https://reviews.llvm.org/D135168
Added:
Modified:
llvm/lib/CodeGen/GlobalISel/GISelKnownBits.cpp
llvm/test/CodeGen/AArch64/GlobalISel/combine-udiv.ll
llvm/test/CodeGen/AArch64/arm64-vabs.ll
llvm/test/CodeGen/AArch64/min-max.ll
llvm/test/CodeGen/AArch64/neon-compare-instructions.ll
llvm/unittests/CodeGen/GlobalISel/KnownBitsTest.cpp
Removed:
################################################################################
diff --git a/llvm/lib/CodeGen/GlobalISel/GISelKnownBits.cpp b/llvm/lib/CodeGen/GlobalISel/GISelKnownBits.cpp
index 2281f675613a4..e2c34a31d9a1b 100644
--- a/llvm/lib/CodeGen/GlobalISel/GISelKnownBits.cpp
+++ b/llvm/lib/CodeGen/GlobalISel/GISelKnownBits.cpp
@@ -711,6 +711,18 @@ unsigned GISelKnownBits::computeNumSignBits(Register R,
break;
}
+ case TargetOpcode::G_FCMP:
+ case TargetOpcode::G_ICMP: {
+ bool IsFP = Opcode == TargetOpcode::G_FCMP;
+ if (TyBits == 1)
+ break;
+ auto BC = TL.getBooleanContents(DstTy.isVector(), IsFP);
+ if (BC == TargetLoweringBase::ZeroOrNegativeOneBooleanContent)
+ return TyBits; // All bits are sign bits.
+ if (BC == TargetLowering::ZeroOrOneBooleanContent)
+ return TyBits - 1; // Every always-zero bit is a sign bit.
+ break;
+ }
case TargetOpcode::G_INTRINSIC:
case TargetOpcode::G_INTRINSIC_W_SIDE_EFFECTS:
default: {
diff --git a/llvm/test/CodeGen/AArch64/GlobalISel/combine-udiv.ll b/llvm/test/CodeGen/AArch64/GlobalISel/combine-udiv.ll
index da06d82f24301..9ca9f1b86598c 100644
--- a/llvm/test/CodeGen/AArch64/GlobalISel/combine-udiv.ll
+++ b/llvm/test/CodeGen/AArch64/GlobalISel/combine-udiv.ll
@@ -57,10 +57,9 @@ define <8 x i16> @combine_vec_udiv_nonuniform(<8 x i16> %x) {
; GISEL-LABEL: combine_vec_udiv_nonuniform:
; GISEL: // %bb.0:
; GISEL-NEXT: adrp x8, .LCPI1_4
-; GISEL-NEXT: adrp x9, .LCPI1_0
+; GISEL-NEXT: adrp x9, .LCPI1_5
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI1_4]
; GISEL-NEXT: adrp x8, .LCPI1_3
-; GISEL-NEXT: ldr q5, [x9, :lo12:.LCPI1_0]
; GISEL-NEXT: neg v1.8h, v1.8h
; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI1_3]
; GISEL-NEXT: adrp x8, .LCPI1_2
@@ -68,21 +67,20 @@ define <8 x i16> @combine_vec_udiv_nonuniform(<8 x i16> %x) {
; GISEL-NEXT: umull2 v3.4s, v1.8h, v2.8h
; GISEL-NEXT: umull v1.4s, v1.4h, v2.4h
; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI1_2]
-; GISEL-NEXT: adrp x8, .LCPI1_5
+; GISEL-NEXT: adrp x8, .LCPI1_1
; GISEL-NEXT: uzp2 v1.8h, v1.8h, v3.8h
; GISEL-NEXT: sub v3.8h, v0.8h, v1.8h
; GISEL-NEXT: umull2 v4.4s, v3.8h, v2.8h
; GISEL-NEXT: umull v2.4s, v3.4h, v2.4h
-; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI1_5]
-; GISEL-NEXT: adrp x8, .LCPI1_1
-; GISEL-NEXT: cmeq v3.8h, v3.8h, v5.8h
+; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI1_1]
+; GISEL-NEXT: adrp x8, .LCPI1_0
+; GISEL-NEXT: neg v3.8h, v3.8h
; GISEL-NEXT: uzp2 v2.8h, v2.8h, v4.8h
-; GISEL-NEXT: ldr q4, [x8, :lo12:.LCPI1_1]
-; GISEL-NEXT: shl v3.8h, v3.8h, #15
+; GISEL-NEXT: ldr q4, [x9, :lo12:.LCPI1_5]
+; GISEL-NEXT: ldr q5, [x8, :lo12:.LCPI1_0]
; GISEL-NEXT: add v1.8h, v2.8h, v1.8h
-; GISEL-NEXT: neg v2.8h, v4.8h
-; GISEL-NEXT: ushl v1.8h, v1.8h, v2.8h
-; GISEL-NEXT: sshr v2.8h, v3.8h, #15
+; GISEL-NEXT: cmeq v2.8h, v4.8h, v5.8h
+; GISEL-NEXT: ushl v1.8h, v1.8h, v3.8h
; GISEL-NEXT: bif v0.16b, v1.16b, v2.16b
; GISEL-NEXT: ret
%1 = udiv <8 x i16> %x, <i16 23, i16 34, i16 -23, i16 56, i16 128, i16 -1, i16 -256, i16 -32768>
@@ -108,25 +106,23 @@ define <8 x i16> @combine_vec_udiv_nonuniform2(<8 x i16> %x) {
; GISEL-LABEL: combine_vec_udiv_nonuniform2:
; GISEL: // %bb.0:
; GISEL-NEXT: adrp x8, .LCPI2_3
-; GISEL-NEXT: adrp x9, .LCPI2_4
-; GISEL-NEXT: adrp x10, .LCPI2_0
+; GISEL-NEXT: adrp x9, .LCPI2_1
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI2_3]
; GISEL-NEXT: adrp x8, .LCPI2_2
-; GISEL-NEXT: ldr q4, [x10, :lo12:.LCPI2_0]
+; GISEL-NEXT: ldr q4, [x9, :lo12:.LCPI2_1]
; GISEL-NEXT: neg v1.8h, v1.8h
; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI2_2]
-; GISEL-NEXT: adrp x8, .LCPI2_1
+; GISEL-NEXT: adrp x8, .LCPI2_4
; GISEL-NEXT: ushl v1.8h, v0.8h, v1.8h
+; GISEL-NEXT: neg v4.8h, v4.8h
; GISEL-NEXT: umull2 v3.4s, v1.8h, v2.8h
-; GISEL-NEXT: ldr q5, [x8, :lo12:.LCPI2_1]
; GISEL-NEXT: umull v1.4s, v1.4h, v2.4h
-; GISEL-NEXT: ldr q2, [x9, :lo12:.LCPI2_4]
-; GISEL-NEXT: cmeq v2.8h, v2.8h, v4.8h
+; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI2_4]
+; GISEL-NEXT: adrp x8, .LCPI2_0
; GISEL-NEXT: uzp2 v1.8h, v1.8h, v3.8h
-; GISEL-NEXT: neg v3.8h, v5.8h
-; GISEL-NEXT: shl v2.8h, v2.8h, #15
-; GISEL-NEXT: ushl v1.8h, v1.8h, v3.8h
-; GISEL-NEXT: sshr v2.8h, v2.8h, #15
+; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI2_0]
+; GISEL-NEXT: cmeq v2.8h, v2.8h, v3.8h
+; GISEL-NEXT: ushl v1.8h, v1.8h, v4.8h
; GISEL-NEXT: bif v0.16b, v1.16b, v2.16b
; GISEL-NEXT: ret
%1 = udiv <8 x i16> %x, <i16 -34, i16 35, i16 36, i16 -37, i16 38, i16 -39, i16 40, i16 -41>
@@ -151,23 +147,21 @@ define <8 x i16> @combine_vec_udiv_nonuniform3(<8 x i16> %x) {
; GISEL-LABEL: combine_vec_udiv_nonuniform3:
; GISEL: // %bb.0:
; GISEL-NEXT: adrp x8, .LCPI3_2
-; GISEL-NEXT: adrp x9, .LCPI3_0
+; GISEL-NEXT: adrp x9, .LCPI3_3
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI3_2]
-; GISEL-NEXT: adrp x8, .LCPI3_3
-; GISEL-NEXT: ldr q3, [x9, :lo12:.LCPI3_0]
+; GISEL-NEXT: adrp x8, .LCPI3_1
+; GISEL-NEXT: ldr q4, [x9, :lo12:.LCPI3_3]
; GISEL-NEXT: umull2 v2.4s, v0.8h, v1.8h
; GISEL-NEXT: umull v1.4s, v0.4h, v1.4h
; GISEL-NEXT: uzp2 v1.8h, v1.8h, v2.8h
-; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI3_3]
-; GISEL-NEXT: adrp x8, .LCPI3_1
-; GISEL-NEXT: cmeq v2.8h, v2.8h, v3.8h
-; GISEL-NEXT: sub v4.8h, v0.8h, v1.8h
-; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI3_1]
-; GISEL-NEXT: shl v2.8h, v2.8h, #15
-; GISEL-NEXT: usra v1.8h, v4.8h, #1
-; GISEL-NEXT: neg v3.8h, v3.8h
-; GISEL-NEXT: sshr v2.8h, v2.8h, #15
-; GISEL-NEXT: ushl v1.8h, v1.8h, v3.8h
+; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI3_1]
+; GISEL-NEXT: adrp x8, .LCPI3_0
+; GISEL-NEXT: neg v2.8h, v2.8h
+; GISEL-NEXT: sub v3.8h, v0.8h, v1.8h
+; GISEL-NEXT: usra v1.8h, v3.8h, #1
+; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI3_0]
+; GISEL-NEXT: ushl v1.8h, v1.8h, v2.8h
+; GISEL-NEXT: cmeq v2.8h, v4.8h, v3.8h
; GISEL-NEXT: bif v0.16b, v1.16b, v2.16b
; GISEL-NEXT: ret
%1 = udiv <8 x i16> %x, <i16 7, i16 23, i16 25, i16 27, i16 31, i16 47, i16 63, i16 127>
@@ -197,21 +191,19 @@ define <16 x i8> @combine_vec_udiv_nonuniform4(<16 x i8> %x) {
; GISEL-LABEL: combine_vec_udiv_nonuniform4:
; GISEL: // %bb.0:
; GISEL-NEXT: adrp x8, .LCPI4_2
-; GISEL-NEXT: adrp x9, .LCPI4_0
+; GISEL-NEXT: adrp x9, .LCPI4_1
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI4_2]
; GISEL-NEXT: adrp x8, .LCPI4_3
-; GISEL-NEXT: ldr q4, [x9, :lo12:.LCPI4_0]
+; GISEL-NEXT: ldr q4, [x9, :lo12:.LCPI4_1]
; GISEL-NEXT: umull2 v2.8h, v0.16b, v1.16b
; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI4_3]
; GISEL-NEXT: umull v1.8h, v0.8b, v1.8b
-; GISEL-NEXT: adrp x8, .LCPI4_1
-; GISEL-NEXT: cmeq v3.16b, v3.16b, v4.16b
+; GISEL-NEXT: adrp x8, .LCPI4_0
+; GISEL-NEXT: neg v4.16b, v4.16b
; GISEL-NEXT: uzp2 v1.16b, v1.16b, v2.16b
-; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI4_1]
-; GISEL-NEXT: shl v3.16b, v3.16b, #7
-; GISEL-NEXT: neg v2.16b, v2.16b
-; GISEL-NEXT: ushl v1.16b, v1.16b, v2.16b
-; GISEL-NEXT: sshr v2.16b, v3.16b, #7
+; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI4_0]
+; GISEL-NEXT: cmeq v2.16b, v3.16b, v2.16b
+; GISEL-NEXT: ushl v1.16b, v1.16b, v4.16b
; GISEL-NEXT: bif v0.16b, v1.16b, v2.16b
; GISEL-NEXT: ret
%div = udiv <16 x i8> %x, <i8 -64, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
@@ -248,28 +240,26 @@ define <8 x i16> @pr38477(<8 x i16> %a0) {
; GISEL-LABEL: pr38477:
; GISEL: // %bb.0:
; GISEL-NEXT: adrp x8, .LCPI5_3
-; GISEL-NEXT: adrp x9, .LCPI5_0
+; GISEL-NEXT: adrp x9, .LCPI5_4
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI5_3]
; GISEL-NEXT: adrp x8, .LCPI5_2
-; GISEL-NEXT: ldr q5, [x9, :lo12:.LCPI5_0]
; GISEL-NEXT: umull2 v2.4s, v0.8h, v1.8h
; GISEL-NEXT: umull v1.4s, v0.4h, v1.4h
; GISEL-NEXT: uzp2 v1.8h, v1.8h, v2.8h
; GISEL-NEXT: ldr q2, [x8, :lo12:.LCPI5_2]
-; GISEL-NEXT: adrp x8, .LCPI5_4
+; GISEL-NEXT: adrp x8, .LCPI5_1
; GISEL-NEXT: sub v3.8h, v0.8h, v1.8h
; GISEL-NEXT: umull2 v4.4s, v3.8h, v2.8h
; GISEL-NEXT: umull v2.4s, v3.4h, v2.4h
-; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI5_4]
-; GISEL-NEXT: adrp x8, .LCPI5_1
-; GISEL-NEXT: cmeq v3.8h, v3.8h, v5.8h
+; GISEL-NEXT: ldr q3, [x8, :lo12:.LCPI5_1]
+; GISEL-NEXT: adrp x8, .LCPI5_0
+; GISEL-NEXT: neg v3.8h, v3.8h
; GISEL-NEXT: uzp2 v2.8h, v2.8h, v4.8h
-; GISEL-NEXT: ldr q4, [x8, :lo12:.LCPI5_1]
-; GISEL-NEXT: shl v3.8h, v3.8h, #15
+; GISEL-NEXT: ldr q4, [x9, :lo12:.LCPI5_4]
+; GISEL-NEXT: ldr q5, [x8, :lo12:.LCPI5_0]
; GISEL-NEXT: add v1.8h, v2.8h, v1.8h
-; GISEL-NEXT: neg v2.8h, v4.8h
-; GISEL-NEXT: ushl v1.8h, v1.8h, v2.8h
-; GISEL-NEXT: sshr v2.8h, v3.8h, #15
+; GISEL-NEXT: cmeq v2.8h, v4.8h, v5.8h
+; GISEL-NEXT: ushl v1.8h, v1.8h, v3.8h
; GISEL-NEXT: bif v0.16b, v1.16b, v2.16b
; GISEL-NEXT: ret
%1 = udiv <8 x i16> %a0, <i16 1, i16 119, i16 73, i16 -111, i16 -3, i16 118, i16 32, i16 31>
diff --git a/llvm/test/CodeGen/AArch64/arm64-vabs.ll b/llvm/test/CodeGen/AArch64/arm64-vabs.ll
index cbe9dea42e14a..f7e8d2e0e01b5 100644
--- a/llvm/test/CodeGen/AArch64/arm64-vabs.ll
+++ b/llvm/test/CodeGen/AArch64/arm64-vabs.ll
@@ -305,8 +305,6 @@ define i32 @uabdl4s_rdx_i32(<4 x i16> %a, <4 x i16> %b) {
; GISEL-NEXT: usubl.4s v0, v0, v1
; GISEL-NEXT: cmgt.4s v1, v2, v0
; GISEL-NEXT: neg.4s v2, v0
-; GISEL-NEXT: shl.4s v1, v1, #31
-; GISEL-NEXT: sshr.4s v1, v1, #31
; GISEL-NEXT: bit.16b v0, v2, v1
; GISEL-NEXT: addv.4s s0, v0
; GISEL-NEXT: fmov w0, s0
@@ -378,8 +376,6 @@ define i64 @uabdl2d_rdx_i64(<2 x i32> %a, <2 x i32> %b) {
; GISEL-NEXT: usubl.2d v0, v0, v1
; GISEL-NEXT: cmgt.2d v1, v2, v0
; GISEL-NEXT: neg.2d v2, v0
-; GISEL-NEXT: shl.2d v1, v1, #63
-; GISEL-NEXT: sshr.2d v1, v1, #63
; GISEL-NEXT: bit.16b v0, v2, v1
; GISEL-NEXT: addp.2d d0, v0
; GISEL-NEXT: fmov x0, d0
@@ -1575,8 +1571,6 @@ define <2 x i32> @abspattern1(<2 x i32> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.2s v2, v0
; GISEL-NEXT: cmge.2s v1, v0, v1
-; GISEL-NEXT: shl.2s v1, v1, #31
-; GISEL-NEXT: sshr.2s v1, v1, #31
; GISEL-NEXT: bif.8b v0, v2, v1
; GISEL-NEXT: ret
@@ -1597,8 +1591,6 @@ define <4 x i16> @abspattern2(<4 x i16> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.4h v2, v0
; GISEL-NEXT: cmgt.4h v1, v0, v1
-; GISEL-NEXT: shl.4h v1, v1, #15
-; GISEL-NEXT: sshr.4h v1, v1, #15
; GISEL-NEXT: bif.8b v0, v2, v1
; GISEL-NEXT: ret
; For GlobalISel, this generates terrible code until we can pattern match this to abs.
@@ -1620,8 +1612,6 @@ define <8 x i8> @abspattern3(<8 x i8> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.8b v2, v0
; GISEL-NEXT: cmgt.8b v1, v1, v0
-; GISEL-NEXT: shl.8b v1, v1, #7
-; GISEL-NEXT: sshr.8b v1, v1, #7
; GISEL-NEXT: bit.8b v0, v2, v1
; GISEL-NEXT: ret
@@ -1642,8 +1632,6 @@ define <4 x i32> @abspattern4(<4 x i32> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.4s v2, v0
; GISEL-NEXT: cmge.4s v1, v0, v1
-; GISEL-NEXT: shl.4s v1, v1, #31
-; GISEL-NEXT: sshr.4s v1, v1, #31
; GISEL-NEXT: bif.16b v0, v2, v1
; GISEL-NEXT: ret
@@ -1664,8 +1652,6 @@ define <8 x i16> @abspattern5(<8 x i16> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.8h v2, v0
; GISEL-NEXT: cmgt.8h v1, v0, v1
-; GISEL-NEXT: shl.8h v1, v1, #15
-; GISEL-NEXT: sshr.8h v1, v1, #15
; GISEL-NEXT: bif.16b v0, v2, v1
; GISEL-NEXT: ret
@@ -1686,8 +1672,6 @@ define <16 x i8> @abspattern6(<16 x i8> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.16b v2, v0
; GISEL-NEXT: cmgt.16b v1, v1, v0
-; GISEL-NEXT: shl.16b v1, v1, #7
-; GISEL-NEXT: sshr.16b v1, v1, #7
; GISEL-NEXT: bit.16b v0, v2, v1
; GISEL-NEXT: ret
@@ -1708,8 +1692,6 @@ define <2 x i64> @abspattern7(<2 x i64> %a) nounwind {
; GISEL-NEXT: movi.2d v1, #0000000000000000
; GISEL-NEXT: neg.2d v2, v0
; GISEL-NEXT: cmge.2d v1, v1, v0
-; GISEL-NEXT: shl.2d v1, v1, #63
-; GISEL-NEXT: sshr.2d v1, v1, #63
; GISEL-NEXT: bit.16b v0, v2, v1
; GISEL-NEXT: ret
@@ -1731,8 +1713,6 @@ define <2 x i64> @uabd_i32(<2 x i32> %a, <2 x i32> %b) {
; GISEL-NEXT: ssubl.2d v0, v0, v1
; GISEL-NEXT: cmgt.2d v1, v2, v0
; GISEL-NEXT: neg.2d v2, v0
-; GISEL-NEXT: shl.2d v1, v1, #63
-; GISEL-NEXT: sshr.2d v1, v1, #63
; GISEL-NEXT: bit.16b v0, v2, v1
; GISEL-NEXT: ret
%aext = sext <2 x i32> %a to <2 x i64>
@@ -1782,3 +1762,5 @@ define <2 x i128> @uabd_i64(<2 x i64> %a, <2 x i64> %b) {
%absel = select <2 x i1> %abcmp, <2 x i128> %ababs, <2 x i128> %ab
diff
ret <2 x i128> %absel
}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; FALLBACK: {{.*}}
diff --git a/llvm/test/CodeGen/AArch64/min-max.ll b/llvm/test/CodeGen/AArch64/min-max.ll
index 28311b45013e8..2cec030cad226 100644
--- a/llvm/test/CodeGen/AArch64/min-max.ll
+++ b/llvm/test/CodeGen/AArch64/min-max.ll
@@ -224,19 +224,11 @@ define <1 x i64> @smax1i64(<1 x i64> %a, <1 x i64> %b) {
declare <2 x i64> @llvm.smax.v2i64(<2 x i64> %a, <2 x i64> %b) readnone
define <2 x i64> @smax2i64(<2 x i64> %a, <2 x i64> %b) {
-; CHECK-ISEL-LABEL: smax2i64:
-; CHECK-ISEL: // %bb.0:
-; CHECK-ISEL-NEXT: cmgt v2.2d, v0.2d, v1.2d
-; CHECK-ISEL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-ISEL-NEXT: ret
-;
-; CHECK-GLOBAL-LABEL: smax2i64:
-; CHECK-GLOBAL: // %bb.0:
-; CHECK-GLOBAL-NEXT: cmgt v2.2d, v0.2d, v1.2d
-; CHECK-GLOBAL-NEXT: shl v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-GLOBAL-NEXT: ret
+; CHECK-LABEL: smax2i64:
+; CHECK: // %bb.0:
+; CHECK-NEXT: cmgt v2.2d, v0.2d, v1.2d
+; CHECK-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-NEXT: ret
%c = call <2 x i64> @llvm.smax.v2i64(<2 x i64> %a, <2 x i64> %b)
ret <2 x i64> %c
}
@@ -257,10 +249,6 @@ define void @smax4i64(<4 x i64> %a, <4 x i64> %b, <4 x i64>* %p) {
; CHECK-GLOBAL: // %bb.0:
; CHECK-GLOBAL-NEXT: cmgt v4.2d, v0.2d, v2.2d
; CHECK-GLOBAL-NEXT: cmgt v5.2d, v1.2d, v3.2d
-; CHECK-GLOBAL-NEXT: shl v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: shl v5.2d, v5.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v5.2d, v5.2d, #63
; CHECK-GLOBAL-NEXT: bif v0.16b, v2.16b, v4.16b
; CHECK-GLOBAL-NEXT: bif v1.16b, v3.16b, v5.16b
; CHECK-GLOBAL-NEXT: stp q0, q1, [x0]
@@ -488,19 +476,11 @@ define <1 x i64> @umax1i64(<1 x i64> %a, <1 x i64> %b) {
declare <2 x i64> @llvm.umax.v2i64(<2 x i64> %a, <2 x i64> %b) readnone
define <2 x i64> @umax2i64(<2 x i64> %a, <2 x i64> %b) {
-; CHECK-ISEL-LABEL: umax2i64:
-; CHECK-ISEL: // %bb.0:
-; CHECK-ISEL-NEXT: cmhi v2.2d, v0.2d, v1.2d
-; CHECK-ISEL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-ISEL-NEXT: ret
-;
-; CHECK-GLOBAL-LABEL: umax2i64:
-; CHECK-GLOBAL: // %bb.0:
-; CHECK-GLOBAL-NEXT: cmhi v2.2d, v0.2d, v1.2d
-; CHECK-GLOBAL-NEXT: shl v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-GLOBAL-NEXT: ret
+; CHECK-LABEL: umax2i64:
+; CHECK: // %bb.0:
+; CHECK-NEXT: cmhi v2.2d, v0.2d, v1.2d
+; CHECK-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-NEXT: ret
%c = call <2 x i64> @llvm.umax.v2i64(<2 x i64> %a, <2 x i64> %b)
ret <2 x i64> %c
}
@@ -521,10 +501,6 @@ define void @umax4i64(<4 x i64> %a, <4 x i64> %b, <4 x i64>* %p) {
; CHECK-GLOBAL: // %bb.0:
; CHECK-GLOBAL-NEXT: cmhi v4.2d, v0.2d, v2.2d
; CHECK-GLOBAL-NEXT: cmhi v5.2d, v1.2d, v3.2d
-; CHECK-GLOBAL-NEXT: shl v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: shl v5.2d, v5.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v5.2d, v5.2d, #63
; CHECK-GLOBAL-NEXT: bif v0.16b, v2.16b, v4.16b
; CHECK-GLOBAL-NEXT: bif v1.16b, v3.16b, v5.16b
; CHECK-GLOBAL-NEXT: stp q0, q1, [x0]
@@ -752,19 +728,11 @@ define <1 x i64> @smin1i64(<1 x i64> %a, <1 x i64> %b) {
declare <2 x i64> @llvm.smin.v2i64(<2 x i64> %a, <2 x i64> %b) readnone
define <2 x i64> @smin2i64(<2 x i64> %a, <2 x i64> %b) {
-; CHECK-ISEL-LABEL: smin2i64:
-; CHECK-ISEL: // %bb.0:
-; CHECK-ISEL-NEXT: cmgt v2.2d, v1.2d, v0.2d
-; CHECK-ISEL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-ISEL-NEXT: ret
-;
-; CHECK-GLOBAL-LABEL: smin2i64:
-; CHECK-GLOBAL: // %bb.0:
-; CHECK-GLOBAL-NEXT: cmgt v2.2d, v1.2d, v0.2d
-; CHECK-GLOBAL-NEXT: shl v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-GLOBAL-NEXT: ret
+; CHECK-LABEL: smin2i64:
+; CHECK: // %bb.0:
+; CHECK-NEXT: cmgt v2.2d, v1.2d, v0.2d
+; CHECK-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-NEXT: ret
%c = call <2 x i64> @llvm.smin.v2i64(<2 x i64> %a, <2 x i64> %b)
ret <2 x i64> %c
}
@@ -785,10 +753,6 @@ define void @smin4i64(<4 x i64> %a, <4 x i64> %b, <4 x i64>* %p) {
; CHECK-GLOBAL: // %bb.0:
; CHECK-GLOBAL-NEXT: cmgt v4.2d, v2.2d, v0.2d
; CHECK-GLOBAL-NEXT: cmgt v5.2d, v3.2d, v1.2d
-; CHECK-GLOBAL-NEXT: shl v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: shl v5.2d, v5.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v5.2d, v5.2d, #63
; CHECK-GLOBAL-NEXT: bif v0.16b, v2.16b, v4.16b
; CHECK-GLOBAL-NEXT: bif v1.16b, v3.16b, v5.16b
; CHECK-GLOBAL-NEXT: stp q0, q1, [x0]
@@ -1016,19 +980,11 @@ define <1 x i64> @umin1i64(<1 x i64> %a, <1 x i64> %b) {
declare <2 x i64> @llvm.umin.v2i64(<2 x i64> %a, <2 x i64> %b) readnone
define <2 x i64> @umin2i64(<2 x i64> %a, <2 x i64> %b) {
-; CHECK-ISEL-LABEL: umin2i64:
-; CHECK-ISEL: // %bb.0:
-; CHECK-ISEL-NEXT: cmhi v2.2d, v1.2d, v0.2d
-; CHECK-ISEL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-ISEL-NEXT: ret
-;
-; CHECK-GLOBAL-LABEL: umin2i64:
-; CHECK-GLOBAL: // %bb.0:
-; CHECK-GLOBAL-NEXT: cmhi v2.2d, v1.2d, v0.2d
-; CHECK-GLOBAL-NEXT: shl v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v2.2d, v2.2d, #63
-; CHECK-GLOBAL-NEXT: bif v0.16b, v1.16b, v2.16b
-; CHECK-GLOBAL-NEXT: ret
+; CHECK-LABEL: umin2i64:
+; CHECK: // %bb.0:
+; CHECK-NEXT: cmhi v2.2d, v1.2d, v0.2d
+; CHECK-NEXT: bif v0.16b, v1.16b, v2.16b
+; CHECK-NEXT: ret
%c = call <2 x i64> @llvm.umin.v2i64(<2 x i64> %a, <2 x i64> %b)
ret <2 x i64> %c
}
@@ -1049,10 +1005,6 @@ define void @umin4i64(<4 x i64> %a, <4 x i64> %b, <4 x i64>* %p) {
; CHECK-GLOBAL: // %bb.0:
; CHECK-GLOBAL-NEXT: cmhi v4.2d, v2.2d, v0.2d
; CHECK-GLOBAL-NEXT: cmhi v5.2d, v3.2d, v1.2d
-; CHECK-GLOBAL-NEXT: shl v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: shl v5.2d, v5.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v4.2d, v4.2d, #63
-; CHECK-GLOBAL-NEXT: sshr v5.2d, v5.2d, #63
; CHECK-GLOBAL-NEXT: bif v0.16b, v2.16b, v4.16b
; CHECK-GLOBAL-NEXT: bif v1.16b, v3.16b, v5.16b
; CHECK-GLOBAL-NEXT: stp q0, q1, [x0]
diff --git a/llvm/test/CodeGen/AArch64/neon-compare-instructions.ll b/llvm/test/CodeGen/AArch64/neon-compare-instructions.ll
index ec210b4efc7be..9b2d8bea0e4c1 100644
--- a/llvm/test/CodeGen/AArch64/neon-compare-instructions.ll
+++ b/llvm/test/CodeGen/AArch64/neon-compare-instructions.ll
@@ -11,8 +11,6 @@ define <8 x i8> @cmeq8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmeq8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp eq <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -28,8 +26,6 @@ define <16 x i8> @cmeq16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmeq16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp eq <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -45,8 +41,6 @@ define <4 x i16> @cmeq4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmeq4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp eq <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -62,8 +56,6 @@ define <8 x i16> @cmeq8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmeq8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp eq <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -79,8 +71,6 @@ define <2 x i32> @cmeq2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmeq2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp eq <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -96,8 +86,6 @@ define <4 x i32> @cmeq4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmeq4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp eq <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -113,8 +101,6 @@ define <2 x i64> @cmeq2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmeq2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp eq <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -132,8 +118,6 @@ define <8 x i8> @cmne8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.8b, v0.8b, v1.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ne <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -151,8 +135,6 @@ define <16 x i8> @cmne16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ne <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -170,8 +152,6 @@ define <4 x i16> @cmne4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.4h, v0.4h, v1.4h
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ne <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -189,8 +169,6 @@ define <8 x i16> @cmne8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.8h, v0.8h, v1.8h
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ne <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -208,8 +186,6 @@ define <2 x i32> @cmne2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ne <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -227,8 +203,6 @@ define <4 x i32> @cmne4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ne <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -246,8 +220,6 @@ define <2 x i64> @cmne2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: cmeq v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ne <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -263,8 +235,6 @@ define <8 x i8> @cmgt8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmgt8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sgt <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -280,8 +250,6 @@ define <16 x i8> @cmgt16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmgt16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sgt <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -297,8 +265,6 @@ define <4 x i16> @cmgt4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmgt4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sgt <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -314,8 +280,6 @@ define <8 x i16> @cmgt8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmgt8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sgt <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -331,8 +295,6 @@ define <2 x i32> @cmgt2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmgt2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sgt <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -348,8 +310,6 @@ define <4 x i32> @cmgt4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmgt4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sgt <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -365,8 +325,6 @@ define <2 x i64> @cmgt2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmgt2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp sgt <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -383,8 +341,6 @@ define <8 x i8> @cmlt8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmlt8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp slt <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -401,8 +357,6 @@ define <16 x i8> @cmlt16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmlt16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp slt <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -419,8 +373,6 @@ define <4 x i16> @cmlt4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmlt4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp slt <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -437,8 +389,6 @@ define <8 x i16> @cmlt8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmlt8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp slt <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -455,8 +405,6 @@ define <2 x i32> @cmlt2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmlt2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp slt <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -473,8 +421,6 @@ define <4 x i32> @cmlt4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmlt4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp slt <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -491,8 +437,6 @@ define <2 x i64> @cmlt2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmlt2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmgt v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp slt <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -508,8 +452,6 @@ define <8 x i8> @cmge8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmge8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sge <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -525,8 +467,6 @@ define <16 x i8> @cmge16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmge16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sge <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -542,8 +482,6 @@ define <4 x i16> @cmge4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmge4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sge <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -559,8 +497,6 @@ define <8 x i16> @cmge8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmge8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sge <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -576,8 +512,6 @@ define <2 x i32> @cmge2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmge2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sge <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -593,8 +527,6 @@ define <4 x i32> @cmge4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmge4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sge <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -610,8 +542,6 @@ define <2 x i64> @cmge2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmge2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp sge <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -628,8 +558,6 @@ define <8 x i8> @cmle8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmle8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sle <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -646,8 +574,6 @@ define <16 x i8> @cmle16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmle16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sle <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -664,8 +590,6 @@ define <4 x i16> @cmle4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmle4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sle <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -682,8 +606,6 @@ define <8 x i16> @cmle8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmle8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sle <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -700,8 +622,6 @@ define <2 x i32> @cmle2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmle2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sle <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -718,8 +638,6 @@ define <4 x i32> @cmle4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmle4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sle <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -736,8 +654,6 @@ define <2 x i64> @cmle2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmle2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmge v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp sle <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -753,8 +669,6 @@ define <8 x i8> @cmhi8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmhi8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ugt <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -770,8 +684,6 @@ define <16 x i8> @cmhi16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmhi16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ugt <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -787,8 +699,6 @@ define <4 x i16> @cmhi4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmhi4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ugt <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -804,8 +714,6 @@ define <8 x i16> @cmhi8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmhi8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ugt <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -821,8 +729,6 @@ define <2 x i32> @cmhi2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmhi2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ugt <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -838,8 +744,6 @@ define <4 x i32> @cmhi4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmhi4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ugt <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -855,8 +759,6 @@ define <2 x i64> @cmhi2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmhi2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ugt <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -873,8 +775,6 @@ define <8 x i8> @cmlo8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmlo8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ult <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -891,8 +791,6 @@ define <16 x i8> @cmlo16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmlo16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ult <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -909,8 +807,6 @@ define <4 x i16> @cmlo4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmlo4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ult <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -927,8 +823,6 @@ define <8 x i16> @cmlo8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmlo8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ult <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -945,8 +839,6 @@ define <2 x i32> @cmlo2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmlo2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ult <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -963,8 +855,6 @@ define <4 x i32> @cmlo4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmlo4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ult <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -981,8 +871,6 @@ define <2 x i64> @cmlo2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmlo2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhi v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ult <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -998,8 +886,6 @@ define <8 x i8> @cmhs8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmhs8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp uge <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -1015,8 +901,6 @@ define <16 x i8> @cmhs16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmhs16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp uge <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -1032,8 +916,6 @@ define <4 x i16> @cmhs4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmhs4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp uge <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -1049,8 +931,6 @@ define <8 x i16> @cmhs8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmhs8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp uge <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -1066,8 +946,6 @@ define <2 x i32> @cmhs2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmhs2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp uge <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -1083,8 +961,6 @@ define <4 x i32> @cmhs4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmhs4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp uge <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -1100,8 +976,6 @@ define <2 x i64> @cmhs2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmhs2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp uge <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -1118,8 +992,6 @@ define <8 x i8> @cmls8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-LABEL: cmls8xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ule <8 x i8> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -1136,8 +1008,6 @@ define <16 x i8> @cmls16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-LABEL: cmls16xi8:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ule <16 x i8> %A, %B;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -1154,8 +1024,6 @@ define <4 x i16> @cmls4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-LABEL: cmls4xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ule <4 x i16> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -1172,8 +1040,6 @@ define <8 x i16> @cmls8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-LABEL: cmls8xi16:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ule <8 x i16> %A, %B;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -1190,8 +1056,6 @@ define <2 x i32> @cmls2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-LABEL: cmls2xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ule <2 x i32> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -1208,8 +1072,6 @@ define <4 x i32> @cmls4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-LABEL: cmls4xi32:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ule <4 x i32> %A, %B;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -1226,8 +1088,6 @@ define <2 x i64> @cmls2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-LABEL: cmls2xi64:
; GISEL: // %bb.0:
; GISEL-NEXT: cmhs v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ule <2 x i64> %A, %B;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -1246,8 +1106,6 @@ define <8 x i8> @cmtst8xi8(<8 x i8> %A, <8 x i8> %B) {
; GISEL-NEXT: and v0.8b, v0.8b, v1.8b
; GISEL-NEXT: cmeq v0.8b, v0.8b, v2.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = and <8 x i8> %A, %B
%tmp4 = icmp ne <8 x i8> %tmp3, zeroinitializer
@@ -1267,8 +1125,6 @@ define <16 x i8> @cmtst16xi8(<16 x i8> %A, <16 x i8> %B) {
; GISEL-NEXT: and v0.16b, v0.16b, v1.16b
; GISEL-NEXT: cmeq v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = and <16 x i8> %A, %B
%tmp4 = icmp ne <16 x i8> %tmp3, zeroinitializer
@@ -1288,8 +1144,6 @@ define <4 x i16> @cmtst4xi16(<4 x i16> %A, <4 x i16> %B) {
; GISEL-NEXT: and v0.8b, v0.8b, v1.8b
; GISEL-NEXT: cmeq v0.4h, v0.4h, v2.4h
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = and <4 x i16> %A, %B
%tmp4 = icmp ne <4 x i16> %tmp3, zeroinitializer
@@ -1309,8 +1163,6 @@ define <8 x i16> @cmtst8xi16(<8 x i16> %A, <8 x i16> %B) {
; GISEL-NEXT: and v0.16b, v0.16b, v1.16b
; GISEL-NEXT: cmeq v0.8h, v0.8h, v2.8h
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = and <8 x i16> %A, %B
%tmp4 = icmp ne <8 x i16> %tmp3, zeroinitializer
@@ -1330,8 +1182,6 @@ define <2 x i32> @cmtst2xi32(<2 x i32> %A, <2 x i32> %B) {
; GISEL-NEXT: and v0.8b, v0.8b, v1.8b
; GISEL-NEXT: cmeq v0.2s, v0.2s, v2.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = and <2 x i32> %A, %B
%tmp4 = icmp ne <2 x i32> %tmp3, zeroinitializer
@@ -1351,8 +1201,6 @@ define <4 x i32> @cmtst4xi32(<4 x i32> %A, <4 x i32> %B) {
; GISEL-NEXT: and v0.16b, v0.16b, v1.16b
; GISEL-NEXT: cmeq v0.4s, v0.4s, v2.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = and <4 x i32> %A, %B
%tmp4 = icmp ne <4 x i32> %tmp3, zeroinitializer
@@ -1372,8 +1220,6 @@ define <2 x i64> @cmtst2xi64(<2 x i64> %A, <2 x i64> %B) {
; GISEL-NEXT: and v0.16b, v0.16b, v1.16b
; GISEL-NEXT: cmeq v0.2d, v0.2d, v2.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = and <2 x i64> %A, %B
%tmp4 = icmp ne <2 x i64> %tmp3, zeroinitializer
@@ -1393,8 +1239,6 @@ define <8 x i8> @cmeqz8xi8(<8 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp eq <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -1411,8 +1255,6 @@ define <16 x i8> @cmeqz16xi8(<16 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp eq <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -1429,8 +1271,6 @@ define <4 x i16> @cmeqz4xi16(<4 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp eq <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -1447,8 +1287,6 @@ define <8 x i16> @cmeqz8xi16(<8 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp eq <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -1465,8 +1303,6 @@ define <2 x i32> @cmeqz2xi32(<2 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp eq <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -1483,8 +1319,6 @@ define <4 x i32> @cmeqz4xi32(<4 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp eq <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -1501,8 +1335,6 @@ define <2 x i64> @cmeqz2xi64(<2 x i64> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp eq <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -1520,8 +1352,6 @@ define <8 x i8> @cmgez8xi8(<8 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sge <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -1538,8 +1368,6 @@ define <16 x i8> @cmgez16xi8(<16 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sge <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -1556,8 +1384,6 @@ define <4 x i16> @cmgez4xi16(<4 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sge <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -1574,8 +1400,6 @@ define <8 x i16> @cmgez8xi16(<8 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sge <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -1592,8 +1416,6 @@ define <2 x i32> @cmgez2xi32(<2 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sge <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -1610,8 +1432,6 @@ define <4 x i32> @cmgez4xi32(<4 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sge <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -1628,8 +1448,6 @@ define <2 x i64> @cmgez2xi64(<2 x i64> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp sge <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -1760,8 +1578,6 @@ define <8 x i8> @cmgtz8xi8(<8 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sgt <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -1778,8 +1594,6 @@ define <16 x i8> @cmgtz16xi8(<16 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sgt <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -1796,8 +1610,6 @@ define <4 x i16> @cmgtz4xi16(<4 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sgt <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -1814,8 +1626,6 @@ define <8 x i16> @cmgtz8xi16(<8 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sgt <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -1832,8 +1642,6 @@ define <2 x i32> @cmgtz2xi32(<2 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sgt <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -1850,8 +1658,6 @@ define <4 x i32> @cmgtz4xi32(<4 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sgt <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -1868,8 +1674,6 @@ define <2 x i64> @cmgtz2xi64(<2 x i64> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp sgt <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -1886,8 +1690,6 @@ define <8 x i8> @cmlez8xi8(<8 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sle <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -1904,8 +1706,6 @@ define <16 x i8> @cmlez16xi8(<16 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp sle <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -1922,8 +1722,6 @@ define <4 x i16> @cmlez4xi16(<4 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sle <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -1940,8 +1738,6 @@ define <8 x i16> @cmlez8xi16(<8 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp sle <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -1958,8 +1754,6 @@ define <2 x i32> @cmlez2xi32(<2 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sle <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -1976,8 +1770,6 @@ define <4 x i32> @cmlez4xi32(<4 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp sle <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -1994,8 +1786,6 @@ define <2 x i64> @cmlez2xi64(<2 x i64> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmge v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp sle <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2012,8 +1802,6 @@ define <8 x i8> @cmltz8xi8(<8 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp slt <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -2030,8 +1818,6 @@ define <16 x i8> @cmltz16xi8(<16 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp slt <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -2048,8 +1834,6 @@ define <4 x i16> @cmltz4xi16(<4 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp slt <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -2066,8 +1850,6 @@ define <8 x i16> @cmltz8xi16(<8 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp slt <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -2084,8 +1866,6 @@ define <2 x i32> @cmltz2xi32(<2 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp slt <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2102,8 +1882,6 @@ define <4 x i32> @cmltz4xi32(<4 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp slt <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2120,8 +1898,6 @@ define <2 x i64> @cmltz2xi64(<2 x i64> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmgt v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp slt <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2139,8 +1915,6 @@ define <8 x i8> @cmneqz8xi8(<8 x i8> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.8b, v0.8b, v1.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ne <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -2158,8 +1932,6 @@ define <16 x i8> @cmneqz16xi8(<16 x i8> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ne <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -2177,8 +1949,6 @@ define <4 x i16> @cmneqz4xi16(<4 x i16> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.4h, v0.4h, v1.4h
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ne <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -2196,8 +1966,6 @@ define <8 x i16> @cmneqz8xi16(<8 x i16> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.8h, v0.8h, v1.8h
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ne <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -2215,8 +1983,6 @@ define <2 x i32> @cmneqz2xi32(<2 x i32> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ne <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2234,8 +2000,6 @@ define <4 x i32> @cmneqz4xi32(<4 x i32> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ne <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2253,8 +2017,6 @@ define <2 x i64> @cmneqz2xi64(<2 x i64> %A) {
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmeq v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ne <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2273,8 +2035,6 @@ define <8 x i8> @cmhsz8xi8(<8 x i8> %A) {
; GISEL-NEXT: adrp x8, .LCPI126_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI126_0]
; GISEL-NEXT: cmhs v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp uge <8 x i8> %A, <i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2>
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -2293,8 +2053,6 @@ define <16 x i8> @cmhsz16xi8(<16 x i8> %A) {
; GISEL-NEXT: adrp x8, .LCPI127_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI127_0]
; GISEL-NEXT: cmhs v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp uge <16 x i8> %A, <i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2>
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -2313,8 +2071,6 @@ define <4 x i16> @cmhsz4xi16(<4 x i16> %A) {
; GISEL-NEXT: adrp x8, .LCPI128_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI128_0]
; GISEL-NEXT: cmhs v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp uge <4 x i16> %A, <i16 2, i16 2, i16 2, i16 2>
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -2333,8 +2089,6 @@ define <8 x i16> @cmhsz8xi16(<8 x i16> %A) {
; GISEL-NEXT: adrp x8, .LCPI129_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI129_0]
; GISEL-NEXT: cmhs v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp uge <8 x i16> %A, <i16 2, i16 2, i16 2, i16 2, i16 2, i16 2, i16 2, i16 2>
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -2353,8 +2107,6 @@ define <2 x i32> @cmhsz2xi32(<2 x i32> %A) {
; GISEL-NEXT: adrp x8, .LCPI130_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI130_0]
; GISEL-NEXT: cmhs v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp uge <2 x i32> %A, <i32 2, i32 2>
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2373,8 +2125,6 @@ define <4 x i32> @cmhsz4xi32(<4 x i32> %A) {
; GISEL-NEXT: adrp x8, .LCPI131_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI131_0]
; GISEL-NEXT: cmhs v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp uge <4 x i32> %A, <i32 2, i32 2, i32 2, i32 2>
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2394,8 +2144,6 @@ define <2 x i64> @cmhsz2xi64(<2 x i64> %A) {
; GISEL-NEXT: adrp x8, .LCPI132_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI132_0]
; GISEL-NEXT: cmhs v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp uge <2 x i64> %A, <i64 2, i64 2>
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2415,8 +2163,6 @@ define <8 x i8> @cmhiz8xi8(<8 x i8> %A) {
; GISEL-NEXT: adrp x8, .LCPI133_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI133_0]
; GISEL-NEXT: cmhi v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ugt <8 x i8> %A, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -2435,8 +2181,6 @@ define <16 x i8> @cmhiz16xi8(<16 x i8> %A) {
; GISEL-NEXT: adrp x8, .LCPI134_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI134_0]
; GISEL-NEXT: cmhi v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ugt <16 x i8> %A, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -2455,8 +2199,6 @@ define <4 x i16> @cmhiz4xi16(<4 x i16> %A) {
; GISEL-NEXT: adrp x8, .LCPI135_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI135_0]
; GISEL-NEXT: cmhi v0.4h, v0.4h, v1.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ugt <4 x i16> %A, <i16 1, i16 1, i16 1, i16 1>
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -2475,8 +2217,6 @@ define <8 x i16> @cmhiz8xi16(<8 x i16> %A) {
; GISEL-NEXT: adrp x8, .LCPI136_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI136_0]
; GISEL-NEXT: cmhi v0.8h, v0.8h, v1.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ugt <8 x i16> %A, <i16 1, i16 1, i16 1, i16 1, i16 1, i16 1, i16 1, i16 1>
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -2495,8 +2235,6 @@ define <2 x i32> @cmhiz2xi32(<2 x i32> %A) {
; GISEL-NEXT: adrp x8, .LCPI137_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI137_0]
; GISEL-NEXT: cmhi v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ugt <2 x i32> %A, <i32 1, i32 1>
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2515,8 +2253,6 @@ define <4 x i32> @cmhiz4xi32(<4 x i32> %A) {
; GISEL-NEXT: adrp x8, .LCPI138_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI138_0]
; GISEL-NEXT: cmhi v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ugt <4 x i32> %A, <i32 1, i32 1, i32 1, i32 1>
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2536,8 +2272,6 @@ define <2 x i64> @cmhiz2xi64(<2 x i64> %A) {
; GISEL-NEXT: adrp x8, .LCPI139_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI139_0]
; GISEL-NEXT: cmhi v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ugt <2 x i64> %A, <i64 1, i64 1>
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2556,8 +2290,6 @@ define <8 x i8> @cmlsz8xi8(<8 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ule <8 x i8> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -2576,8 +2308,6 @@ define <16 x i8> @cmlsz16xi8(<16 x i8> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ule <16 x i8> %A, zeroinitializer;
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -2596,8 +2326,6 @@ define <4 x i16> @cmlsz4xi16(<4 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ule <4 x i16> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -2616,8 +2344,6 @@ define <8 x i16> @cmlsz8xi16(<8 x i16> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ule <8 x i16> %A, zeroinitializer;
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -2636,8 +2362,6 @@ define <2 x i32> @cmlsz2xi32(<2 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ule <2 x i32> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2656,8 +2380,6 @@ define <4 x i32> @cmlsz4xi32(<4 x i32> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ule <4 x i32> %A, zeroinitializer;
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2676,8 +2398,6 @@ define <2 x i64> @cmlsz2xi64(<2 x i64> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: movi v1.2d, #0000000000000000
; GISEL-NEXT: cmhs v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ule <2 x i64> %A, zeroinitializer;
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2697,8 +2417,6 @@ define <8 x i8> @cmloz8xi8(<8 x i8> %A) {
; GISEL-NEXT: adrp x8, .LCPI147_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI147_0]
; GISEL-NEXT: cmhi v0.8b, v1.8b, v0.8b
-; GISEL-NEXT: shl v0.8b, v0.8b, #7
-; GISEL-NEXT: sshr v0.8b, v0.8b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ult <8 x i8> %A, <i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2>
%tmp4 = sext <8 x i1> %tmp3 to <8 x i8>
@@ -2718,8 +2436,6 @@ define <16 x i8> @cmloz16xi8(<16 x i8> %A) {
; GISEL-NEXT: adrp x8, .LCPI148_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI148_0]
; GISEL-NEXT: cmhi v0.16b, v1.16b, v0.16b
-; GISEL-NEXT: shl v0.16b, v0.16b, #7
-; GISEL-NEXT: sshr v0.16b, v0.16b, #7
; GISEL-NEXT: ret
%tmp3 = icmp ult <16 x i8> %A, <i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2, i8 2>
%tmp4 = sext <16 x i1> %tmp3 to <16 x i8>
@@ -2739,8 +2455,6 @@ define <4 x i16> @cmloz4xi16(<4 x i16> %A) {
; GISEL-NEXT: adrp x8, .LCPI149_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI149_0]
; GISEL-NEXT: cmhi v0.4h, v1.4h, v0.4h
-; GISEL-NEXT: shl v0.4h, v0.4h, #15
-; GISEL-NEXT: sshr v0.4h, v0.4h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ult <4 x i16> %A, <i16 2, i16 2, i16 2, i16 2>
%tmp4 = sext <4 x i1> %tmp3 to <4 x i16>
@@ -2760,8 +2474,6 @@ define <8 x i16> @cmloz8xi16(<8 x i16> %A) {
; GISEL-NEXT: adrp x8, .LCPI150_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI150_0]
; GISEL-NEXT: cmhi v0.8h, v1.8h, v0.8h
-; GISEL-NEXT: shl v0.8h, v0.8h, #15
-; GISEL-NEXT: sshr v0.8h, v0.8h, #15
; GISEL-NEXT: ret
%tmp3 = icmp ult <8 x i16> %A, <i16 2, i16 2, i16 2, i16 2, i16 2, i16 2, i16 2, i16 2>
%tmp4 = sext <8 x i1> %tmp3 to <8 x i16>
@@ -2781,8 +2493,6 @@ define <2 x i32> @cmloz2xi32(<2 x i32> %A) {
; GISEL-NEXT: adrp x8, .LCPI151_0
; GISEL-NEXT: ldr d1, [x8, :lo12:.LCPI151_0]
; GISEL-NEXT: cmhi v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ult <2 x i32> %A, <i32 2, i32 2>
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2802,8 +2512,6 @@ define <4 x i32> @cmloz4xi32(<4 x i32> %A) {
; GISEL-NEXT: adrp x8, .LCPI152_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI152_0]
; GISEL-NEXT: cmhi v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = icmp ult <4 x i32> %A, <i32 2, i32 2, i32 2, i32 2>
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2824,8 +2532,6 @@ define <2 x i64> @cmloz2xi64(<2 x i64> %A) {
; GISEL-NEXT: adrp x8, .LCPI153_0
; GISEL-NEXT: ldr q1, [x8, :lo12:.LCPI153_0]
; GISEL-NEXT: cmhi v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = icmp ult <2 x i64> %A, <i64 2, i64 2>
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2841,8 +2547,6 @@ define <2 x i32> @fcmoeq2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmoeq2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oeq <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2858,8 +2562,6 @@ define <4 x i32> @fcmoeq4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmoeq4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oeq <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2874,8 +2576,6 @@ define <2 x i64> @fcmoeq2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmoeq2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp oeq <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2891,8 +2591,6 @@ define <2 x i32> @fcmoge2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmoge2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oge <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2908,8 +2606,6 @@ define <4 x i32> @fcmoge4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmoge4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oge <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2924,8 +2620,6 @@ define <2 x i64> @fcmoge2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmoge2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp oge <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2941,8 +2635,6 @@ define <2 x i32> @fcmogt2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmogt2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ogt <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -2958,8 +2650,6 @@ define <4 x i32> @fcmogt4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmogt4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ogt <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -2974,8 +2664,6 @@ define <2 x i64> @fcmogt2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmogt2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ogt <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -2992,8 +2680,6 @@ define <2 x i32> @fcmole2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmole2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ole <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3010,8 +2696,6 @@ define <4 x i32> @fcmole4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmole4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ole <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3028,8 +2712,6 @@ define <2 x i64> @fcmole2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmole2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ole <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3046,8 +2728,6 @@ define <2 x i32> @fcmolt2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmolt2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp olt <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3064,8 +2744,6 @@ define <4 x i32> @fcmolt4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmolt4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp olt <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3082,8 +2760,6 @@ define <2 x i64> @fcmolt2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmolt2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp olt <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3104,8 +2780,6 @@ define <2 x i32> @fcmone2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmgt v2.2s, v0.2s, v1.2s
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp one <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3126,8 +2800,6 @@ define <4 x i32> @fcmone4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmgt v2.4s, v0.4s, v1.4s
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp one <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3149,8 +2821,6 @@ define <2 x i64> @fcmone2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmgt v2.2d, v0.2d, v1.2d
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp one <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3171,8 +2841,6 @@ define <2 x i32> @fcmord2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmge v2.2s, v0.2s, v1.2s
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ord <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3193,8 +2861,6 @@ define <4 x i32> @fcmord4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmge v2.4s, v0.4s, v1.4s
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ord <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3215,8 +2881,6 @@ define <2 x i64> @fcmord2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmge v2.2d, v0.2d, v1.2d
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ord <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3240,8 +2904,6 @@ define <2 x i32> @fcmuno2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uno <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3264,8 +2926,6 @@ define <4 x i32> @fcmuno4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uno <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3288,8 +2948,6 @@ define <2 x i64> @fcmuno2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp uno <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3312,8 +2970,6 @@ define <2 x i32> @fcmueq2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ueq <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3336,8 +2992,6 @@ define <4 x i32> @fcmueq4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ueq <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3360,8 +3014,6 @@ define <2 x i64> @fcmueq2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ueq <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3380,8 +3032,6 @@ define <2 x i32> @fcmuge2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uge <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3400,8 +3050,6 @@ define <4 x i32> @fcmuge4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uge <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3420,8 +3068,6 @@ define <2 x i64> @fcmuge2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp uge <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3440,8 +3086,6 @@ define <2 x i32> @fcmugt2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v1.2s, v0.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ugt <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3460,8 +3104,6 @@ define <4 x i32> @fcmugt4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v1.4s, v0.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ugt <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3479,8 +3121,6 @@ define <2 x i64> @fcmugt2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v1.2d, v0.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ugt <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3499,8 +3139,6 @@ define <2 x i32> @fcmule2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ule <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3519,8 +3157,6 @@ define <4 x i32> @fcmule4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ule <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3539,8 +3175,6 @@ define <2 x i64> @fcmule2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ule <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3559,8 +3193,6 @@ define <2 x i32> @fcmult2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ult <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3579,8 +3211,6 @@ define <4 x i32> @fcmult4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ult <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3599,8 +3229,6 @@ define <2 x i64> @fcmult2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ult <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3619,8 +3247,6 @@ define <2 x i32> @fcmune2xfloat(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp une <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3639,8 +3265,6 @@ define <4 x i32> @fcmune4xfloat(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp une <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3659,8 +3283,6 @@ define <2 x i64> @fcmune2xdouble(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp une <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3676,8 +3298,6 @@ define <2 x i32> @fcmoeqz2xfloat(<2 x float> %A) {
; GISEL-LABEL: fcmoeqz2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oeq <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3693,8 +3313,6 @@ define <4 x i32> @fcmoeqz4xfloat(<4 x float> %A) {
; GISEL-LABEL: fcmoeqz4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oeq <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3709,8 +3327,6 @@ define <2 x i64> @fcmoeqz2xdouble(<2 x double> %A) {
; GISEL-LABEL: fcmoeqz2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp oeq <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3727,8 +3343,6 @@ define <2 x i32> @fcmogez2xfloat(<2 x float> %A) {
; GISEL-LABEL: fcmogez2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oge <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3744,8 +3358,6 @@ define <4 x i32> @fcmogez4xfloat(<4 x float> %A) {
; GISEL-LABEL: fcmogez4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp oge <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3760,8 +3372,6 @@ define <2 x i64> @fcmogez2xdouble(<2 x double> %A) {
; GISEL-LABEL: fcmogez2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp oge <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3777,8 +3387,6 @@ define <2 x i32> @fcmogtz2xfloat(<2 x float> %A) {
; GISEL-LABEL: fcmogtz2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ogt <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3794,8 +3402,6 @@ define <4 x i32> @fcmogtz4xfloat(<4 x float> %A) {
; GISEL-LABEL: fcmogtz4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ogt <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3810,8 +3416,6 @@ define <2 x i64> @fcmogtz2xdouble(<2 x double> %A) {
; GISEL-LABEL: fcmogtz2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ogt <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3827,8 +3431,6 @@ define <2 x i32> @fcmoltz2xfloat(<2 x float> %A) {
; GISEL-LABEL: fcmoltz2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp olt <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3844,8 +3446,6 @@ define <4 x i32> @fcmoltz4xfloat(<4 x float> %A) {
; GISEL-LABEL: fcmoltz4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp olt <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3861,8 +3461,6 @@ define <2 x i64> @fcmoltz2xdouble(<2 x double> %A) {
; GISEL-LABEL: fcmoltz2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp olt <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3878,8 +3476,6 @@ define <2 x i32> @fcmolez2xfloat(<2 x float> %A) {
; GISEL-LABEL: fcmolez2xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ole <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3895,8 +3491,6 @@ define <4 x i32> @fcmolez4xfloat(<4 x float> %A) {
; GISEL-LABEL: fcmolez4xfloat:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ole <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3912,8 +3506,6 @@ define <2 x i64> @fcmolez2xdouble(<2 x double> %A) {
; GISEL-LABEL: fcmolez2xdouble:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ole <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -3934,8 +3526,6 @@ define <2 x i32> @fcmonez2xfloat(<2 x float> %A) {
; GISEL-NEXT: fcmgt v1.2s, v0.2s, #0.0
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp one <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -3956,8 +3546,6 @@ define <4 x i32> @fcmonez4xfloat(<4 x float> %A) {
; GISEL-NEXT: fcmgt v1.4s, v0.4s, #0.0
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp one <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -3978,8 +3566,6 @@ define <2 x i64> @fcmonez2xdouble(<2 x double> %A) {
; GISEL-NEXT: fcmgt v1.2d, v0.2d, #0.0
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp one <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4000,8 +3586,6 @@ define <2 x i32> @fcmordz2xfloat(<2 x float> %A) {
; GISEL-NEXT: fcmge v1.2s, v0.2s, #0.0
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ord <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4022,8 +3606,6 @@ define <4 x i32> @fcmordz4xfloat(<4 x float> %A) {
; GISEL-NEXT: fcmge v1.4s, v0.4s, #0.0
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ord <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4044,8 +3626,6 @@ define <2 x i64> @fcmordz2xdouble(<2 x double> %A) {
; GISEL-NEXT: fcmge v1.2d, v0.2d, #0.0
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ord <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4068,8 +3648,6 @@ define <2 x i32> @fcmueqz2xfloat(<2 x float> %A) {
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ueq <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4092,8 +3670,6 @@ define <4 x i32> @fcmueqz4xfloat(<4 x float> %A) {
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ueq <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4116,8 +3692,6 @@ define <2 x i64> @fcmueqz2xdouble(<2 x double> %A) {
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ueq <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4136,8 +3710,6 @@ define <2 x i32> @fcmugez2xfloat(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uge <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4156,8 +3728,6 @@ define <4 x i32> @fcmugez4xfloat(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uge <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4176,8 +3746,6 @@ define <2 x i64> @fcmugez2xdouble(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp uge <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4196,8 +3764,6 @@ define <2 x i32> @fcmugtz2xfloat(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ugt <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4216,8 +3782,6 @@ define <4 x i32> @fcmugtz4xfloat(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ugt <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4236,8 +3800,6 @@ define <2 x i64> @fcmugtz2xdouble(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ugt <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4256,8 +3818,6 @@ define <2 x i32> @fcmultz2xfloat(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ult <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4275,8 +3835,6 @@ define <4 x i32> @fcmultz4xfloat(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ult <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4294,8 +3852,6 @@ define <2 x i64> @fcmultz2xdouble(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ult <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4314,8 +3870,6 @@ define <2 x i32> @fcmulez2xfloat(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ule <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4334,8 +3888,6 @@ define <4 x i32> @fcmulez4xfloat(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp ule <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4354,8 +3906,6 @@ define <2 x i64> @fcmulez2xdouble(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp ule <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4374,8 +3924,6 @@ define <2 x i32> @fcmunez2xfloat(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp une <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4394,8 +3942,6 @@ define <4 x i32> @fcmunez4xfloat(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp une <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4414,8 +3960,6 @@ define <2 x i64> @fcmunez2xdouble(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp une <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4438,8 +3982,6 @@ define <2 x i32> @fcmunoz2xfloat(<2 x float> %A) {
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uno <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4462,8 +4004,6 @@ define <4 x i32> @fcmunoz4xfloat(<4 x float> %A) {
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp uno <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4486,8 +4026,6 @@ define <2 x i64> @fcmunoz2xdouble(<2 x double> %A) {
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp uno <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4504,8 +4042,6 @@ define <2 x i32> @fcmoeq2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmoeq2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oeq <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4521,8 +4057,6 @@ define <4 x i32> @fcmoeq4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmoeq4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oeq <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4537,8 +4071,6 @@ define <2 x i64> @fcmoeq2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmoeq2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast oeq <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4554,8 +4086,6 @@ define <2 x i32> @fcmoge2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmoge2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oge <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4571,8 +4101,6 @@ define <4 x i32> @fcmoge4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmoge4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oge <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4587,8 +4115,6 @@ define <2 x i64> @fcmoge2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmoge2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast oge <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4604,8 +4130,6 @@ define <2 x i32> @fcmogt2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmogt2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, v1.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ogt <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4621,8 +4145,6 @@ define <4 x i32> @fcmogt4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmogt4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, v1.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ogt <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4637,8 +4159,6 @@ define <2 x i64> @fcmogt2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmogt2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, v1.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ogt <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4654,8 +4174,6 @@ define <2 x i32> @fcmole2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmole2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ole <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4671,8 +4189,6 @@ define <4 x i32> @fcmole4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmole4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ole <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4688,8 +4204,6 @@ define <2 x i64> @fcmole2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmole2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ole <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4705,8 +4219,6 @@ define <2 x i32> @fcmolt2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-LABEL: fcmolt2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast olt <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4722,8 +4234,6 @@ define <4 x i32> @fcmolt4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-LABEL: fcmolt4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast olt <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4739,8 +4249,6 @@ define <2 x i64> @fcmolt2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-LABEL: fcmolt2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast olt <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4759,8 +4267,6 @@ define <2 x i32> @fcmone2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmgt v2.2s, v0.2s, v1.2s
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast one <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4779,8 +4285,6 @@ define <4 x i32> @fcmone4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmgt v2.4s, v0.4s, v1.4s
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast one <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4799,8 +4303,6 @@ define <2 x i64> @fcmone2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmgt v2.2d, v0.2d, v1.2d
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast one <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4820,8 +4322,6 @@ define <2 x i32> @fcmord2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmge v2.2s, v0.2s, v1.2s
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ord <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4841,8 +4341,6 @@ define <4 x i32> @fcmord4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmge v2.4s, v0.4s, v1.4s
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ord <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4862,8 +4360,6 @@ define <2 x i64> @fcmord2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmge v2.2d, v0.2d, v1.2d
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ord <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4886,8 +4382,6 @@ define <2 x i32> @fcmuno2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uno <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4909,8 +4403,6 @@ define <4 x i32> @fcmuno4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uno <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4932,8 +4424,6 @@ define <2 x i64> @fcmuno2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast uno <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -4952,8 +4442,6 @@ define <2 x i32> @fcmueq2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: orr v0.8b, v0.8b, v2.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ueq <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -4972,8 +4460,6 @@ define <4 x i32> @fcmueq4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ueq <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -4992,8 +4478,6 @@ define <2 x i64> @fcmueq2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: orr v0.16b, v0.16b, v2.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ueq <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5010,8 +4494,6 @@ define <2 x i32> @fcmuge2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v1.2s, v0.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uge <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5028,8 +4510,6 @@ define <4 x i32> @fcmuge4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v1.4s, v0.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uge <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5046,8 +4526,6 @@ define <2 x i64> @fcmuge2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v1.2d, v0.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast uge <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5064,8 +4542,6 @@ define <2 x i32> @fcmugt2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v1.2s, v0.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ugt <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5082,8 +4558,6 @@ define <4 x i32> @fcmugt4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v1.4s, v0.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ugt <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5100,8 +4574,6 @@ define <2 x i64> @fcmugt2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v1.2d, v0.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ugt <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5118,8 +4590,6 @@ define <2 x i32> @fcmule2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ule <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5136,8 +4606,6 @@ define <4 x i32> @fcmule4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ule <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5154,8 +4622,6 @@ define <2 x i64> @fcmule2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ule <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5172,8 +4638,6 @@ define <2 x i32> @fcmult2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ult <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5190,8 +4654,6 @@ define <4 x i32> @fcmult4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ult <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5208,8 +4670,6 @@ define <2 x i64> @fcmult2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ult <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5227,8 +4687,6 @@ define <2 x i32> @fcmune2xfloat_fast(<2 x float> %A, <2 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, v1.2s
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast une <2 x float> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5246,8 +4704,6 @@ define <4 x i32> @fcmune4xfloat_fast(<4 x float> %A, <4 x float> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, v1.4s
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast une <4 x float> %A, %B
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5265,8 +4721,6 @@ define <2 x i64> @fcmune2xdouble_fast(<2 x double> %A, <2 x double> %B) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, v1.2d
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast une <2 x double> %A, %B
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5282,8 +4736,6 @@ define <2 x i32> @fcmoeqz2xfloat_fast(<2 x float> %A) {
; GISEL-LABEL: fcmoeqz2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oeq <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5299,8 +4751,6 @@ define <4 x i32> @fcmoeqz4xfloat_fast(<4 x float> %A) {
; GISEL-LABEL: fcmoeqz4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oeq <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5315,8 +4765,6 @@ define <2 x i64> @fcmoeqz2xdouble_fast(<2 x double> %A) {
; GISEL-LABEL: fcmoeqz2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast oeq <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5333,8 +4781,6 @@ define <2 x i32> @fcmogez2xfloat_fast(<2 x float> %A) {
; GISEL-LABEL: fcmogez2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oge <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5350,8 +4796,6 @@ define <4 x i32> @fcmogez4xfloat_fast(<4 x float> %A) {
; GISEL-LABEL: fcmogez4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast oge <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5366,8 +4810,6 @@ define <2 x i64> @fcmogez2xdouble_fast(<2 x double> %A) {
; GISEL-LABEL: fcmogez2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast oge <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5383,8 +4825,6 @@ define <2 x i32> @fcmogtz2xfloat_fast(<2 x float> %A) {
; GISEL-LABEL: fcmogtz2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ogt <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5400,8 +4840,6 @@ define <4 x i32> @fcmogtz4xfloat_fast(<4 x float> %A) {
; GISEL-LABEL: fcmogtz4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ogt <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5416,8 +4854,6 @@ define <2 x i64> @fcmogtz2xdouble_fast(<2 x double> %A) {
; GISEL-LABEL: fcmogtz2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ogt <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5433,8 +4869,6 @@ define <2 x i32> @fcmoltz2xfloat_fast(<2 x float> %A) {
; GISEL-LABEL: fcmoltz2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast olt <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5450,8 +4884,6 @@ define <4 x i32> @fcmoltz4xfloat_fast(<4 x float> %A) {
; GISEL-LABEL: fcmoltz4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast olt <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5467,8 +4899,6 @@ define <2 x i64> @fcmoltz2xdouble_fast(<2 x double> %A) {
; GISEL-LABEL: fcmoltz2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast olt <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5484,8 +4914,6 @@ define <2 x i32> @fcmolez2xfloat_fast(<2 x float> %A) {
; GISEL-LABEL: fcmolez2xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2s, v0.2s, #0.0
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ole <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5501,8 +4929,6 @@ define <4 x i32> @fcmolez4xfloat_fast(<4 x float> %A) {
; GISEL-LABEL: fcmolez4xfloat_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.4s, v0.4s, #0.0
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ole <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5518,8 +4944,6 @@ define <2 x i64> @fcmolez2xdouble_fast(<2 x double> %A) {
; GISEL-LABEL: fcmolez2xdouble_fast:
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2d, v0.2d, #0.0
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ole <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5538,8 +4962,6 @@ define <2 x i32> @fcmonez2xfloat_fast(<2 x float> %A) {
; GISEL-NEXT: fcmgt v1.2s, v0.2s, #0.0
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast one <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5558,8 +4980,6 @@ define <4 x i32> @fcmonez4xfloat_fast(<4 x float> %A) {
; GISEL-NEXT: fcmgt v1.4s, v0.4s, #0.0
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast one <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5578,8 +4998,6 @@ define <2 x i64> @fcmonez2xdouble_fast(<2 x double> %A) {
; GISEL-NEXT: fcmgt v1.2d, v0.2d, #0.0
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast one <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5599,8 +5017,6 @@ define <2 x i32> @fcmordz2xfloat_fast(<2 x float> %A) {
; GISEL-NEXT: fcmge v1.2s, v0.2s, #0.0
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ord <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5620,8 +5036,6 @@ define <4 x i32> @fcmordz4xfloat_fast(<4 x float> %A) {
; GISEL-NEXT: fcmge v1.4s, v0.4s, #0.0
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ord <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5641,8 +5055,6 @@ define <2 x i64> @fcmordz2xdouble_fast(<2 x double> %A) {
; GISEL-NEXT: fcmge v1.2d, v0.2d, #0.0
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ord <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5661,8 +5073,6 @@ define <2 x i32> @fcmueqz2xfloat_fast(<2 x float> %A) {
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ueq <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5681,8 +5091,6 @@ define <4 x i32> @fcmueqz4xfloat_fast(<4 x float> %A) {
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ueq <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5701,8 +5109,6 @@ define <2 x i64> @fcmueqz2xdouble_fast(<2 x double> %A) {
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ueq <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5719,8 +5125,6 @@ define <2 x i32> @fcmugez2xfloat_fast(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uge <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5737,8 +5141,6 @@ define <4 x i32> @fcmugez4xfloat_fast(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uge <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5755,8 +5157,6 @@ define <2 x i64> @fcmugez2xdouble_fast(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast uge <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5773,8 +5173,6 @@ define <2 x i32> @fcmugtz2xfloat_fast(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ugt <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5791,8 +5189,6 @@ define <4 x i32> @fcmugtz4xfloat_fast(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ugt <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5809,8 +5205,6 @@ define <2 x i64> @fcmugtz2xdouble_fast(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmle v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ugt <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5827,8 +5221,6 @@ define <2 x i32> @fcmultz2xfloat_fast(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ult <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5845,8 +5237,6 @@ define <4 x i32> @fcmultz4xfloat_fast(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ult <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5863,8 +5253,6 @@ define <2 x i64> @fcmultz2xdouble_fast(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmge v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ult <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5882,8 +5270,6 @@ define <2 x i32> @fcmulez2xfloat_fast(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ule <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5900,8 +5286,6 @@ define <4 x i32> @fcmulez4xfloat_fast(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast ule <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5918,8 +5302,6 @@ define <2 x i64> @fcmulez2xdouble_fast(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmgt v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast ule <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5937,8 +5319,6 @@ define <2 x i32> @fcmunez2xfloat_fast(<2 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2s, v0.2s, #0.0
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast une <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -5956,8 +5336,6 @@ define <4 x i32> @fcmunez4xfloat_fast(<4 x float> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.4s, v0.4s, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast une <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -5975,8 +5353,6 @@ define <2 x i64> @fcmunez2xdouble_fast(<2 x double> %A) {
; GISEL: // %bb.0:
; GISEL-NEXT: fcmeq v0.2d, v0.2d, #0.0
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast une <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
@@ -5998,8 +5374,6 @@ define <2 x i32> @fcmunoz2xfloat_fast(<2 x float> %A) {
; GISEL-NEXT: fcmlt v0.2s, v0.2s, #0.0
; GISEL-NEXT: orr v0.8b, v0.8b, v1.8b
; GISEL-NEXT: mvn v0.8b, v0.8b
-; GISEL-NEXT: shl v0.2s, v0.2s, #31
-; GISEL-NEXT: sshr v0.2s, v0.2s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uno <2 x float> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i32>
@@ -6021,8 +5395,6 @@ define <4 x i32> @fcmunoz4xfloat_fast(<4 x float> %A) {
; GISEL-NEXT: fcmlt v0.4s, v0.4s, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.4s, v0.4s, #31
-; GISEL-NEXT: sshr v0.4s, v0.4s, #31
; GISEL-NEXT: ret
%tmp3 = fcmp fast uno <4 x float> %A, zeroinitializer
%tmp4 = sext <4 x i1> %tmp3 to <4 x i32>
@@ -6044,8 +5416,6 @@ define <2 x i64> @fcmunoz2xdouble_fast(<2 x double> %A) {
; GISEL-NEXT: fcmlt v0.2d, v0.2d, #0.0
; GISEL-NEXT: orr v0.16b, v0.16b, v1.16b
; GISEL-NEXT: mvn v0.16b, v0.16b
-; GISEL-NEXT: shl v0.2d, v0.2d, #63
-; GISEL-NEXT: sshr v0.2d, v0.2d, #63
; GISEL-NEXT: ret
%tmp3 = fcmp fast uno <2 x double> %A, zeroinitializer
%tmp4 = sext <2 x i1> %tmp3 to <2 x i64>
diff --git a/llvm/unittests/CodeGen/GlobalISel/KnownBitsTest.cpp b/llvm/unittests/CodeGen/GlobalISel/KnownBitsTest.cpp
index 6fd299a0f9e45..c85d62a828cc1 100644
--- a/llvm/unittests/CodeGen/GlobalISel/KnownBitsTest.cpp
+++ b/llvm/unittests/CodeGen/GlobalISel/KnownBitsTest.cpp
@@ -924,6 +924,36 @@ TEST_F(AArch64GISelMITest, TestNumSignBitsTrunc) {
EXPECT_EQ(5u, Info.computeNumSignBits(CopyTrunc7));
}
+TEST_F(AArch64GISelMITest, TestNumSignBitsCmp) {
+ StringRef MIRString =
+ " %v1:_(<4 x s32>) = G_IMPLICIT_DEF\n"
+ " %v2:_(<4 x s32>) = G_IMPLICIT_DEF\n"
+ " %s1:_(s64) = G_IMPLICIT_DEF\n"
+ " %s2:_(s64) = G_IMPLICIT_DEF\n"
+ " %cmp:_(<4 x s32>) = G_FCMP floatpred(ogt), %v1, %v2\n"
+ " %cpy1:_(<4 x s32>) = COPY %cmp\n"
+ " %cmp2:_(<4 x s32>) = G_ICMP intpred(eq), %v1, %v2\n"
+ " %cpy2:_(<4 x s32>) = COPY %cmp2\n"
+ " %cmp3:_(s32) = G_FCMP floatpred(ogt), %s1, %s2\n"
+ " %cpy3:_(s32) = COPY %cmp3\n"
+ " %cmp4:_(s32) = G_ICMP intpred(eq), %s1, %s2\n"
+ " %cpy4:_(s32) = COPY %cmp4\n";
+
+ setUp(MIRString);
+ if (!TM)
+ return;
+ Register CopyVecFCMP = Copies[Copies.size() - 4];
+ Register CopyVecICMP = Copies[Copies.size() - 3];
+ Register CopyScalarFCMP = Copies[Copies.size() - 2];
+ Register CopyScalarICMP = Copies[Copies.size() - 1];
+
+ GISelKnownBits Info(*MF);
+ EXPECT_EQ(32u, Info.computeNumSignBits(CopyVecFCMP));
+ EXPECT_EQ(32u, Info.computeNumSignBits(CopyVecICMP));
+ EXPECT_EQ(31u, Info.computeNumSignBits(CopyScalarFCMP));
+ EXPECT_EQ(31u, Info.computeNumSignBits(CopyScalarICMP));
+}
+
TEST_F(AMDGPUGISelMITest, TestNumSignBitsTrunc) {
StringRef MIRString =
" %3:_(<4 x s32>) = G_IMPLICIT_DEF\n"
More information about the llvm-commits
mailing list