; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=amdgcn -mcpu=gfx900 < %s | FileCheck -check-prefix=GFX900 %s
; RUN: llc -mtriple=amdgcn -mcpu=gfx1010 < %s | FileCheck -check-prefix=GFX1010 %s

; Test the CMP+SELECT optimization that folds shared constants to reduce
; register pressure.

;------------------------------------------------------------------------------
; F32 Tests
;------------------------------------------------------------------------------

; Should be folded: fcmp oeq + select with constant in true value
define float @fcmp_select_fold_oeq_f32_imm(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_f32_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x42487ed8
; GFX900-NEXT:    v_cmp_eq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_f32_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_eq_f32_e32 vcc_lo, 0x42487ed8, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 0x40490FDB00000000
  %sel = select i1 %cmp, float 0x40490FDB00000000, float %other
  ret float %sel
}

; Should be folded: fcmp oeq + select with constant in true value (commutative)
define float @fcmp_select_fold_oeq_imm_f32(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_imm_f32:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x42487ed8
; GFX900-NEXT:    v_cmp_eq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_imm_f32:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_eq_f32_e32 vcc_lo, 0x42487ed8, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float 0x40490FDB00000000, %arg
  %sel = select i1 %cmp, float 0x40490FDB00000000, float %other
  ret float %sel
}

; Should be folded: fcmp one + select with constant in false value
define float @fcmp_select_fold_one_f32_imm(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_fold_one_f32_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x402df850
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_f32_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x402df850, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one float %arg, 0x4005BF0A00000000
  %sel = select i1 %cmp, float %other, float 0x4005BF0A00000000
  ret float %sel
}

; Should be folded: fcmp one + select with constant in false value (commutative)
define float @fcmp_select_fold_one_imm_f32(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_fold_one_imm_f32:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x402df850
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_imm_f32:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x402df850, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one float 0x4005BF0A00000000, %arg
  %sel = select i1 %cmp, float %other, float 0x4005BF0A00000000
  ret float %sel
}

; Should NOT be folded: different constants
define float @fcmp_select_no_fold_f32_different_const(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_f32_different_const:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x42487ed8
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x46487ed8
; GFX900-NEXT:    v_cmp_neq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f32_different_const:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f32_e32 vcc_lo, 0x42487ed8, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x46487ed8, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 0x40490FDB00000000
  %sel = select i1 %cmp, float 0x40C90FDB00000000, float %other
  ret float %sel
}

; Should NOT be folded: fcmp oeq with constant in other position
define float @fcmp_select_no_fold_f32_other_pos(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_f32_other_pos:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x42487ed8
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x42487ed8
; GFX900-NEXT:    v_cmp_eq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f32_other_pos:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_eq_f32_e32 vcc_lo, 0x42487ed8, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x42487ed8, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 0x40490FDB00000000
  %sel = select i1 %cmp, float %other, float 0x40490FDB00000000
  ret float %sel
}

; Should NOT be folded: unsupported comparison type
define float @fcmp_select_no_fold_f32_unsupported_cmp(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_f32_unsupported_cmp:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x42487ed8
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x42487ed8
; GFX900-NEXT:    v_cmp_gt_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f32_unsupported_cmp:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_gt_f32_e32 vcc_lo, 0x42487ed8, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x42487ed8, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp olt float %arg, 0x40490FDB00000000
  %sel = select i1 %cmp, float %other, float 0x40490FDB00000000
  ret float %sel
}

; Should NOT be folded: imm can be encoded into cndmask
define float @fcmp_select_no_fold_f32_enc_imm(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_f32_enc_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_neq_f32_e32 vcc, 1.0, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 1.0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f32_enc_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f32_e32 vcc_lo, 1.0, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 1.0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 1.0
  %sel = select i1 %cmp, float 1.0, float %other
  ret float %sel
}

; Should NOT be folded: imm can be encoded into cndmask
define float @fcmp_select_no_fold_f32_enc_imm_2(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_f32_enc_imm_2:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, -4.0, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, -4.0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f32_enc_imm_2:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, -4.0, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, -4.0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one float -4.0, %arg
  %sel = select i1 %cmp, float %other, float -4.0
  ret float %sel
}

; Should NOT be folded: fcmp oeq with zero constant
define float @fcmp_select_no_fold_oeq_f32_zero(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_oeq_f32_zero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_neq_f32_e32 vcc, 0, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_oeq_f32_zero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f32_e32 vcc_lo, 0, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 0.0
  %sel = select i1 %cmp, float 0.0, float %other
  ret float %sel
}

; Should NOT be folded: fcmp one with negative zero constant
define float @fcmp_select_no_fold_one_f32_negzero(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_one_f32_negzero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_brev_b32 s4, 1
; GFX900-NEXT:    v_bfrev_b32_e32 v2, 1
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_one_f32_negzero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x80000000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x80000000, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one float -0.0, %arg ; 0x8000000000000000
  %sel = select i1 %cmp, float %other, float -0.0 ;0x8000000000000000
  ret float %sel
}

; NaN values should bypass the optimization due to special IEEE 754 behavior
; fcmp oeq with NaN always returns false, so select always chooses %other
define float @fcmp_select_no_fold_oeq_f32_nan(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_oeq_f32_nan:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, v1
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_oeq_f32_nan:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, v1
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 0x7FF8000000000000
  %sel = select i1 %cmp, float 0x7FF8000000000000, float %other
  ret float %sel
}

; NaN values should bypass the optimization due to special IEEE 754 behavior
; fcmp one with NaN always returns false, so select always chooses the NaN constant
define float @fcmp_select_no_fold_one_f32_nan(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_one_f32_nan:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, 0x7fc00000
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_one_f32_nan:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, 0x7fc00000
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one float 0x7FF8000000000000, %arg
  %sel = select i1 %cmp, float %other, float 0x7FF8000000000000
  ret float %sel
}

; Should NOT be folded: fcmp one with positive infinity
; Infinity values should bypass the optimization, generating unfolded code
define float @fcmp_select_no_fold_posinf_oeq_f32(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_posinf_oeq_f32:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x7f800000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x7f800000
; GFX900-NEXT:    v_cmp_neq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_posinf_oeq_f32:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f32_e32 vcc_lo, 0x7f800000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x7f800000, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq float %arg, 0x7FF0000000000000
  %sel = select i1 %cmp, float 0x7FF0000000000000, float %other
  ret float %sel
}

; Should NOT be folded: fcmp one with negative infinity
; Infinity values should bypass the optimization, generating unfolded code
define float @fcmp_select_no_fold_neginf_f32_one(float %arg, float %other) {
; GFX900-LABEL: fcmp_select_no_fold_neginf_f32_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0xff800000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0xff800000
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_neginf_f32_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0xff800000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0xff800000, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one float 0xFFF0000000000000, %arg
  %sel = select i1 %cmp, float %other, float 0xFFF0000000000000
  ret float %sel
}

;------------------------------------------------------------------------------
; F64 Tests
;------------------------------------------------------------------------------

; Should be folded: f64 fcmp oeq + select with constant in true value
define double @fcmp_select_fold_oeq_f64_imm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_f64_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX900-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX900-NEXT:    v_cmp_eq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v0, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v3, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_f64_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX1010-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX1010-NEXT:    v_cmp_eq_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v2, v0, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, v3, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 3.141592653589793
  %sel = select i1 %cmp, double 3.141592653589793, double %other
  ret double %sel
}
; Should be folded: f64 fcmp oeq + select with constant in true value (commutative)
define double @fcmp_select_fold_oeq_imm_f64(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_imm_f64:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX900-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX900-NEXT:    v_cmp_eq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v0, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v3, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_imm_f64:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX1010-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX1010-NEXT:    v_cmp_eq_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v2, v0, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, v3, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double 3.141592653589793, %arg
  %sel = select i1 %cmp, double 3.141592653589793, double %other
  ret double %sel
}

; Should be folded: f64 fcmp one + select with constant in false value
define double @fcmp_select_fold_one_f64_imm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_fold_one_f64_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x8b145769
; GFX900-NEXT:    s_mov_b32 s5, 0x4005bf0a
; GFX900-NEXT:    v_cmp_lg_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_f64_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x8b145769
; GFX1010-NEXT:    s_mov_b32 s5, 0x4005bf0a
; GFX1010-NEXT:    v_cmp_lg_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one double %arg, 2.718281828459045
  %sel = select i1 %cmp, double %other, double 2.718281828459045
  ret double %sel
}
; Should be folded: f64 fcmp one + select with constant in false value (commutative)
define double @fcmp_select_fold_one_imm_f64(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_fold_one_imm_f64:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x8b145769
; GFX900-NEXT:    s_mov_b32 s5, 0x4005bf0a
; GFX900-NEXT:    v_cmp_lg_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_imm_f64:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x8b145769
; GFX1010-NEXT:    s_mov_b32 s5, 0x4005bf0a
; GFX1010-NEXT:    v_cmp_lg_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one double 2.718281828459045, %arg
  %sel = select i1 %cmp, double %other, double 2.718281828459045
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with constant in other position
define double @fcmp_select_no_fold_f64_other_pos(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_f64_other_pos:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX900-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX900-NEXT:    v_cmp_eq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v4, 0x54442d18
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x400921fb
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v4, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f64_other_pos:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX1010-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX1010-NEXT:    v_cmp_eq_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x54442d18, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x400921fb, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 3.141592653589793
  %sel = select i1 %cmp, double %other, double 3.141592653589793
  ret double %sel
}

; Should NOT be folded: f64 fcmp unsupported comparison type
define double @fcmp_select_no_fold_f64_unsupported_cmp(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_f64_unsupported_cmp:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX900-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX900-NEXT:    v_cmp_gt_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v4, 0x54442d18
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x400921fb
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v4, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f64_unsupported_cmp:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX1010-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX1010-NEXT:    v_cmp_gt_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x54442d18, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x400921fb, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp olt double %arg, 3.141592653589793
  %sel = select i1 %cmp, double %other, double 3.141592653589793
  ret double %sel
}

; Should NOT be folded: imm can be encoded into cndmask
define double @fcmp_select_no_fold_f64_enc_imm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_f64_enc_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, 1.0, v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x3ff00000
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f64_enc_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, 1.0, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x3ff00000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 1.0
  %sel = select i1 %cmp, double 1.0, double %other
  ret double %sel
}

; Should NOT be folded: imm can be encoded into cndmask
define double @fcmp_select_no_fold_f64_enc_imm_2(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_f64_enc_imm_2:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_lg_f64_e32 vcc, -4.0, v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v1, 0xc0100000
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f64_enc_imm_2:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f64_e32 vcc_lo, -4.0, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0xc0100000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one double -4.0, %arg
  %sel = select i1 %cmp, double %other, double -4.0
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with zero constant
define double @fcmp_select_no_fold_oeq_f64_zero(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_oeq_f64_zero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, 0, v[0:1]
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, 0, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_oeq_f64_zero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, 0, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 0.0
  %sel = select i1 %cmp, double 0.0, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp one with negative zero constant
define double @fcmp_select_no_fold_one_f64_negzero(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_one_f64_negzero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0
; GFX900-NEXT:    s_brev_b32 s5, 1
; GFX900-NEXT:    v_cmp_lg_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_bfrev_b32_e32 v1, 1
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_one_f64_negzero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f64_e32 vcc_lo, 0x80000000, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x80000000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one double -0.0, %arg
  %sel = select i1 %cmp, double %other, double -0.0
  ret double %sel
}

; Should NOT be folded: f64 different constants
define double @fcmp_select_no_fold_f64_different_const(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_f64_different_const:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX900-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v4, 0x8b145769
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x4005bf0a
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v4, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f64_different_const:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    s_mov_b32 s4, 0x54442d18
; GFX1010-NEXT:    s_mov_b32 s5, 0x400921fb
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, s[4:5], v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x8b145769, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x4005bf0a, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 3.141592653589793
  %sel = select i1 %cmp, double 2.718281828459045, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with NaN constant
; fcmp oeq with NaN always returns false, so select always chooses %other
define double @fcmp_select_no_fold_nan_f64(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_f64:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v1, v3
; GFX900-NEXT:    v_mov_b32_e32 v0, v2
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_f64:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v1, v3
; GFX1010-NEXT:    v_mov_b32_e32 v0, v2
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 0x7FF8000000000000
  %sel = select i1 %cmp, double 0x7FF8000000000000, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with NaN constant (commutative variant)
; fcmp oeq with NaN always returns false, so select always chooses %other
define double @fcmp_select_no_fold_nan_f64_comm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_f64_comm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v1, v3
; GFX900-NEXT:    v_mov_b32_e32 v0, v2
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_f64_comm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v1, v3
; GFX1010-NEXT:    v_mov_b32_e32 v0, v2
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double 0x7FF8000000000000, %arg
  %sel = select i1 %cmp, double 0x7FF8000000000000, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp one with NaN constant
; fcmp one with NaN always returns false, so select always chooses the NaN constant
define double @fcmp_select_no_fold_nan_f64_one(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_f64_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, 0
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x7ff80000
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_f64_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, 0
; GFX1010-NEXT:    v_mov_b32_e32 v1, 0x7ff80000
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one double %arg, 0x7FF8000000000000
  %sel = select i1 %cmp, double %other, double 0x7FF8000000000000
  ret double %sel
}

; Should NOT be folded: f64 fcmp one with NaN constant (commutative variant)
; fcmp one with NaN always returns false, so select always chooses the NaN constant
define double @fcmp_select_no_fold_nan_f64_one_comm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_f64_one_comm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, 0
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x7ff80000
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_f64_one_comm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, 0
; GFX1010-NEXT:    v_mov_b32_e32 v1, 0x7ff80000
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one double 0x7FF8000000000000, %arg
  %sel = select i1 %cmp, double %other, double 0x7FF8000000000000
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with positive infinity
; Infinity values should bypass the optimization, generating unfolded code
define double @fcmp_select_no_fold_posinf_f64(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_posinf_f64:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0
; GFX900-NEXT:    s_mov_b32 s5, 0x7ff00000
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x7ff00000
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_posinf_f64:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, 0x7ff00000, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x7ff00000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 0x7FF0000000000000
  %sel = select i1 %cmp, double 0x7FF0000000000000, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with negative infinity
; Infinity values should bypass the optimization, generating unfolded code
define double @fcmp_select_no_fold_neginf_f64(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_neginf_f64:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0
; GFX900-NEXT:    s_mov_b32 s5, 0xfff00000
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v1, 0xfff00000
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_neginf_f64:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, 0xfff00000, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0xfff00000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double %arg, 0xFFF0000000000000
  %sel = select i1 %cmp, double 0xFFF0000000000000, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with positive infinity (commutative variant)
; Infinity values should bypass the optimization, generating unfolded code
define double @fcmp_select_no_fold_posinf_f64_comm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_posinf_f64_comm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0
; GFX900-NEXT:    s_mov_b32 s5, 0x7ff00000
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v1, 0x7ff00000
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_posinf_f64_comm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, 0x7ff00000, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0x7ff00000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double 0x7FF0000000000000, %arg
  %sel = select i1 %cmp, double 0x7FF0000000000000, double %other
  ret double %sel
}

; Should NOT be folded: f64 fcmp oeq with negative infinity (commutative variant)
; Infinity values should bypass the optimization, generating unfolded code
define double @fcmp_select_no_fold_neginf_f64_comm(double %arg, double %other) {
; GFX900-LABEL: fcmp_select_no_fold_neginf_f64_comm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0
; GFX900-NEXT:    s_mov_b32 s5, 0xfff00000
; GFX900-NEXT:    v_cmp_neq_f64_e32 vcc, s[4:5], v[0:1]
; GFX900-NEXT:    v_mov_b32_e32 v1, 0xfff00000
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc
; GFX900-NEXT:    v_cndmask_b32_e32 v1, v1, v3, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_neginf_f64_comm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f64_e32 vcc_lo, 0xfff00000, v[0:1]
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v2, vcc_lo
; GFX1010-NEXT:    v_cndmask_b32_e32 v1, 0xfff00000, v3, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq double 0xFFF0000000000000, %arg
  %sel = select i1 %cmp, double 0xFFF0000000000000, double %other
  ret double %sel
}

;------------------------------------------------------------------------------
; F16 Tests
;------------------------------------------------------------------------------

; Should be folded: f16 fcmp oeq + select with constant in true value
define half @fcmp_select_fold_oeq_f16_imm(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_f16_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4248
; GFX900-NEXT:    v_cmp_eq_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_f16_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_eq_f16_e32 vcc_lo, 0x4248, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq half %arg, 0xH4248
  %sel = select i1 %cmp, half 0xH4248, half %other
  ret half %sel
}

; Should be folded: f16 fcmp oeq + select with constant in true value (commutative)
define half @fcmp_select_fold_oeq_imm_f16(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_imm_f16:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4248
; GFX900-NEXT:    v_cmp_eq_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_imm_f16:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_eq_f16_e32 vcc_lo, 0x4248, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq half 0xH4248, %arg
  %sel = select i1 %cmp, half 0xH4248, half %other
  ret half %sel
}

; Should be folded: f16 fcmp one + select with constant in false value
define half @fcmp_select_fold_one_f16_imm(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_fold_one_f16_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4020
; GFX900-NEXT:    v_cmp_lg_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_f16_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f16_e32 vcc_lo, 0x4020, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one half %arg, 0xH4020
  %sel = select i1 %cmp, half %other, half 0xH4020
  ret half %sel
}

; Should be folded: f16 fcmp one + select with constant in false value (commutative)
define half @fcmp_select_fold_one_imm_f16(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_fold_one_imm_f16:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4020
; GFX900-NEXT:    v_cmp_lg_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_imm_f16:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f16_e32 vcc_lo, 0x4020, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one half 0xH4020, %arg
  %sel = select i1 %cmp, half %other, half 0xH4020
  ret half %sel
}

; Should NOT be folded: different constants
define half @fcmp_select_no_fold_f16_different_const(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_f16_different_const:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4248
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x4300
; GFX900-NEXT:    v_cmp_neq_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f16_different_const:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f16_e32 vcc_lo, 0x4248, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x4300, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq half %arg, 0xH4248
  %sel = select i1 %cmp, half 0xH4300, half %other
  ret half %sel
}

; Should NOT be folded: NaN values bypass optimization
define half @fcmp_select_no_fold_nan_f16(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_f16:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, v1
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_f16:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, v1
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq half %arg, 0xH7e00
  %sel = select i1 %cmp, half 0xH7e00, half %other
  ret half %sel
}

; Should NOT be folded: f16 fcmp one with NaN constant
define half @fcmp_select_no_fold_nan_f16_one(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_f16_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, 0x7e00
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_f16_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, 0x7e00
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one half %arg, 0xH7e00
  %sel = select i1 %cmp, half %other, half 0xH7e00
  ret half %sel
}

; Should NOT be folded: f16 fcmp one with +Inf constant
define half @fcmp_select_no_fold_posinf_f16_one(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_posinf_f16_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x7c00
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x7c00
; GFX900-NEXT:    v_cmp_lg_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_posinf_f16_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f16_e32 vcc_lo, 0x7c00, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x7c00, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one half %arg, 0xH7c00
  %sel = select i1 %cmp, half %other, half 0xH7c00
  ret half %sel
}

; Should NOT be folded: f16 fcmp one with -Inf constant
define half @fcmp_select_no_fold_neginf_f16_one(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_neginf_f16_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0xfc00
; GFX900-NEXT:    v_mov_b32_e32 v2, 0xfc00
; GFX900-NEXT:    v_cmp_lg_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_neginf_f16_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f16_e32 vcc_lo, 0xfc00, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0xfc00, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one half %arg, 0xHfc00
  %sel = select i1 %cmp, half %other, half 0xHfc00
  ret half %sel
}
; Should NOT be folded: f16 fcmp oeq with zero constant
define half @fcmp_select_no_fold_oeq_f16_zero(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_oeq_f16_zero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_cmp_neq_f16_e32 vcc, 0, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_oeq_f16_zero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_neq_f16_e32 vcc_lo, 0, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq half %arg, 0xH0000
  %sel = select i1 %cmp, half 0xH0000, half %other
  ret half %sel
}
; Should NOT be folded: f16 fcmp one with negative zero constant
define half @fcmp_select_no_fold_one_f16_negzero(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_one_f16_negzero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_mov_b32 s4, 0x8000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x8000
; GFX900-NEXT:    v_cmp_lg_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_one_f16_negzero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_lg_f16_e32 vcc_lo, 0x8000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x8000, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one half 0xH8000, %arg
  %sel = select i1 %cmp, half %other, half 0xH8000
  ret half %sel
}

; Should NOT be folded: f16 fcmp oeq with constant in other position
define half @fcmp_select_no_fold_f16_other_pos(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_f16_other_pos:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4248
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x4248
; GFX900-NEXT:    v_cmp_eq_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f16_other_pos:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_eq_f16_e32 vcc_lo, 0x4248, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x4248, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq half %arg, 0xH4248
  %sel = select i1 %cmp, half %other, half 0xH4248
  ret half %sel
}

; Should NOT be folded: f16 unsupported comparison type
define half @fcmp_select_no_fold_f16_unsupported_cmp(half %arg, half %other) {
; GFX900-LABEL: fcmp_select_no_fold_f16_unsupported_cmp:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    s_movk_i32 s4, 0x4248
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x4248
; GFX900-NEXT:    v_cmp_gt_f16_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_f16_unsupported_cmp:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_cmp_gt_f16_e32 vcc_lo, 0x4248, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x4248, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp olt half %arg, 0xH4248
  %sel = select i1 %cmp, half %other, half 0xH4248
  ret half %sel
}

;------------------------------------------------------------------------------
; BF16 Tests
;------------------------------------------------------------------------------

; Should be folded: bfloat fcmp oeq + select with constant in true value
define bfloat @fcmp_select_fold_oeq_bf16_imm(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_bf16_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x42480000
; GFX900-NEXT:    v_cmp_eq_f32_e32 vcc, s4, v2
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_bf16_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX1010-NEXT:    v_cmp_eq_f32_e32 vcc_lo, 0x42480000, v2
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq bfloat %arg, 0xR4248
  %sel = select i1 %cmp, bfloat 0xR4248, bfloat %other
  ret bfloat %sel
}

; Should be folded: bfloat fcmp oeq + select with constant in true value (commutative)
define bfloat @fcmp_select_fold_oeq_imm_bf16(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_fold_oeq_imm_bf16:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x42480000
; GFX900-NEXT:    v_cmp_eq_f32_e32 vcc, s4, v2
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_oeq_imm_bf16:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX1010-NEXT:    v_cmp_eq_f32_e32 vcc_lo, 0x42480000, v2
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v1, v0, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq bfloat 0xR4248, %arg
  %sel = select i1 %cmp, bfloat 0xR4248, bfloat %other
  ret bfloat %sel
}

; Should be folded: bfloat fcmp one + select with constant in false value
define bfloat @fcmp_select_fold_one_bf16_imm(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_fold_one_bf16_imm:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x40200000
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v2
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_bf16_imm:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x40200000, v2
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one bfloat %arg, 0xR4020
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR4020
  ret bfloat %sel
}

; Should be folded: bfloat fcmp one + select with constant in false value (commutative)
define bfloat @fcmp_select_fold_one_imm_bf16(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_fold_one_imm_bf16:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x40200000
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v2
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_fold_one_imm_bf16:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v2, 16, v0
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x40200000, v2
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, v0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one bfloat 0xR4020, %arg
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR4020
  ret bfloat %sel
}

; Should NOT be folded: different constants
define bfloat @fcmp_select_no_fold_bf16_different_const(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_bf16_different_const:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x42480000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x4300
; GFX900-NEXT:    v_cmp_neq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_bf16_different_const:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_neq_f32_e32 vcc_lo, 0x42480000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x4300, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq bfloat %arg, 0xR4248
  %sel = select i1 %cmp, bfloat 0xR4300, bfloat %other
  ret bfloat %sel
}

; Should NOT be folded: NaN values bypass optimization
define bfloat @fcmp_select_no_fold_nan_bf16(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_bf16:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, v1
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_bf16:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, v1
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq bfloat %arg, 0xR7FC0
  %sel = select i1 %cmp, bfloat 0xR7FC0, bfloat %other
  ret bfloat %sel
}

; Should NOT be folded: bfloat fcmp one with NaN constant
define bfloat @fcmp_select_no_fold_nan_bf16_one(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_nan_bf16_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_mov_b32_e32 v0, 0x7fc0
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_nan_bf16_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_mov_b32_e32 v0, 0x7fc0
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one bfloat %arg, 0xR7FC0
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR7FC0
  ret bfloat %sel
}

; Should NOT be folded: bfloat fcmp one with +Inf constant
define bfloat @fcmp_select_no_fold_posinf_bf16_one(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_posinf_bf16_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x7f800000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x7f80
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_posinf_bf16_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x7f800000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x7f80, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one bfloat %arg, 0xR7F80
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR7F80
  ret bfloat %sel
}

; Should NOT be folded: bfloat fcmp one with -Inf constant
define bfloat @fcmp_select_no_fold_neginf_bf16_one(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_neginf_bf16_one:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0xff800000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0xffffff80
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_neginf_bf16_one:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0xff800000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0xffffff80, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one bfloat %arg, 0xRFF80
  %sel = select i1 %cmp, bfloat %other, bfloat 0xRFF80
  ret bfloat %sel
}

; Should NOT be folded: bfloat fcmp oeq with zero constant
define bfloat @fcmp_select_no_fold_oeq_bf16_zero(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_oeq_bf16_zero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    v_cmp_neq_f32_e32 vcc, 0, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, 0, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_oeq_bf16_zero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_neq_f32_e32 vcc_lo, 0, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq bfloat %arg, 0xR0000
  %sel = select i1 %cmp, bfloat 0xR0000, bfloat %other
  ret bfloat %sel
}

; Should NOT be folded: bfloat fcmp one with negative zero constant
define bfloat @fcmp_select_no_fold_one_bf16_negzero(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_one_bf16_negzero:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    s_brev_b32 s4, 1
; GFX900-NEXT:    v_mov_b32_e32 v2, 0xffff8000
; GFX900-NEXT:    v_cmp_lg_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_one_bf16_negzero:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_lg_f32_e32 vcc_lo, 0x80000000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0xffff8000, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp one bfloat 0xR8000, %arg
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR8000
  ret bfloat %sel
}

; Should NOT be folded: bfloat fcmp oeq with constant in other position
define bfloat @fcmp_select_no_fold_bf16_other_pos(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_bf16_other_pos:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x42480000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x4248
; GFX900-NEXT:    v_cmp_eq_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_bf16_other_pos:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_eq_f32_e32 vcc_lo, 0x42480000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x4248, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp oeq bfloat %arg, 0xR4248
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR4248
  ret bfloat %sel
}

; Should NOT be folded: bfloat unsupported comparison type
define bfloat @fcmp_select_no_fold_bf16_unsupported_cmp(bfloat %arg, bfloat %other) {
; GFX900-LABEL: fcmp_select_no_fold_bf16_unsupported_cmp:
; GFX900:       ; %bb.0: ; %entry
; GFX900-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX900-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX900-NEXT:    s_mov_b32 s4, 0x42480000
; GFX900-NEXT:    v_mov_b32_e32 v2, 0x4248
; GFX900-NEXT:    v_cmp_gt_f32_e32 vcc, s4, v0
; GFX900-NEXT:    v_cndmask_b32_e32 v0, v2, v1, vcc
; GFX900-NEXT:    s_setpc_b64 s[30:31]
;
; GFX1010-LABEL: fcmp_select_no_fold_bf16_unsupported_cmp:
; GFX1010:       ; %bb.0: ; %entry
; GFX1010-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
; GFX1010-NEXT:    v_lshlrev_b32_e32 v0, 16, v0
; GFX1010-NEXT:    v_cmp_gt_f32_e32 vcc_lo, 0x42480000, v0
; GFX1010-NEXT:    v_cndmask_b32_e32 v0, 0x4248, v1, vcc_lo
; GFX1010-NEXT:    s_setpc_b64 s[30:31]
entry:
  %cmp = fcmp olt bfloat %arg, 0xR4248
  %sel = select i1 %cmp, bfloat %other, bfloat 0xR4248
  ret bfloat %sel
}