Re: [PATCH] manual: Avoid name collision in libm ULP table [BZ #28956]

[Carlos O'Donell <carlos@redhat.com>]

On 4/5/22 07:16, Adhemerval Zanella via Libc-alpha wrote:
> 
> 
> On 05/04/2022 06:46, Tom Coldrick via Libc-alpha wrote:
>> The 32-bit and 64-bit variants of RISC-V share the same name - "RISC-V"
>> - when generating the libm error table for the info pages. This
>> collision, and the way how the table is generated, mean that the values
>> in the final table for "RISC-V" may be either for the 32- or 64-bit
>> variant, with no indication as to which.
>>
>> As an additional side-effect, this makes the build non-reproducible, as
>> the error table generated is dependent upon the host filesystem
>> implementation.
>>
>> To solve this issue, the libm-test-ulps-name files for both variants
>> have been modified to include their word size, so as to remove the
>> collision and provide more accurate information in the table.
>>
>> An alternative proposed was to merge the two variants' ULP values into a
>> single file, but this would mean that information about error values is
>> lost, as the two variants are not identical. Some differences are
>> considerable, notably the values for the exp() function are large.
> 
> Path looks ok, but is there any expectation that RV64 and RV32 hardware
> floating-point implementation or compiler generate code to have different
> precision? Otherwise it would be simple to just use one ulp tests file.

That is a good question, but it could be handled with a distinct patch to remove the files
if the maintainers consider that the right direction to take.

Overall this patch looks correct to me also and I've pushed it as trivial in that it makes
the manual more correct.

I tested the patch on x86_64 with make pdf and the table looks good and disambiguates the
results.

Reviewed-by: Carlos O'Donell <carlos@redhat.com>
Tested-by: Carlos O'Donell <carlos@redhat.com>

-- 
Cheers,
Carlos.