diff options
Diffstat (limited to 'llvm/test/CodeGen/AMDGPU/select-cmp-shared-constant-int.ll')
| -rw-r--r-- | llvm/test/CodeGen/AMDGPU/select-cmp-shared-constant-int.ll | 955 |
1 files changed, 955 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/AMDGPU/select-cmp-shared-constant-int.ll b/llvm/test/CodeGen/AMDGPU/select-cmp-shared-constant-int.ll new file mode 100644 index 0000000..4383cfd --- /dev/null +++ b/llvm/test/CodeGen/AMDGPU/select-cmp-shared-constant-int.ll @@ -0,0 +1,955 @@ +; 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 + +;------------------------------------------------------------------------------ +; I32 Tests +;------------------------------------------------------------------------------ + +; Should be folded: icmp eq + select with constant in true value +define i32 @icmp_select_fold_eq_i32_imm(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_fold_eq_i32_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_eq_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_eq_i32_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_eq_u32_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i32 %arg, 4242 + %sel = select i1 %cmp, i32 4242, i32 %other + ret i32 %sel +} + +; Should be folded: icmp eq + select with constant in true value (commutative) +define i32 @icmp_select_fold_eq_imm_i32(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_fold_eq_imm_i32: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_eq_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_eq_imm_i32: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_eq_u32_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i32 4242, %arg + %sel = select i1 %cmp, i32 4242, i32 %other + ret i32 %sel +} + +; Should be folded: icmp ne + select with constant in false value +define i32 @icmp_select_fold_ne_i32_imm(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_fold_ne_i32_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_ne_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_ne_i32_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u32_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i32 %arg, 4242 + %sel = select i1 %cmp, i32 %other, i32 4242 + ret i32 %sel +} + +; Should be folded: icmp ne + select with constant in false value (commutative) +define i32 @icmp_select_fold_ne_imm_i32(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_fold_ne_imm_i32: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_ne_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_ne_imm_i32: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u32_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i32 4242, %arg + %sel = select i1 %cmp, i32 %other, i32 4242 + ret i32 %sel +} + +; Should NOT be folded: icmp eq with different constants +define i32 @icmp_select_no_fold_i32_different(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_no_fold_i32_different: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_mov_b32_e32 v2, 0x978 +; GFX900-NEXT: v_cmp_ne_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i32_different: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u32_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x978, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i32 %arg, 4242 + %sel = select i1 %cmp, i32 2424, i32 %other + ret i32 %sel +} + +; Should NOT be folded: icmp eq with constant in other position +define i32 @icmp_select_no_fold_i32_other_pos(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_no_fold_i32_other_pos: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_mov_b32_e32 v2, 0x1092 +; GFX900-NEXT: v_cmp_eq_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i32_other_pos: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_eq_u32_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x1092, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i32 %arg, 4242 + %sel = select i1 %cmp, i32 %other, i32 4242 + ret i32 %sel +} + +; Should NOT be folded: unsupported comparison type +define i32 @icmp_select_no_fold_i32_unsupported_cmp(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_no_fold_i32_unsupported_cmp: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1094 +; GFX900-NEXT: v_mov_b32_e32 v2, 0x102d +; GFX900-NEXT: v_cmp_gt_u32_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i32_unsupported_cmp: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_gt_u32_e32 vcc_lo, 0x1094, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x102d, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ugt i32 %arg, 4243 + %sel = select i1 %cmp, i32 4141, i32 %other + ret i32 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i32 @icmp_select_no_fold_i32_enc_imm(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_no_fold_i32_enc_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u32_e32 vcc, 0, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, 0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i32_enc_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u32_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 = icmp eq i32 %arg, 0 + %sel = select i1 %cmp, i32 0, i32 %other + ret i32 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i32 @icmp_select_no_fold_i32_enc_imm_2(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_no_fold_i32_enc_imm_2: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u32_e32 vcc, 64, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, 64, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i32_enc_imm_2: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u32_e32 vcc_lo, 64, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 64, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i32 64, %arg + %sel = select i1 %cmp, i32 64, i32 %other + ret i32 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i32 @icmp_select_no_fold_i32_enc_imm_3(i32 %arg, i32 %other) { +; GFX900-LABEL: icmp_select_no_fold_i32_enc_imm_3: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u32_e32 vcc, -16, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, -16, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i32_enc_imm_3: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u32_e32 vcc_lo, -16, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, -16, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i32 %arg, -16 + %sel = select i1 %cmp, i32 %other, i32 -16 + ret i32 %sel +} + +;------------------------------------------------------------------------------ +; I64 Tests +;------------------------------------------------------------------------------ + +; Should be folded: icmp eq + select with constant in true value +define i64 @icmp_select_fold_eq_i64_imm(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_fold_eq_i64_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_eq_u64_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: icmp_select_fold_eq_i64_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_eq_u64_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 = icmp eq i64 %arg, 424242424242 + %sel = select i1 %cmp, i64 424242424242, i64 %other + ret i64 %sel +} + +; Should be folded: icmp eq + select with constant in true value (commutative) +define i64 @icmp_select_fold_eq_imm_i64(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_fold_eq_imm_i64: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_eq_u64_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: icmp_select_fold_eq_imm_i64: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_eq_u64_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 = icmp eq i64 424242424242, %arg + %sel = select i1 %cmp, i64 424242424242, i64 %other + ret i64 %sel +} + +; Should be folded: icmp ne + select with constant in false value +define i64 @icmp_select_fold_ne_i64_imm(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_fold_ne_i64_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_ne_u64_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: icmp_select_fold_ne_i64_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_ne_u64_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 = icmp ne i64 %arg, 424242424242 + %sel = select i1 %cmp, i64 %other, i64 424242424242 + ret i64 %sel +} + +; Should be folded: icmp ne + select with constant in false value (commutative) +define i64 @icmp_select_fold_ne_imm_i64(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_fold_ne_imm_i64: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_ne_u64_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: icmp_select_fold_ne_imm_i64: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_ne_u64_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 = icmp ne i64 424242424242, %arg + %sel = select i1 %cmp, i64 %other, i64 424242424242 + ret i64 %sel +} + +; Should NOT be folded: icmp eq with different constants +define i64 @icmp_select_no_fold_i64_different(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_no_fold_i64_different: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_ne_u64_e32 vcc, s[4:5], v[0:1] +; GFX900-NEXT: v_mov_b32_e32 v4, 0x719c60f8 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v4, v2, vcc +; GFX900-NEXT: v_cndmask_b32_e32 v1, 56, v3, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i64_different: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_ne_u64_e32 vcc_lo, s[4:5], v[0:1] +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x719c60f8, v2, vcc_lo +; GFX1010-NEXT: v_cndmask_b32_e32 v1, 56, v3, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i64 %arg, 424242424242 + %sel = select i1 %cmp, i64 242424242424, i64 %other + ret i64 %sel +} + +; Should NOT be folded: icmp eq with constant in other position +define i64 @icmp_select_no_fold_i64_other_pos(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_no_fold_i64_other_pos: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_eq_u64_e32 vcc, s[4:5], v[0:1] +; GFX900-NEXT: v_mov_b32_e32 v4, 0xc6d1a9b2 +; GFX900-NEXT: v_mov_b32_e32 v1, 0x62 +; 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: icmp_select_no_fold_i64_other_pos: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b2 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_eq_u64_e32 vcc_lo, s[4:5], v[0:1] +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0xc6d1a9b2, v2, vcc_lo +; GFX1010-NEXT: v_cndmask_b32_e32 v1, 0x62, v3, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i64 %arg, 424242424242 + %sel = select i1 %cmp, i64 %other, i64 424242424242 + ret i64 %sel +} + +; Should NOT be folded: unsupported comparison type +define i64 @icmp_select_no_fold_i64_unsupported_cmp(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_no_fold_i64_unsupported_cmp: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_mov_b32 s4, 0xc6d1a9b3 +; GFX900-NEXT: s_movk_i32 s5, 0x62 +; GFX900-NEXT: v_cmp_gt_u64_e32 vcc, s[4:5], v[0:1] +; GFX900-NEXT: v_mov_b32_e32 v4, 0xc6d1a9b2 +; GFX900-NEXT: v_mov_b32_e32 v1, 0x62 +; 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: icmp_select_no_fold_i64_unsupported_cmp: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: s_mov_b32 s4, 0xc6d1a9b3 +; GFX1010-NEXT: s_movk_i32 s5, 0x62 +; GFX1010-NEXT: v_cmp_gt_u64_e32 vcc_lo, s[4:5], v[0:1] +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0xc6d1a9b2, v2, vcc_lo +; GFX1010-NEXT: v_cndmask_b32_e32 v1, 0x62, v3, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ugt i64 %arg, 424242424242 + %sel = select i1 %cmp, i64 424242424242, i64 %other + ret i64 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i64 @icmp_select_no_fold_i64_enc_imm(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_no_fold_i64_enc_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u64_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: icmp_select_no_fold_i64_enc_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u64_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 = icmp eq i64 %arg, 0 + %sel = select i1 %cmp, i64 0, i64 %other + ret i64 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i64 @icmp_select_no_fold_i64_enc_imm_2(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_no_fold_i64_enc_imm_2: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u64_e32 vcc, 32, v[0:1] +; GFX900-NEXT: v_cndmask_b32_e32 v0, 32, v2, vcc +; GFX900-NEXT: v_cndmask_b32_e32 v1, 0, v3, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i64_enc_imm_2: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u64_e32 vcc_lo, 32, v[0:1] +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 32, v2, vcc_lo +; GFX1010-NEXT: v_cndmask_b32_e32 v1, 0, v3, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i64 32, %arg + %sel = select i1 %cmp, i64 32, i64 %other + ret i64 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i64 @icmp_select_no_fold_i64_enc_imm_3(i64 %arg, i64 %other) { +; GFX900-LABEL: icmp_select_no_fold_i64_enc_imm_3: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u64_e32 vcc, -8, v[0:1] +; GFX900-NEXT: v_cndmask_b32_e32 v0, -8, v2, vcc +; GFX900-NEXT: v_cndmask_b32_e32 v1, -1, v3, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i64_enc_imm_3: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u64_e32 vcc_lo, -8, v[0:1] +; GFX1010-NEXT: v_cndmask_b32_e32 v0, -8, v2, vcc_lo +; GFX1010-NEXT: v_cndmask_b32_e32 v1, -1, v3, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i64 %arg, -8 + %sel = select i1 %cmp, i64 %other, i64 -8 + ret i64 %sel +} + +;------------------------------------------------------------------------------ +; I16 Tests +;------------------------------------------------------------------------------ + +; Should be folded: icmp eq + select with constant in true value +define i16 @icmp_select_fold_eq_i16_imm(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_fold_eq_i16_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_eq_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_eq_i16_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_eq_u16_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i16 %arg, 4242 + %sel = select i1 %cmp, i16 4242, i16 %other + ret i16 %sel +} + +; Should be folded: icmp eq + select with constant in true value (commutative) +define i16 @icmp_select_fold_eq_imm_i16(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_fold_eq_imm_i16: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_eq_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_eq_imm_i16: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_eq_u16_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i16 4242, %arg + %sel = select i1 %cmp, i16 4242, i16 %other + ret i16 %sel +} + +; Should be folded: icmp ne + select with constant in false value +define i16 @icmp_select_fold_ne_i16_imm(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_fold_ne_i16_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_ne_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_ne_i16_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u16_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i16 %arg, 4242 + %sel = select i1 %cmp, i16 %other, i16 4242 + ret i16 %sel +} + +; Should be folded: icmp ne + select with constant in false value (commutative) +define i16 @icmp_select_fold_ne_imm_i16(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_fold_ne_imm_i16: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_cmp_ne_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_ne_imm_i16: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u16_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i16 4242, %arg + %sel = select i1 %cmp, i16 %other, i16 4242 + ret i16 %sel +} + +; Should NOT be folded: icmp eq with different constants +define i16 @icmp_select_no_fold_i16_different(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_no_fold_i16_different: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_mov_b32_e32 v2, 0x978 +; GFX900-NEXT: v_cmp_ne_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i16_different: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u16_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x978, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i16 %arg, 4242 + %sel = select i1 %cmp, i16 2424, i16 %other + ret i16 %sel +} + +; Should NOT be folded: icmp eq with constant in other position +define i16 @icmp_select_no_fold_i16_other_pos(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_no_fold_i16_other_pos: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1092 +; GFX900-NEXT: v_mov_b32_e32 v2, 0x1092 +; GFX900-NEXT: v_cmp_eq_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i16_other_pos: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_eq_u16_e32 vcc_lo, 0x1092, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x1092, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i16 %arg, 4242 + %sel = select i1 %cmp, i16 %other, i16 4242 + ret i16 %sel +} + +; Should NOT be folded: unsupported comparison type +define i16 @icmp_select_no_fold_i16_unsupported_cmp(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_no_fold_i16_unsupported_cmp: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x1093 +; GFX900-NEXT: v_mov_b32_e32 v2, 0x1092 +; GFX900-NEXT: v_cmp_gt_u16_e32 vcc, s4, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i16_unsupported_cmp: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_gt_u16_e32 vcc_lo, 0x1093, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x1092, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ugt i16 %arg, 4242 + %sel = select i1 %cmp, i16 4242, i16 %other + ret i16 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i16 @icmp_select_no_fold_i16_enc_imm(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_no_fold_i16_enc_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u16_e32 vcc, 0, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, 0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i16_enc_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u16_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 = icmp eq i16 %arg, 0 + %sel = select i1 %cmp, i16 0, i16 %other + ret i16 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i16 @icmp_select_no_fold_i16_enc_imm_2(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_no_fold_i16_enc_imm_2: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u16_e32 vcc, 45, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, 45, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i16_enc_imm_2: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u16_e32 vcc_lo, 45, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 45, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i16 45, %arg + %sel = select i1 %cmp, i16 45, i16 %other + ret i16 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i16 @icmp_select_no_fold_i16_enc_imm_3(i16 %arg, i16 %other) { +; GFX900-LABEL: icmp_select_no_fold_i16_enc_imm_3: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_cmp_ne_u16_e32 vcc, -12, v0 +; GFX900-NEXT: v_cndmask_b32_e32 v0, -12, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i16_enc_imm_3: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_cmp_ne_u16_e32 vcc_lo, -12, v0 +; GFX1010-NEXT: v_cndmask_b32_e32 v0, -12, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i16 %arg, -12 + %sel = select i1 %cmp, i16 %other, i16 -12 + ret i16 %sel +} + +;------------------------------------------------------------------------------ +; I8 Tests +;------------------------------------------------------------------------------ + +; Should be folded: icmp eq + select with constant in true value +define i8 @icmp_select_fold_eq_i8_imm(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_fold_eq_i8_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7b +; GFX900-NEXT: v_cmp_eq_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_eq_i8_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX1010-NEXT: v_cmp_eq_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i8 %arg, 123 + %sel = select i1 %cmp, i8 123, i8 %other + ret i8 %sel +} + +; Should be folded: icmp eq + select with constant in true value (commutative) +define i8 @icmp_select_fold_eq_imm_i8(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_fold_eq_imm_i8: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7b +; GFX900-NEXT: v_cmp_eq_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_eq_imm_i8: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX1010-NEXT: v_cmp_eq_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v1, v0, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i8 123, %arg + %sel = select i1 %cmp, i8 123, i8 %other + ret i8 %sel +} + +; Should be folded: icmp ne + select with constant in false value +define i8 @icmp_select_fold_ne_i8_imm(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_fold_ne_i8_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7b +; GFX900-NEXT: v_cmp_ne_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_ne_i8_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX1010-NEXT: v_cmp_ne_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i8 %arg, 123 + %sel = select i1 %cmp, i8 %other, i8 123 + ret i8 %sel +} + +; Should be folded: icmp ne + select with constant in false value (commutative) +define i8 @icmp_select_fold_ne_imm_i8(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_fold_ne_imm_i8: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7b +; GFX900-NEXT: v_cmp_ne_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_fold_ne_imm_i8: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX1010-NEXT: v_cmp_ne_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, v0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i8 123, %arg + %sel = select i1 %cmp, i8 %other, i8 123 + ret i8 %sel +} + +; Should NOT be folded: icmp eq with different constants +define i8 @icmp_select_no_fold_i8_different(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_no_fold_i8_different: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7b +; GFX900-NEXT: v_mov_b32_e32 v2, 0x7c +; GFX900-NEXT: v_cmp_ne_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i8_different: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX1010-NEXT: v_cmp_ne_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x7c, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i8 %arg, 123 + %sel = select i1 %cmp, i8 124, i8 %other + ret i8 %sel +} + +; Should NOT be folded: icmp eq with constant in other position +define i8 @icmp_select_no_fold_i8_other_pos(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_no_fold_i8_other_pos: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7b +; GFX900-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX900-NEXT: v_cmp_eq_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i8_other_pos: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX1010-NEXT: v_cmp_eq_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x7b, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i8 %arg, 123 + %sel = select i1 %cmp, i8 %other, i8 123 + ret i8 %sel +} + +; Should NOT be folded: unsupported comparison type +define i8 @icmp_select_no_fold_i8_unsupported_cmp(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_no_fold_i8_unsupported_cmp: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0x7c +; GFX900-NEXT: v_mov_b32_e32 v2, 0x7b +; GFX900-NEXT: v_cmp_lt_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, v2, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i8_unsupported_cmp: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0x7c +; GFX1010-NEXT: v_cmp_lt_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0x7b, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ugt i8 %arg, 123 + %sel = select i1 %cmp, i8 123, i8 %other + ret i8 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i8 @icmp_select_no_fold_i8_enc_imm(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_no_fold_i8_enc_imm: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_mov_b32_e32 v2, 0 +; GFX900-NEXT: v_cmp_ne_u16_sdwa vcc, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, 0, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i8_enc_imm: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0 +; GFX1010-NEXT: v_cmp_ne_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 0, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i8 %arg, 0 + %sel = select i1 %cmp, i8 0, i8 %other + ret i8 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i8 @icmp_select_no_fold_i8_enc_imm_2(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_no_fold_i8_enc_imm_2: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: v_mov_b32_e32 v2, 25 +; GFX900-NEXT: v_cmp_ne_u16_sdwa vcc, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, 25, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i8_enc_imm_2: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 25 +; GFX1010-NEXT: v_cmp_ne_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, 25, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp eq i8 25, %arg + %sel = select i1 %cmp, i8 25, i8 %other + ret i8 %sel +} + +; Should NOT be folded: immediate can be encoded into cndmask +define i8 @icmp_select_no_fold_i8_enc_imm_3(i8 %arg, i8 %other) { +; GFX900-LABEL: icmp_select_no_fold_i8_enc_imm_3: +; GFX900: ; %bb.0: ; %entry +; GFX900-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX900-NEXT: s_movk_i32 s4, 0xfb +; GFX900-NEXT: v_cmp_ne_u16_sdwa vcc, v0, s4 src0_sel:BYTE_0 src1_sel:DWORD +; GFX900-NEXT: v_cndmask_b32_e32 v0, -5, v1, vcc +; GFX900-NEXT: s_setpc_b64 s[30:31] +; +; GFX1010-LABEL: icmp_select_no_fold_i8_enc_imm_3: +; GFX1010: ; %bb.0: ; %entry +; GFX1010-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; GFX1010-NEXT: v_mov_b32_e32 v2, 0xfb +; GFX1010-NEXT: v_cmp_ne_u16_sdwa vcc_lo, v0, v2 src0_sel:BYTE_0 src1_sel:DWORD +; GFX1010-NEXT: v_cndmask_b32_e32 v0, -5, v1, vcc_lo +; GFX1010-NEXT: s_setpc_b64 s[30:31] +entry: + %cmp = icmp ne i8 %arg, -5 + %sel = select i1 %cmp, i8 %other, i8 -5 + ret i8 %sel +} |