; RUN: llc < %s -march=colossus -mattr=+ipu1 | FileCheck %s
; RUN: llc < %s -march=colossus -mattr=+ipu2 | FileCheck %s
target triple = "colossus-graphcore--elf"

declare <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half>, <2 x half>, metadata, metadata)

;;; Broadcast from a scalar

; CHECK-LABEL: fcmp_oeq_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a2, $a0:BL, $a1
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a2, $a0:BL, $a1
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_scalar_vector:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_scalar_vector(half %a, <2 x half> %b) {
  %s0 = insertelement <2 x half> undef, half %a, i32 0
  %s1 = insertelement <2 x half> %s0, half %a, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

;;; Broadcast element of a vector of length 2

; CHECK-LABEL: fcmp_oeq_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oeq_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a2, $a0:BL, $a1
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a2, $a0:BL, $a1
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a2, $a0:BU, $a1
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a1
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a2, $a0:BU, $a1
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a1
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_v2e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_v2e0(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_v2e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_v2e1(<2 x half> %a, <2 x half> %b) {
  %e = extractelement <2 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

;;; Broadcast element of a vector of length 4

; CHECK-LABEL: fcmp_oeq_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oeq_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oeq_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oeq_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oeq_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oeq <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oeq_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpeq $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oeq_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oeq", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a1, $a0:BL, $a2
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a1, $a0:BL, $a2
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a1, $a0:BU, $a2
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a1
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a1, $a0:BU, $a2
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a0, $a1
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BL, $a2
; CHECK-NEXT:  f16v2cmplt $a1, $a1:BL, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a1, $a0
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BL, $a2
; CHECK-NEXT:  f16v2cmplt $a1, $a1:BL, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a1, $a0
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_one_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BU, $a2
; CHECK-NEXT:  f16v2cmplt $a1, $a1:BU, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a1, $a0
; CHECK-NEXT:  }
define <2 x half> @fcmp_one_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp one <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_one_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BU, $a2
; CHECK-NEXT:  f16v2cmplt $a1, $a1:BU, $a2
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  or $a0, $a1, $a0
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_one_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"one", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_oge_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_oge_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp oge <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_oge_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpge $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_oge_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"oge", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ogt_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ogt_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ogt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ogt_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmpgt $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ogt_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ogt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_ole_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_ole_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp ole <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_ole_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmple $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_ole_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"ole", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_v4e0:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_v4e0(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 0
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_v4e1:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a0:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_v4e1(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 1
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_v4e2:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a1:BL, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_v4e2(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 2
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: fcmp_olt_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @fcmp_olt_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = fcmp olt <2 x half> %s1, %b
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}

; CHECK-LABEL: constrained_fcmps_olt_v4e3:
; CHECK:       # %bb.0:
; CHECK-NEXT:  {
; CHECK-NEXT:  br $m10
; CHECK-NEXT:  f16v2cmplt $a0, $a1:BU, $a2
; CHECK-NEXT:  }
define <2 x half> @constrained_fcmps_olt_v4e3(<4 x half> %a, <2 x half> %b) {
  %e = extractelement <4 x half> %a, i32 3
  %s0 = insertelement <2 x half> undef, half %e, i32 0
  %s1 = insertelement <2 x half> %s0, half %e, i32 1
  %res = tail call <2 x i1> @llvm.experimental.constrained.fcmps.v2f16(<2 x half> %s1, <2 x half> %b, metadata !"olt", metadata !"fpexcept.strict")
  %se = sext <2 x i1> %res to <2 x i16>
  %bc = bitcast <2 x i16> %se to <2 x half>
  ret <2 x half> %bc
}