https://gcc.gnu.org/g:e73b0e7d803af92fbc59874a971297a3687ff408
commit r16-5295-ge73b0e7d803af92fbc59874a971297a3687ff408 Author: Karl Meakin <[email protected]> Date: Thu Oct 16 15:56:42 2025 +0000 aarch64: Remove redundant checks 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. Diff: --- gcc/config/aarch64/aarch64.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index 2ef79f448fd0..1e14b1dc4f29 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -4805,11 +4805,9 @@ "" { 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) @@ -4830,8 +4828,6 @@ "" { 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); @@ -4855,8 +4851,6 @@ "" { 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);
