Re: [PATCH 24/76] fpu: allow flushing of output denormals to be after rounding

2025-01-31 Thread Richard Henderson
On 1/29/25 05:04, Peter Maydell wrote: On Sat, 25 Jan 2025 at 16:42, Richard Henderson wrote: On 1/24/25 08:27, Peter Maydell wrote: Currently we handle flushing of output denormals in uncanon_normal always before we deal with rounding. This works for architectures that detect tininess befor

Re: [PATCH 24/76] fpu: allow flushing of output denormals to be after rounding

2025-01-29 Thread Peter Maydell
On Sat, 25 Jan 2025 at 16:42, Richard Henderson wrote: > > On 1/24/25 08:27, Peter Maydell wrote: > > Currently we handle flushing of output denormals in uncanon_normal > > always before we deal with rounding. This works for architectures > > that detect tininess before rounding, but is usually n

Re: [PATCH 24/76] fpu: allow flushing of output denormals to be after rounding

2025-01-27 Thread Richard Henderson
On 1/27/25 02:01, Peter Maydell wrote: On Sat, 25 Jan 2025 at 16:42, Richard Henderson wrote: On 1/24/25 08:27, Peter Maydell wrote: Currently we handle flushing of output denormals in uncanon_normal always before we deal with rounding. This works for architectures that detect tininess befor

Re: [PATCH 24/76] fpu: allow flushing of output denormals to be after rounding

2025-01-27 Thread Peter Maydell
On Sat, 25 Jan 2025 at 16:42, Richard Henderson wrote: > > On 1/24/25 08:27, Peter Maydell wrote: > > Currently we handle flushing of output denormals in uncanon_normal > > always before we deal with rounding. This works for architectures > > that detect tininess before rounding, but is usually n

Re: [PATCH 24/76] fpu: allow flushing of output denormals to be after rounding

2025-01-25 Thread Richard Henderson
On 1/24/25 08:27, Peter Maydell wrote: Currently we handle flushing of output denormals in uncanon_normal always before we deal with rounding. This works for architectures that detect tininess before rounding, but is usually not the right place when the architecture detects tininess after roundi