aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKewen Lin <linkw@linux.ibm.com>2024-11-15 03:46:33 +0000
committerKewen Lin <linkw@gcc.gnu.org>2024-11-15 03:46:33 +0000
commit311bcf9d4c3950e75a8ea83f8b1dd1facffd1910 (patch)
tree0c34d068a72be47f9e98d116b51f026935e3f6d3
parent2e22882f3ec88f540c2255ddce4fb69ac69911b7 (diff)
downloadgcc-311bcf9d4c3950e75a8ea83f8b1dd1facffd1910.zip
gcc-311bcf9d4c3950e75a8ea83f8b1dd1facffd1910.tar.gz
gcc-311bcf9d4c3950e75a8ea83f8b1dd1facffd1910.tar.bz2
rs6000: Rework vector integer comparison in rs6000_emit_vector_compare - p1
The current handlings in rs6000_emit_vector_compare is a bit complicated to me, especially after we emit vector float comparison insn with the given code directly. So it's better to refactor the handlings of vector integer comparison here. This is part 1, it's to remove the helper function rs6000_emit_vector_compare_inner and move the logics into rs6000_emit_vector_compare. This patch doesn't introduce any functionality change. gcc/ChangeLog: * config/rs6000/rs6000.cc (rs6000_emit_vector_compare_inner): Remove. (rs6000_emit_vector_compare): Emit rtx comparison for operators EQ/ GT/GTU directly.
-rw-r--r--gcc/config/rs6000/rs6000.cc37
1 files changed, 9 insertions, 28 deletions
diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc
index 16e7b35..4447765 100644
--- a/gcc/config/rs6000/rs6000.cc
+++ b/gcc/config/rs6000/rs6000.cc
@@ -16009,30 +16009,6 @@ output_cbranch (rtx op, const char *label, int reversed, rtx_insn *insn)
return string;
}
-/* Return insn for VSX or Altivec comparisons. */
-
-static rtx
-rs6000_emit_vector_compare_inner (enum rtx_code code, rtx op0, rtx op1)
-{
- machine_mode mode = GET_MODE (op0);
- gcc_assert (GET_MODE_CLASS (mode) != MODE_VECTOR_FLOAT);
-
- switch (code)
- {
- default:
- break;
-
- case EQ:
- case GT:
- case GTU:
- rtx mask = gen_reg_rtx (mode);
- emit_insn (gen_rtx_SET (mask, gen_rtx_fmt_ee (code, mode, op0, op1)));
- return mask;
- }
-
- return NULL_RTX;
-}
-
/* Emit vector compare for operands OP0 and OP1 using code RCODE.
DMODE is expected destination mode. This is a recursive function. */
@@ -16057,10 +16033,15 @@ rs6000_emit_vector_compare (enum rtx_code rcode,
return mask;
}
- /* See if the comparison works as is. */
- mask = rs6000_emit_vector_compare_inner (rcode, op0, op1);
- if (mask)
- return mask;
+ /* For any of vector integer comparison operators for which we
+ have direct hardware instructions, just emit it directly
+ here. */
+ if (rcode == EQ || rcode == GT || rcode == GTU)
+ {
+ mask = gen_reg_rtx (dmode);
+ emit_insn (gen_rtx_SET (mask, gen_rtx_fmt_ee (rcode, dmode, op0, op1)));
+ return mask;
+ }
bool swap_operands = false;
bool try_again = false;