DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A6BCB385AE47
Message-ID: <51e4e5dd-57ef-4cbc-aff4-572eebb863e2@SystematicSW.ab.ca>
Date: Sun, 13 Oct 2024 10:41:58 -0600
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: cygwin 3.5.4-1: signal handling destroys 'long double' values
To: cygwin@cygwin.com
References: <922a6d7e-3ee1-9bb7-dfd7-b94c53a7b9d4@t-online.de>
 <20241008202057.abd3dc5bb4df172c530e7655@nifty.ne.jp>
 <79171662-eede-4b14-aaf4-ebd98e6d98de@SystematicSW.ab.ca>
 <99f51137-2889-4985-b4c6-a460e05befb8@SystematicSW.ab.ca>
 <20241013081407.f07402abe9f721924f461dcc@nifty.ne.jp>
Content-Language: en-CA
Organization: Systematic Software
In-Reply-To: <20241013081407.f07402abe9f721924f461dcc@nifty.ne.jp>
Precedence: list
From: Brian Inglis via Cygwin <cygwin@cygwin.com>
Reply-To: cygwin@cygwin.com
Cc: Brian Inglis <Brian.Inglis@SystematicSW.ab.ca>
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Errors-To: cygwin-bounces~archive-cygwin=delorie.com@cygwin.com
Sender: "Cygwin" <cygwin-bounces~archive-cygwin=delorie.com@cygwin.com>
Content-Transfer-Encoding: 8bit

On 2024-10-12 17:14, Takashi Yano via Cygwin wrote:
> Hi Brian,
> 
> On Tue, 8 Oct 2024 10:37:14 -0600
> Brian Inglis wrote:
>> On 2024-10-08 10:14, Brian Inglis via Cygwin wrote:
>>> On 2024-10-08 05:20, Takashi Yano via Cygwin wrote:
>>>> On Mon, 7 Oct 2024 15:11:52 +0200
>>>> Christian Franke wrote:
>>>>> $ gcc -o sigtest -O2 sigtest.c
>>>>>
>>>>> $ ./sigtest > out.txt
>>>>> (press ^C 42x :-)
>>>>>
>>>>> $ sort out.txt | uniq -c
>>>>>          3 x = 0x1.23456789p+0, y = -nan, d = -nan
>>>>>          6 x = 0x1.23456789p+0, y = 0x1.23456789p+0, d = -nan
>>>>>         33 x = 0x1.23456789p+0, y = 0x1.23456789p+0, d = 0x0p+0
>>>>>
>>>>> The problem also occurs if compiled without -O2, but less often. No
>>>>> problem occurs if compiled with -DWORKS which suggests that only 'long
>>>>> double' is affected.
>>>>
>>>> Thanks for the report. I looked into this problem and might find the
>>>> cause. It seems due to a bug of scripts/gendef. It generates signal
>>>> handler caller (sigfe.s) which stores/restores the registers.
>>>>
>>>> In sigdelayed, control word is stored/restored by fnstcw/fldcw instruction,
>>>> however, fninit instruction destroys some status registers in FPU (x87).
>>>>
>>>> I think we shold use fnstenv/fldenv rather than fnstcw/fldcw and fninit.
>>>> However, I'm not familiar with x87 instructions, so I may overlook
>>>> something.
>>>>
>>>> Could anyone expert of x87 instructions and sigfe stuff give some
>>>> comments?
>>>
>>> AIUI x87 FP handling is outdated and mainly unused on current systems, as
>>> current systems do more and use more than the legacy x87 instructions and stack.
>>>
>>> See https://en.cppreference.com/w/c/numeric/fenv and related docs for more
>>> modern approaches.
>>>
>>> You would have to look into the AMD/Intel/IEEE docs for lower level details.
>>
>> This is basically what ISTR:
>>
>> https://beta.boost.org/doc/libs/1_82_0/libs/context/doc/html/context/rationale/x86_and_floating_point_env.html
>>
>> where legacy x87 and MMX registers are not used or preserved on x86_64/amd64, as
>> SSE... instructions and XMM registers are used.
> 
> Thanks for the advice. I read throuh the web pages and related documents
> and made a patch which uses fxsave/fxrstor and xsave/xrstror to
> cygwin-patches@cygwin.com mailing list.
> https://cygwin.com/pipermail/cygwin-patches/2024q4/012804.html
> 
> Is this as you intended?

That seems to be the preferred approach now, as long as you can correctly 
determine adequate space for fxsave and xsave, given the varying feature sets, 
register counts, and register sizes of recent processors: 
sse/2/3/4.1/4.2/4a/5/ssse3 avx2/512 128/256/512 bits X/Y/ZMM registers.

-- 
Take care. Thanks, Brian Inglis              Calgary, Alberta, Canada

La perfection est atteinte                   Perfection is achieved
non pas lorsqu'il n'y a plus rien à ajouter  not when there is no more to add
mais lorsqu'il n'y a plus rien à retirer     but when there is no more to cut
                                 -- Antoine de Saint-Exupéry


-- 
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple