On Sat, 2023-12-30 at 12:15 +0000, Richard Sandiford wrote:
> This shouldn't be necessary. The test does:
>
> for (int i = 0; i < n; i += 2)
> {
> x0 = __builtin_fmin (x0, ptr[i + 0]);
> x1 = __builtin_fmin (x1, ptr[i + 1]);
> }
> res[0] = x0;
> res[1] = x1;
>
> __builtin_fmin is an FP minimum operation that corresponds directly to
> the fmin*3 optab (or reduc_fmin_scal_* for reductions). It is naturally
> associative, so doesn't need -ffast-math for that.
>
> Does LoongArch provide reduc_min_scal_* but not reduc_fmin_scal_*?
> If so, we probably need a new target selector for fmin/fmax reduction.
Let me try if the [x]vf{min,max} instructions are IEEE-conform. They've
still not released the volume 2 of the instruction manual so I can only
try...
--
Xi Ruoyao <xry...@xry111.site>
School of Aerospace Science and Technology, Xidian University
