This is an archive of the discontinued LLVM Phabricator instance.

Differential D91564

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

Authored by ctetreau on Nov 16 2020, 1:42 PM.

Details

Reviewers
efriedma

Diff Detail

Unit TestsFailed

TimeTest
410 mslinux > HWAddressSanitizer-x86_64.TestCases::sizes.cpp
60 mslinux > LLVM.Transforms/InstSimplify/ConstProp::vscale.ll
60 mswindows > LLVM.Transforms/InstSimplify/ConstProp::vscale.ll

Event Timeline

ctetreau created this revision.Nov 16 2020, 1:42 PM
Herald added a reviewer: efriedma. · View Herald TranscriptNov 16 2020, 1:42 PM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: llvm-commits, dexonsmith, psnobl and 2 others. · View Herald Transcript
ctetreau requested review of this revision.Nov 16 2020, 1:42 PM
ctetreau abandoned this revision.Nov 16 2020, 1:45 PM
Harbormaster completed remote builds in B79002: Diff 305587.Nov 16 2020, 2:15 PM

Revision Contents

PathSize
llvm/
lib/
IR/
10 lines
test/
Transforms/
InstSimplify/
837 lines

Diff 305587

llvm/lib/IR/ConstantFold.cpp

Show First 20 Lines • Show All 2,036 Lines • ▼ Show 20 Lines if (isa<ConstantInt>(C1) && isa<ConstantInt>(C2)) {
case FCmpInst::FCMP_UGE: case FCmpInst::FCMP_UGE:
return ConstantInt::get(ResultTy, R!=APFloat::cmpLessThan); return ConstantInt::get(ResultTy, R!=APFloat::cmpLessThan);
case FCmpInst::FCMP_OGE: case FCmpInst::FCMP_OGE:
return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan || return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan ||
R==APFloat::cmpEqual); R==APFloat::cmpEqual);
} }
} else if (auto *C1VTy = dyn_cast<VectorType>(C1->getType())) { } 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. // Fast path for splatted constants.
if (Constant *C1Splat = C1->getSplatValue()) if (Constant *C1Splat = C1->getSplatValue())
if (Constant *C2Splat = C2->getSplatValue()) if (Constant *C2Splat = C2->getSplatValue())
return ConstantVector::getSplat( return ConstantVector::getSplat(
C1VTy->getElementCount(), C1VTy->getElementCount(),
ConstantExpr::getCompare(pred, C1Splat, C2Splat)); 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 // If we can constant fold the comparison of each element, constant fold
// the whole vector comparison. // the whole vector comparison.
SmallVector<Constant*, 4> ResElts; SmallVector<Constant*, 4> ResElts;
Type *Ty = IntegerType::get(C1->getContext(), 32); Type *Ty = IntegerType::get(C1->getContext(), 32);
// Compare the elements, producing an i1 result or constant expr. // Compare the elements, producing an i1 result or constant expr.
for (unsigned I = 0, E = C1VTy->getElementCount().getKnownMinValue(); for (unsigned I = 0, E = C1VTy->getElementCount().getKnownMinValue();
I != E; ++I) { I != E; ++I) {
Constant *C1E = Constant *C1E =
▲ Show 20 Lines • Show All 548 Lines • Show Last 20 Lines

llvm/test/Transforms/InstSimplify/cmp-vec-fast-path.ll

  • This file was added.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Check that cmp's of scalable vector splats are simplified
; RUN: opt -instsimplify -S < %s | FileCheck %s
define <2 x i1> @i32cmp_eq_fixed_zero() {
; CHECK-LABEL: @i32cmp_eq_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp eq <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_eq_scalable_zero() {
; CHECK-LABEL: @i32cmp_eq_scalable_zero(
; CHECK-NEXT: 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)
;
%res = icmp eq <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_eq_fixed_one() {
; CHECK-LABEL: @i32cmp_eq_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp eq <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_eq_scalable_one() {
; CHECK-LABEL: @i32cmp_eq_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @i32cmp_ne_fixed_zero() {
; CHECK-LABEL: @i32cmp_ne_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp ne <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ne_scalable_zero() {
; CHECK-LABEL: @i32cmp_ne_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = icmp ne <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_ne_fixed_one() {
; CHECK-LABEL: @i32cmp_ne_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp ne <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ne_scalable_one() {
; CHECK-LABEL: @i32cmp_ne_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @i32cmp_ugt_fixed_zero() {
; CHECK-LABEL: @i32cmp_ugt_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp ugt <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ugt_scalable_zero() {
; CHECK-LABEL: @i32cmp_ugt_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = icmp ugt <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_ugt_fixed_one() {
; CHECK-LABEL: @i32cmp_ugt_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp ugt <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ugt_scalable_one() {
; CHECK-LABEL: @i32cmp_ugt_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @i32cmp_uge_fixed_zero() {
; CHECK-LABEL: @i32cmp_uge_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp uge <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_uge_scalable_zero() {
; CHECK-LABEL: @i32cmp_uge_scalable_zero(
; CHECK-NEXT: 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)
;
%res = icmp uge <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_uge_fixed_one() {
; CHECK-LABEL: @i32cmp_uge_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp uge <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_uge_scalable_one() {
; CHECK-LABEL: @i32cmp_uge_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @i32cmp_ult_fixed_zero() {
; CHECK-LABEL: @i32cmp_ult_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp ult <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ult_scalable_zero() {
; CHECK-LABEL: @i32cmp_ult_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = icmp ult <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_ult_fixed_one() {
; CHECK-LABEL: @i32cmp_ult_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp ult <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ult_scalable_one() {
; CHECK-LABEL: @i32cmp_ult_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @i32cmp_ule_fixed_zero() {
; CHECK-LABEL: @i32cmp_ule_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp ule <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ule_scalable_zero() {
; CHECK-LABEL: @i32cmp_ule_scalable_zero(
; CHECK-NEXT: 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)
;
%res = icmp ule <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_ule_fixed_one() {
; CHECK-LABEL: @i32cmp_ule_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp ule <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_ule_scalable_one() {
; CHECK-LABEL: @i32cmp_ule_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @i32cmp_sgt_fixed_zero() {
; CHECK-LABEL: @i32cmp_sgt_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp sgt <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_sgt_scalable_zero() {
; CHECK-LABEL: @i32cmp_sgt_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = icmp sgt <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_sgt_fixed_one() {
; CHECK-LABEL: @i32cmp_sgt_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp sgt <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_sgt_scalable_one() {
; CHECK-LABEL: @i32cmp_sgt_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @i32cmp_sge_fixed_zero() {
; CHECK-LABEL: @i32cmp_sge_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp sge <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_sge_scalable_zero() {
; CHECK-LABEL: @i32cmp_sge_scalable_zero(
; CHECK-NEXT: 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)
;
%res = icmp sge <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_sge_fixed_one() {
; CHECK-LABEL: @i32cmp_sge_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp sge <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_sge_scalable_one() {
; CHECK-LABEL: @i32cmp_sge_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @i32cmp_slt_fixed_zero() {
; CHECK-LABEL: @i32cmp_slt_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp slt <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_slt_scalable_zero() {
; CHECK-LABEL: @i32cmp_slt_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = icmp slt <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_slt_fixed_one() {
; CHECK-LABEL: @i32cmp_slt_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = icmp slt <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_slt_scalable_one() {
; CHECK-LABEL: @i32cmp_slt_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @i32cmp_sle_fixed_zero() {
; CHECK-LABEL: @i32cmp_sle_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp sle <2 x i32> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_sle_scalable_zero() {
; CHECK-LABEL: @i32cmp_sle_scalable_zero(
; CHECK-NEXT: 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)
;
%res = icmp sle <vscale x 2 x i32> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @i32cmp_sle_fixed_one() {
; CHECK-LABEL: @i32cmp_sle_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = icmp sle <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @i32cmp_sle_scalable_one() {
; CHECK-LABEL: @i32cmp_sle_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_false_fixed_zero() {
; CHECK-LABEL: @floatcmp_false_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp false <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_false_scalable_zero() {
; CHECK-LABEL: @floatcmp_false_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp false <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_false_fixed_one() {
; CHECK-LABEL: @floatcmp_false_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp false <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_false_scalable_one() {
; CHECK-LABEL: @floatcmp_false_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_oeq_fixed_zero() {
; CHECK-LABEL: @floatcmp_oeq_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp oeq <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_oeq_scalable_zero() {
; CHECK-LABEL: @floatcmp_oeq_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp oeq <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_oeq_fixed_one() {
; CHECK-LABEL: @floatcmp_oeq_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp oeq <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_oeq_scalable_one() {
; CHECK-LABEL: @floatcmp_oeq_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_ogt_fixed_zero() {
; CHECK-LABEL: @floatcmp_ogt_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp ogt <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ogt_scalable_zero() {
; CHECK-LABEL: @floatcmp_ogt_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp ogt <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ogt_fixed_one() {
; CHECK-LABEL: @floatcmp_ogt_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp ogt <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ogt_scalable_one() {
; CHECK-LABEL: @floatcmp_ogt_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_oge_fixed_zero() {
; CHECK-LABEL: @floatcmp_oge_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp oge <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_oge_scalable_zero() {
; CHECK-LABEL: @floatcmp_oge_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp oge <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_oge_fixed_one() {
; CHECK-LABEL: @floatcmp_oge_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp oge <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_oge_scalable_one() {
; CHECK-LABEL: @floatcmp_oge_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_olt_fixed_zero() {
; CHECK-LABEL: @floatcmp_olt_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp olt <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_olt_scalable_zero() {
; CHECK-LABEL: @floatcmp_olt_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp olt <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_olt_fixed_one() {
; CHECK-LABEL: @floatcmp_olt_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp olt <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_olt_scalable_one() {
; CHECK-LABEL: @floatcmp_olt_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_ole_fixed_zero() {
; CHECK-LABEL: @floatcmp_ole_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ole <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ole_scalable_zero() {
; CHECK-LABEL: @floatcmp_ole_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp ole <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ole_fixed_one() {
; CHECK-LABEL: @floatcmp_ole_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ole <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ole_scalable_one() {
; CHECK-LABEL: @floatcmp_ole_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_one_fixed_zero() {
; CHECK-LABEL: @floatcmp_one_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp one <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_one_scalable_zero() {
; CHECK-LABEL: @floatcmp_one_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp one <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_one_fixed_one() {
; CHECK-LABEL: @floatcmp_one_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp one <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_one_scalable_one() {
; CHECK-LABEL: @floatcmp_one_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_ord_fixed_zero() {
; CHECK-LABEL: @floatcmp_ord_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ord <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ord_scalable_zero() {
; CHECK-LABEL: @floatcmp_ord_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp ord <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ord_fixed_one() {
; CHECK-LABEL: @floatcmp_ord_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ord <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ord_scalable_one() {
; CHECK-LABEL: @floatcmp_ord_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_ueq_fixed_zero() {
; CHECK-LABEL: @floatcmp_ueq_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ueq <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ueq_scalable_zero() {
; CHECK-LABEL: @floatcmp_ueq_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp ueq <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ueq_fixed_one() {
; CHECK-LABEL: @floatcmp_ueq_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ueq <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ueq_scalable_one() {
; CHECK-LABEL: @floatcmp_ueq_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_ugt_fixed_zero() {
; CHECK-LABEL: @floatcmp_ugt_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp ugt <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ugt_scalable_zero() {
; CHECK-LABEL: @floatcmp_ugt_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp ugt <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ugt_fixed_one() {
; CHECK-LABEL: @floatcmp_ugt_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp ugt <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ugt_scalable_one() {
; CHECK-LABEL: @floatcmp_ugt_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_uge_fixed_zero() {
; CHECK-LABEL: @floatcmp_uge_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp uge <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_uge_scalable_zero() {
; CHECK-LABEL: @floatcmp_uge_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp uge <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_uge_fixed_one() {
; CHECK-LABEL: @floatcmp_uge_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp uge <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_uge_scalable_one() {
; CHECK-LABEL: @floatcmp_uge_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_ult_fixed_zero() {
; CHECK-LABEL: @floatcmp_ult_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp ult <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ult_scalable_zero() {
; CHECK-LABEL: @floatcmp_ult_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp ult <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ult_fixed_one() {
; CHECK-LABEL: @floatcmp_ult_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp ult <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ult_scalable_one() {
; CHECK-LABEL: @floatcmp_ult_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_ule_fixed_zero() {
; CHECK-LABEL: @floatcmp_ule_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ule <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ule_scalable_zero() {
; CHECK-LABEL: @floatcmp_ule_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp ule <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_ule_fixed_one() {
; CHECK-LABEL: @floatcmp_ule_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp ule <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_ule_scalable_one() {
; CHECK-LABEL: @floatcmp_ule_scalable_one(
; CHECK-NEXT: 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)
;
%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
}
define <2 x i1> @floatcmp_une_fixed_zero() {
; CHECK-LABEL: @floatcmp_une_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp une <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_une_scalable_zero() {
; CHECK-LABEL: @floatcmp_une_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp une <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_une_fixed_one() {
; CHECK-LABEL: @floatcmp_une_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp une <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_une_scalable_one() {
; CHECK-LABEL: @floatcmp_une_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_uno_fixed_zero() {
; CHECK-LABEL: @floatcmp_uno_fixed_zero(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp uno <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_uno_scalable_zero() {
; CHECK-LABEL: @floatcmp_uno_scalable_zero(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%res = fcmp uno <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_uno_fixed_one() {
; CHECK-LABEL: @floatcmp_uno_fixed_one(
; CHECK-NEXT: ret <2 x i1> zeroinitializer
;
%res = fcmp uno <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_uno_scalable_one() {
; CHECK-LABEL: @floatcmp_uno_scalable_one(
; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer
;
%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
}
define <2 x i1> @floatcmp_true_fixed_zero() {
; CHECK-LABEL: @floatcmp_true_fixed_zero(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp true <2 x float> zeroinitializer, zeroinitializer
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_true_scalable_zero() {
; CHECK-LABEL: @floatcmp_true_scalable_zero(
; CHECK-NEXT: 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)
;
%res = fcmp true <vscale x 2 x float> zeroinitializer, zeroinitializer
ret <vscale x 2 x i1> %res
}
define <2 x i1> @floatcmp_true_fixed_one() {
; CHECK-LABEL: @floatcmp_true_fixed_one(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%res = fcmp true <2 x float> <float 1.0, float 1.0>, <float 1.0, float 1.0>
ret <2 x i1> %res
}
define <vscale x 2 x i1> @floatcmp_true_scalable_one() {
; CHECK-LABEL: @floatcmp_true_scalable_one(
; CHECK-NEXT: 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)
;
%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
}