Re: [PATCH 04/14] aarch64: Add support for unpacked SVE FP comparisons

2025-06-09 Thread Richard Sandiford
Spencer Abson writes: > On Fri, Jun 06, 2025 at 10:02:19AM +0100, Richard Sandiford wrote: >> Spencer Abson writes: >> > @@ -27292,10 +27291,16 @@ aarch64_emit_sve_invert_fp_cond (rtx target, >> > rtx_code code, rtx pred, >> > void >> > aarch64_expand_sve_vec_cmp_float (rtx target, rtx_code co

Re: [PATCH 04/14] aarch64: Add support for unpacked SVE FP comparisons

2025-06-09 Thread Spencer Abson
On Fri, Jun 06, 2025 at 10:02:19AM +0100, Richard Sandiford wrote: > Spencer Abson writes: > > @@ -27292,10 +27291,16 @@ aarch64_emit_sve_invert_fp_cond (rtx target, > > rtx_code code, rtx pred, > > void > > aarch64_expand_sve_vec_cmp_float (rtx target, rtx_code code, rtx op0, rtx > > op1) > >

Re: [PATCH 04/14] aarch64: Add support for unpacked SVE FP comparisons

2025-06-06 Thread Richard Sandiford
Spencer Abson writes: > @@ -27292,10 +27291,16 @@ aarch64_emit_sve_invert_fp_cond (rtx target, > rtx_code code, rtx pred, > void > aarch64_expand_sve_vec_cmp_float (rtx target, rtx_code code, rtx op0, rtx > op1) > { > - machine_mode pred_mode = GET_MODE (target); >machine_mode data_mode

[PATCH 04/14] aarch64: Add support for unpacked SVE FP comparisons

2025-06-02 Thread Spencer Abson
This patch extends our vec_cmp expander to support partial FP modes. We use an unnatural predicate mode to govern unpacked FP operations under flag_trapping_math, so the expansion must handle cases where the comparison's target and governing predicates have different modes. While such predicates