[SVE] Take constant fold fast path for splatted vscale vectors

[ctetreau]

Summary

This should be a perfectly reasonable operation for scalable vectors.
Currently, it only works for zeroinitializer values of
ScalableVectorType, but the fundamental operation is sound and it should
be possible to make it work for other splats

[efriedma]

Please add test coverage in llvm/test/Analysis/ConstantFolding/

[ctetreau]

rebase

[ctetreau]

add test

[ctetreau]

By the way, this test case was generated via a script. Should I commit the script also? If so, where should I put it?

[spatel]

In D77442#2027808, @ctetreau wrote:

By the way, this test case was generated via a script. Should I commit the script also? If so, where should I put it?

Not sure if you mean the test code itself or the assertion for the tests? llvm/utils/ is probably the spot to find/add scripts that help with testing.

llvm/test/Analysis/ConstantFolding/cmp-vec-fast-path.ll

8

This should be handled more specifically with "-constprop" (don't need the full power of -instcombine).

Use the standard "utils/update_test_checks.py" to auto-generate the CHECK lines? Can also pre-commit the baseline tests, then update here so we just have diffs for the assertion lines.

[ctetreau]

rebase

[ctetreau]

fix tests, use new support for getSplatValue workikng with scalable vectors from D82416

[ctetreau]

rebase

[ctetreau]

Necro patch. address code review issues.

[ctetreau]

Ping?

[ctetreau]

Fix broken test

[david-arm]

LGTM

llvm/lib/IR/ConstantFold.cpp

if (isa<ConstantInt>(C1) && isa<ConstantInt>(C2)) {
     case FCmpInst::FCMP_UGE:
       return ConstantInt::get(ResultTy, R!=APFloat::cmpLessThan);
     case FCmpInst::FCMP_OGE:
       return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan ||
                                         R==APFloat::cmpEqual);
     }
   } else if (auto *C1VTy = dyn_cast<VectorType>(C1->getType())) {
 
-    // Do not iterate on scalable vector. The number of elements is unknown at
-    // compile-time.
-    if (isa<ScalableVectorType>(C1VTy))
-      return nullptr;
-
     // Fast path for splatted constants.
     if (Constant *C1Splat = C1->getSplatValue())
       if (Constant *C2Splat = C2->getSplatValue())
         return ConstantVector::getSplat(
             C1VTy->getElementCount(),
             ConstantExpr::getCompare(pred, C1Splat, C2Splat));
 
+    // Do not iterate on scalable vector. The number of elements is unknown at
+    // compile-time.
+    if (isa<ScalableVectorType>(C1VTy))
+      return nullptr;
+
     // If we can constant fold the comparison of each element, constant fold
     // the whole vector comparison.
     SmallVector<Constant*, 4> ResElts;
     Type *Ty = IntegerType::get(C1->getContext(), 32);
     // Compare the elements, producing an i1 result or constant expr.
     for (unsigned i = 0, e = C1VTy->getElementCount().Min; i != e; ++i) {
       Constant *C1E =
         ConstantExpr::getExtractElement(C1, ConstantInt::get(Ty, i));

llvm/test/Analysis/ConstantFolding/cmp-vec-fast-path.ll

+
+; Check that cmp's of scalable vector splats are constant folded
+; FIXME: Constant::getSplatValue() only knows how to get the splat value of
+;        ConstantAggregateZero values with scalable vector type. Once it is
+;        extended to support arbitrary splats, this test should be updated
+
+; RUN: opt -constprop -S < %s | FileCheck %s
+
+
+; CHECK-LABEL: i32cmp_eq_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_eq_fixed_zero() {
+  %res = icmp eq <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_eq_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_eq_scalable_zero() {
+  %res = icmp eq <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_eq_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_eq_fixed_one() {
+  %res = icmp eq <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_eq_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_eq_scalable_one() {
+  %res = icmp eq <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ne_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_ne_fixed_zero() {
+  %res = icmp ne <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ne_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_ne_scalable_zero() {
+  %res = icmp ne <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ne_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_ne_fixed_one() {
+  %res = icmp ne <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ne_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_ne_scalable_one() {
+  %res = icmp ne <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ugt_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_ugt_fixed_zero() {
+  %res = icmp ugt <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ugt_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_ugt_scalable_zero() {
+  %res = icmp ugt <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ugt_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_ugt_fixed_one() {
+  %res = icmp ugt <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ugt_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_ugt_scalable_one() {
+  %res = icmp ugt <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_uge_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_uge_fixed_zero() {
+  %res = icmp uge <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_uge_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_uge_scalable_zero() {
+  %res = icmp uge <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_uge_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_uge_fixed_one() {
+  %res = icmp uge <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_uge_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_uge_scalable_one() {
+  %res = icmp uge <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ult_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_ult_fixed_zero() {
+  %res = icmp ult <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ult_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_ult_scalable_zero() {
+  %res = icmp ult <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ult_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_ult_fixed_one() {
+  %res = icmp ult <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ult_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_ult_scalable_one() {
+  %res = icmp ult <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ule_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_ule_fixed_zero() {
+  %res = icmp ule <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ule_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_ule_scalable_zero() {
+  %res = icmp ule <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ule_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_ule_fixed_one() {
+  %res = icmp ule <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_ule_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_ule_scalable_one() {
+  %res = icmp ule <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sgt_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_sgt_fixed_zero() {
+  %res = icmp sgt <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sgt_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_sgt_scalable_zero() {
+  %res = icmp sgt <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sgt_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_sgt_fixed_one() {
+  %res = icmp sgt <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sgt_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_sgt_scalable_one() {
+  %res = icmp sgt <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sge_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_sge_fixed_zero() {
+  %res = icmp sge <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sge_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_sge_scalable_zero() {
+  %res = icmp sge <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sge_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_sge_fixed_one() {
+  %res = icmp sge <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sge_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_sge_scalable_one() {
+  %res = icmp sge <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_slt_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_slt_fixed_zero() {
+  %res = icmp slt <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_slt_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_slt_scalable_zero() {
+  %res = icmp slt <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_slt_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @i32cmp_slt_fixed_one() {
+  %res = icmp slt <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_slt_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @i32cmp_slt_scalable_one() {
+  %res = icmp slt <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sle_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_sle_fixed_zero() {
+  %res = icmp sle <2 x i32> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sle_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_sle_scalable_zero() {
+  %res = icmp sle <vscale x 2 x i32> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sle_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @i32cmp_sle_fixed_one() {
+  %res = icmp sle <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: i32cmp_sle_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @i32cmp_sle_scalable_one() {
+  %res = icmp sle <vscale x 2 x i32> shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x i32> insertelement (<vscale x 2 x i32> undef, i32 1, i32 0), <vscale x 2 x i32> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_false_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_false_fixed_zero() {
+  %res = fcmp false <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_false_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_false_scalable_zero() {
+  %res = fcmp false <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_false_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_false_fixed_one() {
+  %res = fcmp false <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_false_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_false_scalable_one() {
+  %res = fcmp false <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oeq_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_oeq_fixed_zero() {
+  %res = fcmp oeq <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oeq_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_oeq_scalable_zero() {
+  %res = fcmp oeq <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oeq_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_oeq_fixed_one() {
+  %res = fcmp oeq <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oeq_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_oeq_scalable_one() {
+  %res = fcmp oeq <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ogt_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_ogt_fixed_zero() {
+  %res = fcmp ogt <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ogt_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_ogt_scalable_zero() {
+  %res = fcmp ogt <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ogt_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_ogt_fixed_one() {
+  %res = fcmp ogt <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ogt_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_ogt_scalable_one() {
+  %res = fcmp ogt <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oge_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_oge_fixed_zero() {
+  %res = fcmp oge <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oge_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_oge_scalable_zero() {
+  %res = fcmp oge <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oge_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_oge_fixed_one() {
+  %res = fcmp oge <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_oge_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_oge_scalable_one() {
+  %res = fcmp oge <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_olt_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_olt_fixed_zero() {
+  %res = fcmp olt <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_olt_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_olt_scalable_zero() {
+  %res = fcmp olt <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_olt_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_olt_fixed_one() {
+  %res = fcmp olt <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_olt_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_olt_scalable_one() {
+  %res = fcmp olt <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ole_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ole_fixed_zero() {
+  %res = fcmp ole <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ole_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ole_scalable_zero() {
+  %res = fcmp ole <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ole_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ole_fixed_one() {
+  %res = fcmp ole <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ole_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ole_scalable_one() {
+  %res = fcmp ole <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_one_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_one_fixed_zero() {
+  %res = fcmp one <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_one_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_one_scalable_zero() {
+  %res = fcmp one <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_one_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_one_fixed_one() {
+  %res = fcmp one <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_one_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_one_scalable_one() {
+  %res = fcmp one <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ord_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ord_fixed_zero() {
+  %res = fcmp ord <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ord_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ord_scalable_zero() {
+  %res = fcmp ord <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ord_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ord_fixed_one() {
+  %res = fcmp ord <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ord_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ord_scalable_one() {
+  %res = fcmp ord <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ueq_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ueq_fixed_zero() {
+  %res = fcmp ueq <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ueq_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ueq_scalable_zero() {
+  %res = fcmp ueq <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ueq_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ueq_fixed_one() {
+  %res = fcmp ueq <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ueq_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ueq_scalable_one() {
+  %res = fcmp ueq <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ugt_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_ugt_fixed_zero() {
+  %res = fcmp ugt <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ugt_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_ugt_scalable_zero() {
+  %res = fcmp ugt <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ugt_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_ugt_fixed_one() {
+  %res = fcmp ugt <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ugt_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_ugt_scalable_one() {
+  %res = fcmp ugt <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uge_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_uge_fixed_zero() {
+  %res = fcmp uge <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uge_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_uge_scalable_zero() {
+  %res = fcmp uge <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uge_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_uge_fixed_one() {
+  %res = fcmp uge <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uge_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_uge_scalable_one() {
+  %res = fcmp uge <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ult_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_ult_fixed_zero() {
+  %res = fcmp ult <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ult_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_ult_scalable_zero() {
+  %res = fcmp ult <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ult_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_ult_fixed_one() {
+  %res = fcmp ult <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ult_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_ult_scalable_one() {
+  %res = fcmp ult <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ule_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ule_fixed_zero() {
+  %res = fcmp ule <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ule_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ule_scalable_zero() {
+  %res = fcmp ule <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ule_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_ule_fixed_one() {
+  %res = fcmp ule <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_ule_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_ule_scalable_one() {
+  %res = fcmp ule <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_une_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_une_fixed_zero() {
+  %res = fcmp une <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_une_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_une_scalable_zero() {
+  %res = fcmp une <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_une_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_une_fixed_one() {
+  %res = fcmp une <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_une_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_une_scalable_one() {
+  %res = fcmp une <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uno_fixed_zero
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_uno_fixed_zero() {
+  %res = fcmp uno <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uno_scalable_zero
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_uno_scalable_zero() {
+  %res = fcmp uno <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uno_fixed_one
+; CHECK: ret <2 x i1> zeroinitializer
+define <2 x i1> @floatcmp_uno_fixed_one() {
+  %res = fcmp uno <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_uno_scalable_one
+; CHECK: ret <vscale x 2 x i1> zeroinitializer
+define <vscale x 2 x i1> @floatcmp_uno_scalable_one() {
+  %res = fcmp uno <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_true_fixed_zero
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_true_fixed_zero() {
+  %res = fcmp true <2 x float> zeroinitializer, zeroinitializer
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_true_scalable_zero
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_true_scalable_zero() {
+  %res = fcmp true <vscale x 2 x float> zeroinitializer, zeroinitializer
+  ret <vscale x 2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_true_fixed_one
+; CHECK: ret <2 x i1> <i1 true, i1 true>
+define <2 x i1> @floatcmp_true_fixed_one() {
+  %res = fcmp true <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
+  ret <2 x i1> %res
+}
+
+
+; CHECK-LABEL: floatcmp_true_scalable_one
+; CHECK: ret <vscale x 2 x i1> shufflevector (<vscale x 2 x i1> insertelement (<vscale x 2 x i1> undef, i1 true, i32 0), <vscale x 2 x i1> undef, <vscale x 2 x i32> zeroinitializer)
+define <vscale x 2 x i1> @floatcmp_true_scalable_one() {
+  %res = fcmp true <vscale x 2 x float> shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer), shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float 1.0, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
+  ret <vscale x 2 x i1> %res
+}
+