]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
aarch64: Remove redundant checks
authorKarl Meakin <karl.meakin@arm.com>
Thu, 16 Oct 2025 15:56:42 +0000 (15:56 +0000)
committerAndrew Pinski <andrew.pinski@oss.qualcomm.com>
Sat, 15 Nov 2025 05:15:54 +0000 (21:15 -0800)
The checks for `code == UNEQ || code == LTGT` are unecessary, because
they are already excluded by `aarch64_comparison_operator`

gcc/ChangeLog:

* config/aarch64/aarch64.md (mov<ALLI_GPF:mode>): Delete
redundant check.
(mov<GPF:mode><GPI:mode>cc): Likewise.
(<neg_not_op><mode>cc): Likewise.

gcc/config/aarch64/aarch64.md

index 2ef79f448fd02c37c0e1d4b1be7a4ea7bbbdab57..1e14b1dc4f297e64bca93fc4404d317990f902c4 100644 (file)
   ""
   {
     enum rtx_code code = GET_CODE (operands[1]);
-    if (code == UNEQ || code == LTGT)
-      FAIL;
-
     rtx ccreg = XEXP (operands[1], 0);
     enum machine_mode ccmode = GET_MODE (ccreg);
+
     if (GET_MODE_CLASS (ccmode) == MODE_CC)
       gcc_assert (XEXP (operands[1], 1) == const0_rtx);
     else if (ccmode == QImode || ccmode == HImode)
   ""
   {
     enum rtx_code code = GET_CODE (operands[1]);
-    if (code == UNEQ || code == LTGT)
-      FAIL;
 
     rtx ccreg = XEXP (operands[1], 0);
     enum machine_mode ccmode = GET_MODE (ccreg);
   ""
   {
     enum rtx_code code = GET_CODE (operands[1]);
-    if (code == UNEQ || code == LTGT)
-      FAIL;
 
     rtx ccreg = XEXP (operands[1], 0);
     enum machine_mode ccmode = GET_MODE (ccreg);